- 正确答案：智能指针是C++标准库中用于自动管理动态内存（堆上分配的对象）的类模板，其核心思想是“资源获取即初始化”（RAII），通过对象的生命周期自动控制所指向资源的生命周期。C++11引入了三种标准智能指针：std::unique_ptr、std::shared_ptr 和 std::weak_ptr。其中，unique_ptr 表示独占式所有权，不可拷贝但可移动；shared_ptr 实现共享所有权，通过引用计数机制管理资源，当最后一个 shared_ptr 被销毁时资源自动释放；weak_ptr 是 shared_ptr 的弱引用，不增加引用计数，用于打破循环引用。 - 解答思路：回答应从设计动机出发（为什么需要智能指针？→ 手动 delete 易导致内存泄漏、重复释放、悬挂指针等错误），再逐类说明三者语义差异、使用场景、线程安全性、底层实现关键点（如控制块 control block、引用计数存储位置与原子性）、以及常见误用（如裸指针与智能指针混用、this 指针直接构造 shared_ptr 导致双重析构）。最后可对比原始指针与智能指针的适用边界。 - 深度知识讲解： 1. 底层实现原理（以 shared_ptr 为例）：shared_ptr 内部包含两个指针——一个指向托管对象（T*），另一个指向控制块（control block）。控制块是一个动态分配的结构，通常包含：强引用计数（strong count，记录当前有多少 shared_ptr 指向该对象）、弱引用计数（weak count，记录有多少 weak_ptr 及控制块自身是否还存活）、自定义删除器（deleter）、自定义分配器（allocator）及对齐后的对象内存（若使用 make_shared，则对象与控制块内存连续分配，提升缓存局部性并减少一次 malloc）。 2. 引用计数的线程安全性：C++标准要求 shared_ptr 的引用计数操作（如拷贝、赋值、析构）是原子的，但所指向对象的访问本身不保证线程安全。强/弱引用计数通常采用 std::atomic 实现，常见平台下使用带内存序的 lock-free 原子指令（如 x86 的 LOCK INC/DEC 或 cmpxchg）。 3. unique_ptr 的零开销抽象：unique_ptr 是轻量级栈对象，仅含一个原始指针（或加上自定义 deleter），无引用计数、无控制块、无运行时开销，移动后源指针被置为 nullptr（通过移动构造函数/赋值运算符实现）。其 deleter 类型是模板参数，编译期绑定，支持函数对象、lambda（需捕获为空）、函数指针等。 4. weak_ptr 的典型用途：解决 shared_ptr 循环引用问题。例如 A 持有 shared_ptr，B 持有 shared_ptr，则二者强引用计数永不归零，造成内存泄漏；此时 B 改用 weak_ptr ，访问前调用 lock() 获取临时 shared_ptr（若对象仍存活则返回非空，否则返回空），既避免循环引用，又保证线程安全的观察语义。 5. make_shared 与 new + shared_ptr 构造的区别：make_shared 一次性分配控制块+对象内存（优化空间局部性与分配次数），但若对象构造抛异常，控制块和对象内存仍会一并释放；而 new 分配再构造 shared_ptr 会产生两次内存分配，且若构造函数抛异常，new 分配的内存需由 shared_ptr 的 deleter 保证释放（默认 delete）。注意：make_shared 不支持自定义分配器（C++17起支持 allocate_shared）和私有构造函数（除非提供友元声明）。 6. 自定义 deleter 的重要性：shared_ptr/unique_ptr 都支持传入 deleter，用于处理非 new 分配的资源（如 malloc/free、fopen/fclose、CreateFile/CloseHandle、OpenGL glDeleteTextures 等）。deleter 类型影响对象大小（函数指针可内联存储，函数对象若含状态则增大 unique_ptr 尺寸）。 - 代码示例（展示关键行为与陷阱）： // 示例1：unique_ptr 基本用法与移动语义 std::unique_ptr p1 = std::make_unique(42); std::unique_ptr p2 = std::move(p1); // OK: 移动后 p1 == nullptr // int* raw = p1.get(); // 危险：p1 已为空，raw 为 nullptr // 示例2：shared_ptr 循环引用 vs weak_ptr 破解 struct Node { std::shared_ptr next; std::weak_ptr prev; // 使用 weak_ptr 避免循环引用 ~Node() { std::cout << "Node destroyed\n"; } }; auto a = std::make_shared(); auto b = std::make_shared(); a->next = b; b->prev = a; // weak_ptr 不增加引用计数 // a 和 b 可正常析构 // 示例3：自定义 deleter（malloc/free） auto ptr = std::unique_ptr{ static_cast(std::malloc(sizeof(int))), [](int* p) { std::free(p); } }; // 示例4：控制块布局示意（伪代码，非标准，仅帮助理解） // control_block layout (simplified): // +------------------+ // | strong_count | ← atomic // +------------------+ // | weak_count | ← atomic // +------------------+ // | deleter | // +------------------+ // | allocator | // +------------------+ // | [aligned storage for T] ← 若 make_shared，T 在此处紧邻存放 // 示例5：错误用法 —— 不要从 this 创建 shared_ptr（会导致双重析构） // class Bad : public std::enable_shared_from_this { // public: // void unsafe() { // std::shared_ptr p(this); // 错！裸指针构造，无控制块关联 // } // void safe() { // auto p = shared_from_this(); // 正确：必须先由 make_shared 构造 // } // };

滴滴27实习 agent开发一面分享

全站热榜

创作者周榜