- 正确答案：C++标准库提供了三种主要的智能指针类型：std::unique_ptr、std::shared_ptr 和 std::weak_ptr。它们分别用于实现独占所有权、共享所有权和弱引用语义，旨在自动管理动态分配对象的生命周期，避免内存泄漏、悬空指针和重复释放等常见错误。 - 解答思路：面试官提出“C++的智能指针”通常不是要求背诵定义，而是考察候选人是否真正理解其设计动机、底层机制、适用场景及潜在陷阱。因此回答应从问题根源出发——原始裸指针（raw pointer）缺乏所有权语义，导致资源管理责任模糊；而智能指针通过RAII（Resource Acquisition Is Initialization）机制，将资源生命周期绑定到对象生命周期上，借助构造函数获取资源、析构函数释放资源，从而实现自动化管理。进一步需对比三类智能指针的语义差异、引用计数实现细节、线程安全性、性能开销及典型误用模式。 - 深度知识讲解： 1. 底层核心机制：RAII + 移动语义 + 引用计数（仅 shared_ptr/weak_ptr） - 所有智能指针均是模板类，封装一个原始指针（T*）并重载解引用（*）、成员访问（->）等操作符。 - unique_ptr 无引用计数，采用移动语义（move-only）实现独占所有权转移，其内部通常仅含一个T*成员（或加上自定义删除器），空间开销与裸指针相同（sizeof(unique_ptr) == sizeof(T*)）。 - shared_ptr 使用控制块（control block）管理引用计数和弱引用计数。控制块是一个动态分配的结构体，包含： * 指向托管对象的指针（T*） * 强引用计数（strong count）：当前 shared_ptr 实例数量（决定对象何时 delete） * 弱引用计数（weak count）：shared_ptr + weak_ptr 的总数量（决定控制块自身何时释放） * 自定义删除器（若指定）、分配器（若指定）等可选字段控制块与托管对象可分离分配（默认情况下分开），也可通过 make_shared 合并分配（提升缓存局部性，减少一次内存分配）。 2. 关键行为与实现原理： - unique_ptr 析构时自动调用其关联的删除器（默认为 delete），且不可拷贝，只可移动： unique_ptr p1(new int(42)); unique_ptr p2 = std::move(p1); // OK: 转移所有权，p1变为nullptr // unique_ptr p3 = p1; // 编译错误：拷贝构造被delete - shared_ptr 的引用计数是原子操作（C++11起强制要求线程安全的引用计数增减），但所指向对象的访问仍需用户同步。其拷贝/赋值会原子地递增强引用计数；析构或 reset() 会原子地递减；当强引用计数降为0时，立即调用删除器销毁对象（但控制块本身不立即释放，需等待弱引用计数也为0）。 - weak_ptr 不增加强引用计数，仅增加弱引用计数。它不能直接访问对象，必须通过 lock() 方法获得一个 shared_ptr（若对象仍存在，则返回非空 shared_ptr；否则返回空）。lock() 的实现本质是：原子读取当前强引用计数，若 >0 则原子递增并构造 shared_ptr；否则返回空。这避免了 ABA 问题和竞态条件。 3. 循环引用问题与 weak_ptr 的作用： - 当两个 shared_ptr 相互持有（如双向链表节点、父子对象关系），会导致强引用计数永远无法归零，造成内存泄漏。 - 解决方案：一方使用 weak_ptr 持有另一方（例如子节点用 weak_ptr 指向父节点）。weak_ptr 不参与强引用计数，打破循环。 - 示例： struct Node { std::shared_ptr parent; std::weak_ptr child; // 避免循环引用 }; 4. make_shared 与直接 new 的区别： - make_shared(args...) 在单次内存分配中同时创建控制块和 T 对象（布局类似：[control block][T object]），效率更高，且异常安全（不会出现只分配了控制块但T构造失败的情况）。 - 直接 new + shared_ptr 构造会进行两次分配（控制块一次，T一次），且若T构造抛异常，控制块可能已分配但未关联，需额外清理逻辑（标准库已处理，但仍有开销）。 5. 自定义删除器： - unique_ptr 和 shared_ptr 均支持传入删除器（函数对象、lambda、函数指针），用于非标准释放方式（如 malloc/free、CloseHandle、SDL_FreeSurface 等）。 - 删除器类型是模板参数的一部分（unique_ptr），影响类型唯一性；shared_ptr 的删除器类型擦除（存储在控制块中，运行时多态），不参与模板实例化。 6. 线程安全性边界： - 多个 shared_ptr 实例可安全地同时读（如拷贝、lock）； - 同一 shared_ptr 实例不能被多个线程同时写（如 reset、赋值）； - 所指向对象的线程安全由用户保证（智能指针不提供对象级同步）。 - 代码示例（含关键注释）： // 1. unique_ptr 示例：栈上管理堆资源，零开销抽象 #include #include void demo_unique_ptr() { auto ptr = std::make_unique(100); // 推荐：异常安全，等价于 unique_ptr(new int(100)) std::cout << *ptr << "\n"; // 输出 100 // ptr 自动析构，delete int(100) } // 2. shared_ptr + weak_ptr 解决循环引用 #include #include struct Parent; struct Child { std::shared_ptr parent; ~Child() { std::cout << "Child destroyed\n"; } }; struct Parent { std::shared_ptr child; ~Parent() { std::cout << "Parent destroyed\n"; } }; // 上述定义会导致循环引用 → 改为： struct ChildSafe { std::weak_ptr parent; // 弱引用 void do_something() { auto p = parent.lock(); // 尝试升级为shared_ptr if (p) { std::cout << "Parent still alive\n"; } else { std::cout << "Parent already destroyed\n"; } } }; // 3. 自定义删除器：用 malloc 分配的内存 void demo_custom_deleter() { auto ptr = std::unique_ptr{ static_cast(std::malloc(sizeof(int))), [](int* p) { std::free(p); } }; *ptr = 42; } // 4. make_shared 内存布局示意（概念性，不可直接访问） // std::make_shared(42) 分配一块内存，前部是 control block（含 ref_count=1, weak_count=1），后部是 int(42) - 扩展知识点： - C++20 引入 std::atomic_shared_ptr（实验性，部分编译器支持），用于无锁共享指针访问； - scoped_ptr（Boost）已被 unique_ptr 取代； - intrusive_ptr（Boost）：引用计数嵌入对象内部，避免控制块分配，适用于高频小对象； - 智能指针与容器结合：vector> 是替代 raw pointer vector 的现代写法，支持移动语义； - 性能敏感场景：避免 shared_ptr 频繁拷贝（可传 const shared_ptr& 或考虑用 raw pointer 观察，但需确保生命周期）； - 调试技巧：可通过 _Get_use_count()（MSVC）或 use_count()（标准接口）观察引用计数（仅用于调试，非线程安全读取）。综上，智能指针不仅是语法糖，更是 RAII 思想在资源管理中的典范实践，其设计深刻体现了 C++ 对零成本抽象、明确所有权、编译期约束与运行时安全的平衡追求。

字节后端实习一面面经 50min

全站热榜

创作者周榜