調用一個成員函數指針的智能指針

Question

當與類的成員函數指針的處理，我們可以調用一個函數的對象實例的語法如下：

struct X { 
    void foo(); 
}; 

X x;    // Instance 
auto f = &X::foo; // Member function pointer 

(x.*f)();   // Call function f on x 

有一個實例的原始指針時，語法是這樣的：

X *xptr = new X(); 

(xptr->*f)(); 

這很好地遵循靜態函數調用的比喻：

x.foo(); 
x->foo(); 

然而，當我有類的智能指針，這不起作用：

unique_ptr<X> xsptr(new X()); 

(xsptr->*f)(); // g++: error: no match for 'operator->*' in 'xsptr ->* f' 

我解決這個問題，首先應用對其操作，然後用.語法調用：

((*xsptr).*f)(); 

這是多醜？

編譯器是否應該拒絕上面的箭頭語法？因爲通常（靜態調用函數時），它會調用operator ->。不應該->*也只能撥打operator ->？

編譯器錯誤部分回答了這個問題：錯誤讀取，我們可以重載operator ->*調用一個成員函數指針解除引用的對象，這unique_ptr不上。但是這引入了更多的問題。爲什麼智能指針不這樣做，如果語言需要這個？它是否打算而不是這樣做，因爲它引入了其他問題？爲什麼我們必須寫這個運算符而不是隱式地調用->返回的對象上的成員函數指針呢？ （因爲這是編寫xsptr->foo()時的行爲）

Answer 1

編譯器是否應該拒絕上面的箭頭語法？因爲通常（靜態調用函數時），它會調用operator - >。不應該 - > *也只是調用operator - >？

編譯器正確拒絕語法。沒有operator->*不應該叫operator->（根據標準）。請注意，雖然語法可能看起來類似，但->*本身就是一個運營商，而不是->與其他一些*東西的組成。

Answer 2

您可以爲智能指針重載operator->*。見Scott Meyers的文章this。其基本思想是返回一個函數對象，該對象在從操作員返回後將被調用。

該文章有點過時了，您現在可以使用變量函數參數編號的一個可變參數模板。