- 正确答案：智能指针是C++中用于管理动态内存的类模板，它通过自动管理对象的生命周期来防止内存泄漏。常见的智能指针包括std::unique_ptr、std::shared_ptr和std::weak_ptr。它们都定义在头文件中。 - 解答思路：面试中关于“智能指针”的问题通常考察候选人对C++资源管理机制的理解，尤其是RAII（Resource Acquisition Is Initialization）原则的应用。回答时应从以下几个方面展开： 1. 智能指针的基本概念及其解决的问题（如内存泄漏、悬空指针等）； 2. 三种主要智能指针的特点与使用场景； 3. 底层实现原理，特别是引用计数机制； 4. 可能出现的问题，如循环引用，并说明如何避免； 5. 结合代码示例说明其行为。 - 深度知识讲解：一、核心思想：RAII RAII是C++中一种重要的编程范式，即资源的获取即初始化。其核心思想是将资源（如内存、文件句柄、互斥锁等）的生命周期绑定到一个局部对象的生命周期上。当对象创建时获取资源，在析构函数中释放资源，从而确保即使发生异常也能正确释放资源。智能指针正是RAII的一个典型应用——用对象管理堆上分配的内存。二、三种智能指针详解 1. std::unique_ptr - 特点：独占所有权，不能复制，只能移动。 - 生命周期：当unique_ptr离开作用域时，自动调用delete释放所指向的对象。 - 适用场景：当你需要动态分配对象但希望其生命周期由单一所有者控制时使用。 - 实现原理：内部封装了原始指针和一个可选的删除器（deleter），析构时调用删除器。示例代码： ``` #include #include class MyClass { public: MyClass() { std::cout << "MyClass constructed\n"; } ~MyClass() { std::cout << "MyClass destructed\n"; } }; void example_unique() { std::unique_ptr ptr = std::make_unique(); // 自动释放，无需手动delete } // 析构在此处触发 ``` unique_ptr禁止拷贝语义： ``` std::unique_ptr ptr1 = std::make_unique(); // std::unique_ptr ptr2 = ptr1; // 编译错误！ std::unique_ptr ptr2 = std::move(ptr1); // 合法：转移所有权 ``` 2. std::shared_ptr - 特点：共享所有权，多个shared_ptr可以指向同一个对象。 - 实现机制：使用引用计数（reference counting）。每当有新的shared_ptr指向该对象时，引用计数+1；当一个shared_ptr被销毁或重置时，引用计数-1；当引用计数变为0时，自动释放对象。 - 控制块（control block）：shared_ptr除了保存原始指针外，还维护一个控制块，其中包含： - 引用计数（shared count） - 弱引用计数（weak count） - 自定义删除器（optional deleter） - 可选的分配器 - 控制块通常在第一次创建shared_ptr时通过new分配。示例代码： ``` std::shared_ptr sp1 = std::make_shared(); { std::shared_ptr sp2 = sp1; // 引用计数+1 std::cout << "Reference count: " << sp1.use_count() << "\n"; // 输出2 } // sp2析构，引用计数减为1 std::cout << "Reference count: " << sp1.use_count() << "\n"; // 输出1 ``` // sp1析构后，引用计数为0，对象被销毁推荐使用std::make_shared而非new + shared_ptr构造： - 更高效：一次内存分配完成对象和控制块的创建（某些实现优化） - 异常安全：避免因表达式求值顺序导致的内存泄漏错误写法示例： ``` f(std::shared_ptr(new MyClass), g()); // 如果g()抛出异常，new出来的MyClass可能未绑定到shared_ptr而泄漏 ``` 正确写法： ``` f(std::make_shared(), g()); // 原子操作，异常安全 ``` 3. std::weak_ptr - 特点：不拥有对象，仅观察由shared_ptr管理的对象。 - 用途：打破shared_ptr之间的循环引用。 - 必须通过lock()方法转换为shared_ptr才能访问对象，如果原对象已被销毁，则返回空shared_ptr。 - 不增加引用计数，只增加弱引用计数。循环引用问题示例： ``` struct Node { std::shared_ptr parent; std::shared_ptr child; }; // 如果A.child = B, B.parent = A，则形成循环引用，引用计数永不归零，造成内存泄漏 ``` 解决方案：将其中一个改为weak_ptr ``` struct Node { std::weak_ptr parent; // 改为weak_ptr std::shared_ptr child; }; ``` 使用weak_ptr检查对象是否存活： ``` std::weak_ptr wp; { auto sp = std::make_shared(); wp = sp; if (auto locked = wp.lock()) { // 对象仍存在 use(locked); } } if (auto locked = wp.lock()) { // 此时locked为空，因为sp已析构 } else { std::cout << "Object has been destroyed.\n"; } ``` 三、底层数据结构模拟实现（简化版）下面是一个简化的shared_ptr实现思路，帮助理解其工作原理： ``` template class SharedPtr { T* ptr; int* ref_count; void decrease() { if (ref_count && --(*ref_count) == 0) { delete ptr; delete ref_count; } } public: explicit SharedPtr(T* p = nullptr) : ptr(p), ref_count(p ? new int(1) : nullptr) {} SharedPtr(const SharedPtr& other) : ptr(other.ptr), ref_count(other.ref_count) { if (ref_count) ++(*ref_count); } SharedPtr& operator=(const SharedPtr& other) { if (this != &other) { decrease(); // 释放当前资源 ptr = other.ptr; ref_count = other.ref_count; if (ref_count) ++(*ref_count); } return *this; } ~SharedPtr() { decrease(); } T* get() const { return ptr; } T& operator*() const { return *ptr; } T* operator->() const { return ptr; } int use_count() const { return ref_count ? *ref_count : 0; } bool unique() const { return use_count() == 1; } void reset(T* p = nullptr) { SharedPtr(p).swap(*this); } void swap(SharedPtr& other) { std::swap(ptr, other.ptr); std::swap(ref_count, other.ref_count); } }; ``` 注意：真实标准库实现更复杂，支持自定义删除器、别名构造、线程安全引用计数等。四、线程安全性 shared_ptr的引用计数操作是原子的（在大多数标准库实现中），因此多个线程可以安全地持有同一个对象的不同shared_ptr副本。但注意： - 多个线程同时读写同一个shared_ptr对象本身仍需同步。 - 对所指对象的访问不提供任何保护。五、性能考量 - unique_ptr：零成本抽象，性能几乎与裸指针相同。 - shared_ptr：由于引用计数的存在，每次拷贝/析构都有原子操作开销，且控制块额外占用内存。 - weak_ptr：lock()操作需要检查控制块状态，有一定开销。六、最佳实践总结 1. 优先使用make_unique和make_shared创建智能指针； 2. 尽量使用unique_ptr，除非确实需要共享所有权； 3. 避免循环引用，必要时使用weak_ptr； 4. 不要将同一个裸指针多次交给不同的智能指针； 5. 避免将this指针传递给shared_ptr（可用enable_shared_from_this）； 6. 在类内部需要获取自身的shared_ptr时，继承std::enable_shared_from_this并使用shared_from_this()。示例：enable_shared_from_this ``` struct SelfAware : std::enable_shared_from_this { std::shared_ptr getSelf() { return shared_from_this(); // 安全返回shared_ptr } }; auto p = std::make_shared(); auto q = p->getSelf(); // 正确增加引用计数 ``` 总结：智能指针是现代C++资源管理的核心工具，掌握其原理和使用方式对于写出安全、高效的代码至关重要。在校园招聘面试中，深入理解其实现机制和常见陷阱，能够显著提升技术深度印象。

影石cpp开发二面

全站热榜

创作者周榜