最近我发现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,std::placeholders::_1);
- }
Q2：这个操作符是否正确实施？有没有任何“黄金”规则如何实现这样的运算符,可能是我重新发明了轮子或进入完全错误的方向,你觉得怎么样？有没有办法让一个单一的功能实现这个操作符,而不是像在std中的占位符一样多的功能
之后我得出结论,std :: bind可以在我的invoke方法中使用.
- template <typename Pointer,typename... Args>
- auto invoke2(Pointer p,Args... args)
- -> decltype(std::bind(f,p,args...)())
- {
- return std::bind(f,args...)();
- }
以这种方式,我的示例也可以无需添加运算符 – > *到shared_ptr.
Q3：所以,std :: bind现在被认为是替换为operator-> *？
