Chức năng như các đối số của mẫu variadic

Question

Giả sử chúng ta có một lớp

template <int(*F)(int, int)> 
class A { 
    // ... 
}; 

Phải mất một chức năng như một mẫu đối số.

Bây giờ tôi muốn thực hiện một mẫu variadic, trong đó có chức năng như các thông số mẫu.

template <int(*F...)(int, int)> // this won't compile 
template <int(*F)(int, int)...> // this won't compile either 

Làm cách nào để thực hiện đúng?

Answer 1

template <int(*...F)(int, int)> 
class A { 
    // ... 
}; 

Answer 2

Bạn có thể làm

using Function_t = int(*)(int, int); 

template <Function_t ... Fs> struct s{}; 

khác, nếu bạn không muốn sử dụng typedef

template <int(*...Fs)(int, int)> struct s{}; 

Note: phiên bản thứ hai không thể được ẩn danh (Fs là bắt buộc) theo ISO C++ 11 yêu cầu một khai báo gói được mã hóa để có một tên.

Answer 3

Chỉ cần sử dụng F làm đối số mẫu. Điều này không chỉ cho phép bạn sử dụng chức năng như tham số mà còn các loại khác thực hiện toán tử dấu ngoặc đơn. Các lớp học này được gọi là functors.

Answer 4

Cú pháp kiểu con trỏ hàm là gây phiền nhiễu. Vì vậy, mã xung quanh nó:

template<class T> using type=T; 

template< type<int(int,int)>* ... Fs > 
class A { 
};