mẫu template chức năng tham số

Question

Đối với cuộc sống của tôi, tôi không thể có được mảnh này đơn giản phức tạp mẫu ma thuật để làm việc:

template<typename T, int a, int b> 
int f(T v){ 
    return v*a-b; // just do something for example 
} 

template<typename T, int a, int b, template<typename,int,int> class func> 
class C{ 
    int f(){ 
    return func<T,a,b>(3); 
    } 
}; 

int main(){ 
    C<float,3,2, f> c; 
} 

phải là có thể này mà không có sự tham gia của functors?

Answer 1

f được coi là một lớp - bạn có chức năng.

Xem dưới đây:

// Class acts like a function - also known as functor. 
template<typename T, int a, int b> 
class f 
{ 
    int operator()(T v) 
    { 
    return v*a-b; // just do something for example 
    } 
}; 

template<typename T, int a, int b, template<typename,int,int> class func> 
class C 
{ 
    int f() 
    { 
    return func<T,a,b>(3); 
    } 
}; 

int main() 
{ 
    C<float,3,2, f> c; 
} 

... Và phiên bản chuyển thể nếu bạn cần để mã cổng di sản (điều chỉnh các chức năng để một lớp mẫu):

#include <iostream> 


template<typename T, int a, int b> 
int f(T v) 
{ 
    std::cout << "Called" << std::endl; 
    return v*a-b; // just do something for example 
} 

template<typename T, int a, int b, template<typename,int,int> class func> 
struct C 
{ 
    int f() 
    { 
    return func<T,a,b>(3); 
    } 
}; 

template <class T, int a, int b> 
struct FuncAdapt 
{ 
    T x_; 
    template <class U> 
    FuncAdapt(U x) 
    : x_(x) 
    {} 
    operator int() const 
    { 
    return f<T,a,b>(x_); 
    } 
}; 

int main() 
{ 
    C<float,3,2, FuncAdapt > c; 
    c.f(); 
} 

Answer 2

Không, không phải. Ngay cả cú pháp:

template <typename T, int a, int b, template <typename, int, int> class func> 
                    ^^^^^ 

cho thấy đối số cho tham số mẫu mẫu phải là mẫu lớp.

Answer 3

Lý do trình biên dịch của bạn là phàn nàn là bạn đang chuyển một hàm (f) làm lớp cho tham số mẫu cuối cùng cho lớp C.

Vì bạn không thể chuyển hàm dưới dạng tham số mẫu, bạn nên sử dụng con trỏ hàm hoặc hàm functors. Và functors chắc chắn là cách sạch hơn để làm điều này.

Vì vậy, mặc dù nó có thể đạt được những gì bạn muốn mà không cần sử dụng functors, bạn thực sự không nên cố gắng.

Nếu bạn muốn sử dụng chức năng gợi ý bạn sẽ được nhìn vào một cái gì đó như thế này:

template<typename T, int a, int b, int (*func)(T)> 
class C{ 
    int f(){ 
     return (*func)(3); 
    } 
}; 

int main(){ 
    C< float,3,2,&f<float,3,2> > c; 
} 

Trong trường hợp đó tôi không nghĩ rằng bạn sẽ có thể loại bỏ sự trùng lặp mã trong việc kê khai của c, nhưng tôi có thể sai.

Answer 4

Bạn có thể giải quyết nó thông qua một thủ đoạn gian trá chút:

template<typename T, int a, int b> 
int f(T v){ 
    return v*a-b; // just do something for example 
} 

template<typename T, int, int> 
using func_t = int (*)(T); 

template<typename T, int a, int b, func_t<T, a, b> func> 
class C{ 
    int f(){ 
    return func(3); 
    } 
}; 

C<float,3,2, f<float, 3, 2>> c; 

Trước tiên, bạn cần một kiểu bí danh cho các chức năng (func_t ở trên), và bạn không may cần phải lặp lại các đối số mẫu trong việc kê khai của c.