关于shared_ptr和指向成员运算符` - > *`和`std :: bind`的指针

Question

最近我发现shared_ptr没有指向成员运算符的指针->* 。 我创建了简单的例子：

template <typename Pointer, typename Function, typename... Args>
auto invoke1(Pointer p, Function f, Args... args) -> decltype((p->*f)(args...))
{
  return (p->*f)(args...);
}
struct A { 
    void g() { std::cout << "A::g()\n"; } 
};
int main() {
  A a;
  invoke1(&a, &A::g); // works!!
  std::shared_ptr<A> sa = std::make_shared<A>();
  invoke1(sa, &A::g); // compile error!!
}

Q1：为什么会这样？ 为什么shared_ptr没有这个运算符？

我为shared_ptr添加了这样的运算符，示例开始工作：

template <typename T, typename Result>
auto operator ->* (std::shared_ptr<T> pointer, Result (T::*function)()) ->decltype(std::bind(function, pointer))
{
    return std::bind(function, pointer);
}
template <typename T, typename Result, typename Arg1>
auto operator ->* (std::shared_ptr<T> pointer, Result (T::*function)(Arg1 arg1)) ->decltype(std::bind(function, pointer, std::placeholders::_1))
{
    return std::bind(function, pointer, std::placeholders::_1);
}

Q2：这个运营商是否正确实施？ 是否有任何“黄金”规则如何实施这样的操作员，可能要么我重新发明轮子或进入完全错误的方向，你怎么看？ 有没有办法让一个函数实现这个运算符，而不是像std中的占位符一样多的函数...

之后我得出结论， std::bind可以在我的invoke方法中使用。

template <typename Pointer, typename Function, typename... Args>
auto invoke2(Pointer p, Function f, Args... args) 
                     -> decltype(std::bind(f, p, args...)())
{
   return std::bind(f, p, args...)();
}

通过这种方式，我的示例也可以无需向shared_ptr添加operator ->* 。

Q3：那么， std::bind现在被认为是operator->*的替代operator->* ？

Answer 1

在一个坚果shell中： 是的std :: bind是成员函数指针的替代品。

为什么？ 因为成员函数指针很糟糕，它们唯一的目的是实现委托，这就是为什么std :: bind和std :: function做的

有关成员函数指针是如何实现的参考，看看我以前的答案在这里 。 简单来说，成员函数指针被标准削弱了，因为它们在强制转换后不允许调用; 这使得它们对于90％的人想要来自成员函数指针的行为毫无意义：委托。

出于这个原因，std :: function用于表示抽象的“可调用”类型，std :: bind用于将this绑定到成员函数指针。 你绝对不应该使用成员函数指针，而是使用std :: bind和std :: function。

Answer 2

我相信最简单的灵魂就是用一对derefence（ * ）和结构引用（ . ）运算符替换'structure dereference'（ -> ）运算符：

template <typename Pointer, typename Function, typename... Args>
auto invoke1(Pointer p, Function f, Args... args) -> decltype(((*p).*f)(args...))
{
  return ((*p).*f)(args...);
}

Answer 3

我相信shared_ptr没有operator ->*因为不可能为任意数量的参数实现它（C ++ 11允许为其他用例执行）。 此外，您可以轻松地为调用get()智能指针添加invoke函数的重载，因此不希望使接口复杂化。