Question

我正在研究C ++ 11的enable_shared_from_this；一个示例让我感到困惑：shared_ptr返回的shared_from_this()类型如何可以转换为该原始指针？

#include <iostream>
#include <memory>
#include <functional>

struct Bar {
    Bar(int a) : a(a) {}
    int a;
};

struct Foo : public std::enable_shared_from_this<Foo> {
    Foo() { std::cout << "Foo::Foo\n"; }
    ~Foo() { std::cout << "Foo::~Foo\n"; }

    std::shared_ptr<Bar> getBar(int a)
    {
        std::shared_ptr<Bar> pb(
            new Bar{a}, std::bind(&Foo::showInfo, shared_from_this(), std::placeholders::_1)
        );
        return pb;
    }

    void showInfo(Bar *pb)
    {
        std::cout << "Foo::showInfo()\n";
        delete pb;
    }

};

int main()
{
    std::shared_ptr<Foo> pf(new Foo);
    std::shared_ptr<Bar> pb = pf->getBar(10);
    std::cout << "pf use_count: " << pf.use_count() << std::endl;
}

Answer 1

std::bind是聪明人，而不是指针。

如Callable中所述，当调用指向非静态成员函数的指针或指向非静态数据成员的指针时，第一个参数必须是引用或指针（可能包括智能指针，例如std :: shared_ptr）和std :: unique_ptr）到将要访问其成员的对象。

bind已实现，因此它可以接受智能指针代替原始指针。

您可以在glibc++ implementation than bind internally calls invoke中看到：

  // Call unqualified
  template<typename _Result, typename... _Args, std::size_t... _Indexes>
_Result
__call(tuple<_Args...>&& __args, _Index_tuple<_Indexes...>)
{
  return std::__invoke(_M_f,
      _Mu<_Bound_args>()(std::get<_Indexes>(_M_bound_args), __args)...
      );
}

std::invoke开箱即用地处理智能事物（指针，reference wrappers等）：

INVOKE(f, t1, t2, ..., tN)的定义如下：

如果f是指向类T的成员函数的指针：


如果std::is_base_of<T, std::decay_t<decltype(t1)>>::value为真，则INVOKE(f, t1, t2, ..., tN)等效于(t1.*f)(t2, ..., tN)

如果std::decay_t<decltype(t1)>是std::reference_wrapper的特化，则INVOKE(f, t1, t2, ..., tN)等效于(t1.get().*f)(t2, ..., tN)

如果t1不满足先前的条件，则INVOKE(f, t1, t2, ..., tN)等同于((*t1).*f)(t2, ..., tN) 。

这个shared_ptr如何自动转换为原始指针？

1 个答案: