在C++中,应优先使用智能指针管理容器中的动态对象,以避免内存泄漏和悬空指针。std::unique_ptr适用于独占所有权场景,性能高且无引用计数,适合std::vector等线性容器存储多态对象;而std::shared_ptr用于共享所有权,通过引用计数管理生命周期,适用于std::map等需共享资源的场景,但需警惕循环引用。混合使用原始指针与智能指针会导致双重释放、悬空指针和所有权混乱等风险,应避免。通过定制删除器,智能指针可管理文件句柄、C风格数组等非内存资源,实现RAII的通用资源管理。

在C++中,将智能指针与容器结合使用是管理动态内存、避免内存泄漏和确保资源安全的关键实践。它通过RAII(资源获取即初始化)原则,让对象在离开作用域时自动释放所持有的资源,极大地简化了内存管理,并提高了代码的健壮性。简单来说,就是把那些需要手动
new
std::unique_ptr
std::shared_ptr
说实话,每次看到代码里大量裸指针在容器里跳来跳去,我心里都会咯噔一下。这不光是代码美观的问题,更是潜在的灾难。C++11之后,智能指针的引入简直是福音。
核心思路是:当你的容器需要存储动态分配的对象时,不要直接存储原始指针,而是存储智能指针。这解决了几个老大难的问题:
std::unique_ptr
std::shared_ptr
使用 std::unique_ptr
立即学习“C++免费学习笔记(深入)”;
当你确定容器中的每个元素都拥有其所管理对象的唯一所有权时,
std::unique_ptr
std::vector
std::list
std::deque
#include <vector>
#include <memory>
#include <iostream>
class Base {
public:
virtual void greet() const { std::cout << "Hello from Base!" << std::endl; }
virtual ~Base() { std::cout << "Base destructor called." << std::endl; }
};
class Derived : public Base {
public:
void greet() const override { std::cout << "Hello from Derived!" << std::endl; }
~Derived() { std::cout << "Derived destructor called." << std::endl; }
};
// 示例:使用 unique_ptr 存储多态对象
std::vector<std::unique_ptr<Base>> objects;
objects.push_back(std::make_unique<Derived>()); // 推荐使用 make_unique
objects.push_back(std::make_unique<Base>());
for (const auto& obj_ptr : objects) {
obj_ptr->greet();
}
// 当 objects 离开作用域时,所有 Base 和 Derived 对象都会被正确销毁使用 std::shared_ptr
如果你需要多个智能指针共同拥有同一个对象,并且在所有拥有者都消失后才释放对象,那么
std::shared_ptr
std::map
std::set
#include <map>
#include <memory>
#include <string>
#include <iostream>
class Resource {
public:
std::string name;
Resource(std::string n) : name(std::move(n)) {
std::cout << "Resource " << name << " created." << std::endl;
}
~Resource() {
std::cout << "Resource " << name << " destroyed." << std::endl;
}
};
// 示例:使用 shared_ptr 存储共享资源
std::map<std::string, std::shared_ptr<Resource>> shared_resources;
// 创建一个共享资源
auto r1 = std::make_shared<Resource>("DatabaseConnection");
shared_resources["db_conn_1"] = r1;
shared_resources["db_conn_2"] = r1; // 两个键共享同一个 Resource 对象
std::cout << "Reference count for r1: " << r1.use_count() << std::endl;
// 另一个 shared_ptr 也可以指向它
std::shared_ptr<Resource> another_ref = shared_resources["db_conn_1"];
std::cout << "Reference count for r1 after another_ref: " << r1.use_count() << std::endl;
// 当所有 shared_ptr 都离开作用域或被重置时,Resource 才会被销毁记住,
std::make_unique
std::make_shared
std::unique_ptr
std::shared_ptr
这其实是个老生常谈的问题,但总有人会踩坑。我的经验是,能用
unique_ptr
unique_ptr
选择std::unique_ptr
unique_ptr
std::vector<std::unique_ptr<MyObject>>
MyObject
vector
unique_ptr
shared_ptr
unique_ptr
unique_ptr
unique_ptr
unique_ptr
shared_ptr
shared_ptr
unique_ptr
什么时候你可能不得不考虑std::shared_ptr
当你确实需要多个智能指针共同管理同一个对象的生命周期时。例如,你有一个图形场景,多个节点可能引用同一个纹理或模型数据;或者在一个缓存系统中,多个用户可能同时访问同一个数据块。在这种情况下,
shared_ptr
std::weak_ptr
我个人觉得,很多人一开始会滥用
shared_ptr
unique_ptr
unique_ptr
shared_ptr
这简直是C++内存管理中的“雷区”,一不小心就会踩爆。混合使用原始指针和智能指针,尤其是当它们指向同一个动态分配的对象时,会引入一系列难以调试的严重问题。
双重释放(Double Free):这是最常见的风险。想象一下,你用
new
unique_ptr
delete
unique_ptr
delete
MyObject* raw_ptr = new MyObject(); std::unique_ptr<MyObject> smart_ptr(raw_ptr); // smart_ptr 现在管理 raw_ptr // 某个地方,不小心又 delete 了 delete raw_ptr; // 第一次释放 // smart_ptr 离开作用域时会再次 delete,导致双重释放!
悬空指针(Dangling Pointer):当智能指针管理的对象被释放后,如果还有原始指针指向这块内存,那么这些原始指针就变成了悬空指针。对悬空指针的任何解引用操作都是未定义行为,可能导致数据损坏或崩溃。
std::unique_ptr<MyObject> smart_ptr = std::make_unique<MyObject>(); MyObject* raw_ptr = smart_ptr.get(); // 获取原始指针 smart_ptr.reset(); // 对象被释放了,raw_ptr 成了悬空指针 raw_ptr->doSomething(); // 糟糕!访问已释放的内存
所有权语义混乱:智能指针的核心价值在于明确所有权。
unique_ptr
shared_ptr
异常安全问题:在异常发生时,智能指针能够保证资源的正确释放。但如果你的代码逻辑依赖于手动管理原始指针,一旦异常抛出,那些本应被
delete
我的建议是:
delete
shared_ptr
std::shared_ptr<T> p1(new T); std::shared_ptr<T> p2(p1.get());
shared_ptr
std::shared_ptr<T> p2 = p1;
std::unique_ptr
std::shared_ptr
智能指针的强大之处不仅在于管理堆内存,还在于它可以通过定制删除器(Deleter)来管理几乎任何需要“清理”的资源,比如文件句柄、网络套接字、互斥锁等等。这让智能指针成为了一个通用的RAII工具。
std::unique_ptr
unique_ptr
#include <memory>
#include <cstdio> // For FILE* and fclose
#include <iostream>
#include <vector>
// 1. 使用函数对象(Lambda表达式)作为删除器
auto file_closer = [](FILE* f) {
if (f) {
std::cout << "Closing file with lambda deleter." << std::endl;
fclose(f);
}
};
using FilePtr = std::unique_ptr<FILE, decltype(file_closer)>;
// 2. 使用结构体(仿函数)作为删除器
struct SocketCloser {
void operator()(int* sock_fd) const { // 注意这里,通常传递原始指针类型
if (sock_fd && *sock_fd != -1) {
std::cout << "Closing socket with functor deleter: " << *sock_fd << std::endl;
// 假设这是一个真实的套接字关闭函数
// close(*sock_fd);
delete sock_fd; // 释放原始指针本身
}
}
};
using SocketPtr = std::unique_ptr<int, SocketCloser>; // 假设 int 是文件描述符
void demo_unique_ptr_custom_deleter() {
// 示例1: 管理文件句柄
FILE* f = fopen("test.txt", "w");
if (f) {
FilePtr managed_file(f, file_closer);
fprintf(f, "Hello from unique_ptr!\n");
// managed_file 离开作用域时,file_closer 会被调用
} else {
std::cerr << "Failed to open file." << std::endl;
}
// 示例2: 管理一个假想的套接字描述符
int* sock_fd = new int(123); // 假设这是从某个 API 获取的
SocketPtr managed_socket(sock_fd, SocketCloser{});
// managed_socket 离开作用域时,SocketCloser() 会被调用
}可以看到,
unique_ptr
std::shared_ptr
shared_ptr
shared_ptr
#include <memory>
#include <iostream>
#include <vector>
// 1. 使用函数指针作为删除器
void custom_array_deleter(int* p) {
std::cout << "Custom array deleter called. Deleting int array." << std::endl;
delete[] p;
}
// 2. 使用 Lambda 表达式作为删除器
void demo_shared_ptr_custom_deleter() {
// 示例1: 管理C风格动态数组
std::shared_ptr<int> arr_ptr(new int[10], custom_array_deleter);
arr_ptr.get()[0] = 100;
std::cout << "Array element: " << arr_ptr.get()[0] << std::endl;
// arr_ptr 离开作用域时,custom_array_deleter 会被调用
// 示例2: 管理一个通过 C API 分配的内存
// 假设有一个 C 函数 `void* allocate_buffer(size_t size)`
// 和一个 `void free_buffer(void* ptr)`
auto c_buffer_deleter = [](void* p) {
std::cout << "Custom C buffer deleter called." << std::endl;
// free_buffer(p); // 假设调用 C API 的释放函数
std::free(p); // 这里用 std::free 模拟
};
void* raw_buffer = std::malloc(128); // 模拟 C API 分配
std::shared_ptr<void> managed_buffer(raw_buffer, c_buffer_deleter);
// managed_buffer 离开作用域时,c_buffer_deleter 会被调用
}什么时候需要定制删除器?
FILE*
malloc
free
delete
new T[N]
delete[]
std::unique_ptr<T>
delete T
std::unique_ptr<T[]>
delete[]
std::unique_ptr<T>
new T[N]
std::shared_ptr
定制删除器是一个非常强大的特性,它让智能指针的应用场景远超简单的内存管理。它真正体现了RAII的精髓,将资源的生命周期管理抽象化,让你的代码更干净、更安全。
以上就是C++如何使用智能指针与容器结合管理内存的详细内容,更多请关注php中文网其它相关文章!
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号