问题
I'm studying enable_shared_from_this of C++11 now; one example made me confused: how the shared_ptr type returned by shared_from_this() can convert to this raw pointer?
#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;
}
回答1:
This is std::bind being smart, not the pointer.
As described in Callable, when invoking a pointer to non-static member function or pointer to non-static data member, the first argument has to be a reference or pointer (including, possibly, smart pointer such as std::shared_ptr and std::unique_ptr) to an object whose member will be accessed.
bind is implemented so it can accept a smart pointer in lieu of a raw pointer.
You can see in the 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)...
);
}
And std::invoke works with smart things (pointers, reference wrappers, etc.) out-of-the-box:
INVOKE(f, t1, t2, ..., tN)is defined as follows:If
fis a pointer to member function of classT:
- If
std::is_base_of<T, std::decay_t<decltype(t1)>>::valueis true, thenINVOKE(f, t1, t2, ..., tN)is equivalent to(t1.*f)(t2, ..., tN)- If
std::decay_t<decltype(t1)>is a specialization ofstd::reference_wrapper, thenINVOKE(f, t1, t2, ..., tN)is equivalent to(t1.get().*f)(t2, ..., tN)- If
t1does not satisfy the previous items, thenINVOKE(f, t1, t2, ..., tN)is equivalent to((*t1).*f)(t2, ..., tN).
来源:https://stackoverflow.com/questions/54417757/how-is-this-shared-ptr-automatically-converted-to-a-raw-pointer