generic function pointer viên làm mẫu tham số

Question

xem xét mã này:

#include <iostream> 
using namespace std; 

class hello{ 
public: 
    void f(){ 
     cout<<"f"<<endl; 
    } 
    virtual void ff(){ 
     cout<<"ff"<<endl; 
    } 
}; 

#define call_mem_fn(object, ptr) ((object).*(ptr)) 

template<R (C::*ptr_to_mem)(Args...)> void proxycall(C& obj){ 
    cout<<"hello"<<endl; 
    call_mem_fn(obj, ptr_to_mem)(); 
} 

int main(){ 
    hello obj; 
    proxycall<&hello::f>(obj); 
} 

Tất nhiên điều này sẽ không biên dịch tại dòng 16, bởi vì trình biên dịch không biết những gì R, C và Args, đang có. Nhưng có một vấn đề khác: nếu một cố gắng để xác định các tham số mẫu ngay trước ptr_to_mem, ông chạy vào tình huống xấu này:

template<typename R, typename C, typename... Args, R (C::*ptr_to_mem)(Args...)> 
          // ^variadic template, but not as last parameter! 
void proxycall(C& obj){ 
    cout<<"hello"<<endl; 
    call_mem_fn(obj, ptr_to_mem)(); 
} 

int main(){ 
    hello obj; 
    proxycall<void, hello, &hello::f>(obj); 
} 

Đáng ngạc nhiên, g ++ không phàn nàn về Args không phải là tham số cuối cùng trong danh sách mẫu, nhưng dù sao nó không thể liên kết proxycall với chức năng mẫu phù hợp, và chỉ cần lưu ý rằng đó là một ứng viên có thể.

Bất kỳ giải pháp nào? Phương pháp cuối cùng của tôi là chuyển con trỏ hàm thành viên làm đối số, nhưng nếu tôi có thể chuyển nó thành tham số mẫu, nó sẽ phù hợp hơn với phần còn lại của mã của tôi.

EDIT: như một số đã chỉ ra, ví dụ có vẻ vô nghĩa vì proxycall sẽ không vượt qua bất kỳ đối số nào. Điều này là không đúng trong mã thực tế tôi đang làm việc trên: các đối số được lấy với một số thủ thuật mẫu từ một ngăn xếp Lua. Nhưng phần mã đó không liên quan đến câu hỏi, và khá dài, vì vậy tôi sẽ không dán nó ở đây.

Answer 1

Bạn có thể thử một cái gì đó như thế này:

template <typename T, typename R, typename ...Args> 
R proxycall(T & obj, R (T::*mf)(Args...), Args &&... args) 
{ 
    return (obj.*mf)(std::forward<Args>(args)...); 
} 

Cách sử dụng: proxycall(obj, &hello::f);

Ngoài ra, để làm cho PTMF thành một mẫu tranh luận, hãy thử chuyên môn:

template <typename T, T> struct proxy; 

template <typename T, typename R, typename ...Args, R (T::*mf)(Args...)> 
struct proxy<R (T::*)(Args...), mf> 
{ 
    static R call(T & obj, Args &&... args) 
    { 
     return (obj.*mf)(std::forward<Args>(args)...); 
    } 
}; 

Cách sử dụng:

hello obj; 

proxy<void(hello::*)(), &hello::f>::call(obj); 

// or 

typedef proxy<void(hello::*)(), &hello::f> hello_proxy; 
hello_proxy::call(obj);