为什么std :: shared_ptr的别名构造函数不初始化std :: enabled_shared_from_this？

Question

考虑下面的代码：

struct Foo : std::enable_shared_from_this<Foo> 
{ 

}; 

struct Bar 
{ 
    Foo foo; 
}; 

int main() 
{ 
    std::shared_ptr<Bar> bar_p(new Bar); 

    //make shared_ptr to member with aliasing constructor 
    std::shared_ptr<Foo> foo_p(bar_p, &bar_p->foo); 
    assert(bar_p->foo.shared_from_this()); //fail! throws bad_weak_ptr 
} 

不幸的是，预期它不工作（至少在GCC 4.8.2）。我研究了代码，似乎别名构造函数根本不会调用__enable_shared_from_this_helper()，这对于shared_from_this()的正常工作是必需的。

有没有人知道为什么它是这样设计的？将shared_ptr从shared_from_this返回给成员有什么问题吗？

Answer 1

[util.smartptr.shared.const]

template<class Y> shared_ptr(const shared_ptr<Y>& r, T* p) noexcept;

效果：构造一个shared_ptr实例存储p和股所有权与r。

foo_p不带任何的bar_p->foo所有权，当你调用走样构造，在这种情况下是一个非常好事，因为否则它会尝试delete它破坏。

[util.smartptr.enab]

shared_ptr<T> shared_from_this();

shared_ptr<T const> shared_from_this() const;

要求：[...]须有至少一个拥有&tshared_ptr实例页。

由于bar_p->foo不是由至少一个shared_ptr你最终未定义行为资，GCC抛出bad_weak_ptr但没有义务做任何事情有帮助。