如何重載 - > *運算符？

Question

我想這一點，和它的一些變化：

template<class T> 
class Ptr { 
public: 
    Ptr(T* ptr) : p(ptr) {} 
    ~Ptr() { if(p) delete p; } 

    template<class Method> 
    Method operator ->* (Method method) 
    { 
     return p->*method; 
    } 

private: 
    T *p; 
}; 

class Foo { 
public: 
    void foo(int) {} 
    int bar() { return 3; } 
}; 

int main() { 
    Ptr<Foo> p(new Foo()); 

    void (Foo::*method)(int) = &Foo::foo; 
    int (Foo::*method2)() = &Foo::bar; 

    (p->*method)(5); 
    (p->*method2)(); 

    return 0; 
} 

但doesn't work。問題是我真的不知道作爲一個參數期望什麼或返回什麼。這個標準對我來說是不可理解的，而且由於Google沒有提供任何有用的信息，我想我並不孤單。

編輯：闖闖，用C++ 0x中：http://ideone.com/lMlyB

Answer 1

的operator->*返回代表了被稱爲該處理的功能，唯一缺少的部分作爲參數。因此，你必須返回調用具有給定參數的指定對象上給定功能的仿函數：

// PTMF = pointer to member function 
template<class Obj> 
struct PTMF_Object{ 
    typedef int (Obj::*ptmf)(double,std::string); // example signature 

    PTMF_Object(Obj* obj, ptmf func) 
    : obj_(obj) 
    , func_(func) 
    {} 

    int operator()(double d, std::string str){ 
    return (obj_->*func_)(d,str); 
    } 

    Obj* obj_; 
    ptmf func_; 
}; 

template<class T> 
struct SmartPtr{ 
    // ... 

    PTMF_Object<T> operator->*(PTMF_Object<T>::ptmf func){ 
    return PTMF_Object<T>(p, func); 
    } 
    // ... 
}; 

int main(){ 
    SmartPtr<Foo> pf(new Foo()); 
    typedef int (Foo::*Foo_ptmf)(double,std::string); 
    Foo_ptmf method = &Foo::bar; 

    (pf->*method)(5.4, "oh hi"); 
} 

EDIT2
Here是從斯科特邁爾斯在這個題目的優秀PDF（這是唯一的好關於超載的文獻operator->*，儘管它是從1999年開始的）。

編輯
這是一個，如果你的編譯器支持可變參數模板：http://ideone.com/B6kRF

Answer 2

IIRC的operator->*返回類型應該是一個對象，它是可調用的函數。

因此，您可能必須將指針指向成員函數調用的對象，該對象會重載operator()（閉包），如果您沒有方便的可變參數模板，這會特別痛苦。

如果你有C++ 0X，你有閉包和可變參數模板，你的問題可以用幾行通用代碼來解決。

如果你不這樣做，你將不得不使用宏觀假設來模擬可變模板，而這是而不是有趣的事情（即使有些人認爲是相反的）。

Answer 3

我回到這個問題，我發現了一個簡單的解決方案：

template<class Ret, class... Args> 
auto operator ->* (Ret (T::*method)(Args...)) -> std::function<Ret(Args...)> 
{ 
    return [this, method](Args&&... args) -> Ret { 
    return (this->p->*method)(std::forward<Args>(args)...); 
    }; 
} 

全部測試用例的執行可以發現here。

我不喜歡在這個解決方案中唯一使用的是std::function。如果有人知道直接返回lambda的方式，請告訴我。我有一種預感，可能是因爲lambda類型被定義的方式。