Có thể chuyển mẫu chức năng dưới dạng đối số mẫu không?

Question

Hãy asssume rằng chúng ta có một mẫu funcion:

template<typename T1, typename T2, typename T3> 
T3 such_fun(T1 a, T2 b) { 
    // do something... 
} 

và bây giờ chúng tôi muốn sử dụng nó như một cuộc tranh cãi trong mẫu khác, ví dụ như thế

template<typename T1, template<typename, typename, typename> some_function> 
void big_fun(T1 a) { 
    // some code... 
    a = some_function<T1, T1, T1>(a, a); 
    // some code... 
} 

Có thể không?

Tôi biết rằng tôi có thể sử dụng cấu trúc với toán tử được định nghĩa(). Tôi chỉ tò mò về các chức năng.

EDIT:

Trong khi tôi đang viết rằng câu hỏi của bạn tôi tìm thấy một giải pháp phần:

template<typename T1, T1 (*some_function)(T1, T1)> 
void big_fun(T1 a) { 
    // some code... 
    a = some_function(a, a); 
    // some code... 
} 

Nhưng vẫn - Tôi tò mò nếu nó có thể không có thể hóa của một loại chức năng trước gọi điện. Ví dụ - tôi có thể muốn gọi mẫu được truyền với các loại kết hợp khác nhau:

template<typename T1, typename T2, template<typename, typename, typename> some_function> 
void big_fun(T1 a, T2 b) { 
    // some code... 
    a = some_function<T1, T1, T1>(a, a); 
    a = some_function<T1, T2, T1>(a, b); 
    b = some_function<T2, T2, T2>(b, b); 
    b = some_function<T2, T1, T2>(b, a); 
    // some code... 
} 

Answer 1

Không, điều này là không thể. Từ 14.3.3 trong N3337:

Mẫu đối số cho một mẫu template-tham số sẽ là tên của một lớp mẫu hay một mẫu bí danh, đã bày tỏ như id thể hiện. Khi đối số mẫu đặt tên mẫu lớp, chỉ các mẫu lớp chính mới được xem xét khi đối chiếu mẫu đối số mẫu với thông số tương ứng; một phần chuyên môn không được xem xét ngay cả khi danh sách tham số của chúng khớp với thông số của thông số mẫu mẫu.

Đoạn đầu tiên chỉ đề cập đến các mẫu lớp một cách rõ ràng. Tôi đoán nó cũng không thực sự đáng giá cho rắc rối mà bạn có thể làm một cái gì đó rất giống với chức năng hoặc một số std::function như một đối số.

Answer 2

Mẫu trong C++ được biên dịch trong thời gian biên dịch bằng cách sử dụng các loại cụ thể. Họ phải được biết đến.

Điều này cho biết bạn có thể tiến xa hơn một chút với giải pháp từng phần của bạn bằng cách chuyển một mẫu chức năng mà các đối số có thể được suy luận. Lưu ý rằng điều này là không khác nhau sau đó rõ ràng đi qua chức năng với các loại bê tông bạn chỉ cần gõ ít hơn.

template<typename T> 
T square(T a, T b) 
{ 
    return a * b; 
} 

template<typename T, T (*some_function)(T, T)> 
T test(T a) 
{ 
    return square (a, a); 
} 

void main() 
{ 
    int a = test<int, square>(2); 
    float b = test<float, square>(2.2f); 
} 

Answer 3

Miễn là template< typename T1, typename T2, typename T3> someTemplate đánh giá một số lớp thực tế không có lỗi, bạn có thể sử dụng với nhiều kết hợp như bạn muốn, trong và ngoài các mẫu khác.

Bạn đã cố gắng biên dịch nó chưa? Hiển thị cho chúng tôi lỗi nào (và mẫu cụ thể)