调用一个成员函数指针的智能指针

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。其基本思想是返回一个函数对象，该对象在从操作员返回后将被调用。

该文章有点过时了，您现在可以使用变量函数参数编号的一个可变参数模板。