如何enable_shared_from_this父和派生

如果你想要实现一个shared_from_this()函数,那么@evoskuil的类似解决方案可以减少派生类中的样板,从而在类的使用点产生以下代码:

auto shared_from_this() {
    return shared_from(this);
}  

这使用了类之外的"shim"函数.通过这样做,它还提供了一种干净的方式来执行此类的接口无法修改但是派生自enable_shared_from_this- 例如

auto shared_that = shared_from(that);

注意:auto此处使用for返回类型取决于编译器的使用期限.

可以放在库头中的Shim函数:

template 
inline std::shared_ptr
shared_from_base(std::enable_shared_from_this* base) 
{
    return base->shared_from_this();
}
template 
inline std::shared_ptr
shared_from_base(std::enable_shared_from_this const* base) 
{
    return base->shared_from_this();
}
template 
inline std::shared_ptr
shared_from(That* that) 
{
    return std::static_pointer_cast(shared_from_base(that));
}

上面的代码依赖于传递给它的类型在其祖先的某个点shared_from(...)继承的事实std::enable_shared_from_this.

调用shared_from_base将确定最终的类型.由于我们知道That继承自Base,因此可以进行静态向下转换.

可能存在一些具有类型转换运算符的类的病态极端情况..但是这不太可能发生在不打算破坏它的代码中.

例:

struct base : public std::enable_shared_from_this {};
struct derived : public base
{
    auto shared_from_this() {
        return shared_from(this);
    }
    // Can also provide a version for const:
    auto shared_from_this() const {
        return shared_from(this);
    }
    // Note that it is also possible to use shared_from(...) from
    // outside the class, e.g. 
    // auto sp = shared_from(that);
};
template 
struct derived_x : public derived
{
    auto shared_from_this() {
        return shared_from(this);
    }
};

编译测试:

int main()
{
    auto pbase = std::make_shared();
    auto pderived = std::make_shared();
    auto pderived_x = std::make_shared >();

    auto const& const_pderived = *pderived;
    const_pderived.shared_from_this();

    std::shared_ptr test1 = pbase->shared_from_this();
    std::shared_ptr test2 = pderived->shared_from_this();
    std::shared_ptr > test3 = pderived_x->shared_from_this();

    return 0;
}

https://onlinegdb.com/SJWM5CYIG

我发布的先前解决方案,保持使评论仍然有意义 - 这将函数放在基类中,这有一些问题 - 特别是"普通"类和模板类所需的实现之间的不一致.
另外,对于新的类层次结构,需要重复基类中的实现,这不是所有DRY.此外,基类函数通过从不同对象提供基类指针而遭受滥用的可能性.上面的新方案完全避免了这种情况,并且运行时断言(...)检查结束.

旧实施:

#include 
#include 

class base : public std::enable_shared_from_this
{
protected:   
    template 
    std::shared_ptr shared_from(T* derived) {
        assert(this == derived);
        return std::static_pointer_cast(shared_from_this());
    }
};

class derived : public base
{
public:
    auto shared_from_this() {
        return shared_from(this);
    }
};

template 
class derived_x : public derived
{
public:
    auto shared_from_this() {
        return this->template shared_from(this);
    }
};

int main()
{
    auto pbase = std::make_shared();
    auto pderived = std::make_shared();
    auto pderived_x = std::make_shared >();

    std::shared_ptr test1 = pbase->shared_from_this();
    std::shared_ptr test2 = pderived->shared_from_this();
    std::shared_ptr > test3 = pderived_x->shared_from_this();

    return 0;
}