std::enable_shared_from_this

来自cppreference.com
< cpp‎ | memory
 
 
工具库
类型支持(基本类型、 RTTI 、类型特性)
动态内存管理
错误处理
程序工具
变参数函数
日期和时间
函数对象
(C++11)
关系运算符
optionalanyvariant (C++17)
pair 与 tuple
(C++11)
(C++17)
swap 、 forward 与 move
(C++14)
(C++11)
(C++11)
初等字符串转换
(C++17)
(C++17)
类型运算
(C++11)
(C++17)
 
 
 
定义于头文件 <memory>
template< class T > class enable_shared_from_this;
(C++11 起)

std::enable_shared_from_this 允许当前为名为 ptstd::shared_ptr 管理的对象 t 安全地生成另外的 std::shared_ptr 实例 pt1, pt2, ... ,它们与 pt 共享 t 的所有权。

std::enable_shared_from_this<T> 公开继承,会为 T 提供成员函数 shared_from_this 。若 T 类型对象 t 为名为 ptstd::shared_ptr<T> 所管理,则调用 T::shared_from_this 将返回新的 std::shared_ptr<T> ,它与 pt 共享 t 的所有权。

目录

[编辑] 成员函数

构造 enabled_shared_from_this 对象
(受保护成员函数)
销毁 enable_shared_from_this 对象
(受保护成员函数)
返回到 this 的引用
(受保护成员函数)
返回共享 *this 所有权的 shared_ptr
(公开成员函数)
返回共享 *this 所有权的 weak_ptr
(公开成员函数)

[编辑] 成员对象

成员名 定义
weak_this (私有成员对象)(C++17) 追踪 *this 的首个共享占有者的控制块的 std::weak_ptr 对象。仅为说明。

[编辑] 注意

enable_shared_from_this 的常见实现保有到 this 的一个弱引用(例如 std::weak_ptrstd::shared_ptr 的构造函数检测无歧义且可访问的 (C++17 起) enable_shared_from_this 基类,并且若内部存储的弱引用未为生存的 std::shared_ptr 占有,则 (C++17 起)赋值新建的 std::shared_ptr 为内部存储的弱引用。为已为另一 std::shared_ptr 所管理的对象构造一个 std::shared_ptr ,将不会考虑内部存储的弱引用,从而将导致未定义行为。

只允许在先前共享的对象,即 std::shared_ptr 所管理的对象上调用 shared_from_this 。否则行为未定义 (C++17 前)抛出 std::bad_weak_ptr (由 shared_ptr 从默认构造的 weak_this 的构造函数) (C++17 起)

enable_shared_from_this 提供安全替用方案以替代如 std::shared_ptr<T>(this) 的表达式,该表达式可能导致 this 被多个互不知晓的所有者析构(见下方示例)。

[编辑] 示例

#include <memory>
#include <iostream>
 
struct Good: std::enable_shared_from_this<Good> // 注意:公开继承
{
    std::shared_ptr<Good> getptr() {
        return shared_from_this();
    }
};
 
struct Bad
{
    std::shared_ptr<Bad> getptr() {
        return std::shared_ptr<Bad>(this);
    }
    ~Bad() { std::cout << "Bad::~Bad() called\n"; }
};
 
int main()
{
    // 好:二个 shared_ptr 共享同一对象
    std::shared_ptr<Good> gp1 = std::make_shared<Good>();
    std::shared_ptr<Good> gp2 = gp1->getptr();
    std::cout << "gp2.use_count() = " << gp2.use_count() << '\n';
 
    // 坏:调用 shared_from_this 而不令 std::shared_ptr 占有调用者
    try {
        Good not_so_good;
        std::shared_ptr<Good> gp1 = not_so_good.getptr();
    } catch(std::bad_weak_ptr& e) {
        // 未定义行为 (C++17 前) ;抛出 std::bad_weak_ptr thrown (C++17 起)
        std::cout << e.what() << '\n';    
    }
 
    // 坏,每个 shared_ptr 都认为它是对象仅有的所有者
    std::shared_ptr<Bad> bp1 = std::make_shared<Bad>();
    std::shared_ptr<Bad> bp2 = bp1->getptr();
    std::cout << "bp2.use_count() = " << bp2.use_count() << '\n';
} // UB : Bad 的双重删除

输出:

gp2.use_count() = 2
bad_weak_ptr
bp2.use_count() = 1
Bad::~Bad() called
Bad::~Bad() called
*** glibc detected *** ./test: double free or corruption

[编辑] 参阅

拥有共享对象所有权语义的智能指针
(类模板) [编辑]