Trả về hàm con trỏ thành thành viên (không có typedef)

Question

Biên dịch trên C++ 03, tôi đã cố gắng viết một hàm mẫu thử trả về hàm con trỏ tới thành viên của hàm thành viên trả về int và nhận hai đối số nổi:

template<typename TemplateClass> 
int (TemplateClass::*)(float,float) Testtest(TemplateClass &A) 
{ 
    return &TemplateClass::Function; 
} 

Nhưng tự nhiên, bất kể biến thể nào của cú pháp hàm con trỏ thành thành viên tôi sử dụng, trình biên dịch đều than phiền lỗi khởi tạo. Typedef, mặc dù nó hoạt động với các lớp đã biết, vì các lý do rõ ràng (đặt tên xung đột), sẽ không chấp nhận các đối số lớp mẫu cho các lớp mà tôi không thể biết trước khi có khả năng sử dụng cùng một hàm.

Cách non-typedef nào có chức năng này để biên dịch và trả về hàm con trỏ thành thành viên?

Answer 1

Để khai báo nó mà không có một loại bí danh, không có loại trừ, và không có một loại dấu sự trở lại:

template<typename TemplateClass> 
int (TemplateClass::* Testtest(TemplateClass &A))(float,float) 

Nhưng tất nhiên đây không phải là những gì bạn sẽ sử dụng trong mã thực. Thay vào đó bạn sẽ sử dụng một alias template:

template<typename T> 
using return_type = int (T::*)(float,float); 

template<typename TemplateClass> 
return_type<TemplateClass> Testtest(TemplateClass &A) 

Hoặc kiểu trả về khấu trừ trong C++ 14:

template<typename TemplateClass> 
auto Testtest(TemplateClass &A) 

Hoặc một loại dấu sự trở lại (trong C++ 11):

template<typename TemplateClass> 
auto Testtest(TemplateClass &A) -> int (TemplateClass::*)(float,float) 

Answer 2

int (Class::*f())(float,float); 

f là chức năng chụp không có đối số trở về con trỏ đến hàm thành viên của lớp Class takinf 2 phao nổi và trở int.

Và mẫu phiên bản:

  template <typename Type> 
     int (Type::*f())(float,float); 

Answer 3

Bạn cần mẫu thử nghiệm này:

template<typename TemplateClass> 
int (TemplateClass::*Testtest(TemplateClass &A)) (float,float) { } 

Answer 4

Tôi từ chối tiền đề của câu hỏi của bạn. Sử dụng typedefs. Hoặc, cụ thể là một đặc điểm kiểu:

template <class T, class F> 
struct make_mem_fun { 
    typedef F T::*type; 
}; 

template<typename TemplateClass> 
typename make_mem_fun<TemplateClass, int(float, float)>::type 
Testtest(TemplateClass &A) 
{ 
    return &TemplateClass::Function; 
} 

Đó là cách dễ hiểu hơn cú pháp phức tạp thực sự trả về loại. Với C++ 11, chúng ta có thể biến nó thành một bí danh để thả các công cụ typename ::type.