前言

在C++中，智能指针是一种非常重要的资源管理技术，用于自动管理动态分配的内存，以防止内存泄漏。std::shared_ptr是C++标准库中的一个智能指针类型，它通过使用引用计数来确保当最后一个shared_ptr被销毁或重置时，它所指向的对象也会被自动删除。而std::make_shared则是C++11引入的一个模板函数，用于更高效地创建std::shared_ptr实例。本文将详细解析std::make_shared函数的原理，并提供相关示例。

前言原理特点单一内存分配引用计数线程安全

示例代码运行结果代码详解std::make_shared：std::shared_ptr：std::thread：std::mutex 和 std::lock_guard：线程安全：mutable关键字：

总结

原理特点

单一内存分配

与直接使用new操作符创建对象并通过构造函数传递给std::shared_ptr相比，std::make_shared的最大优势在于它可以在一次内存分配中同时创建对象和控制块（control block）。控制块是std::shared_ptr内部用于管理引用计数、删除器和指向对象的指针的数据结构。通过使用单一分配，std::make_shared可以减少内存碎片，提高内存使用效率，并减少内存分配的开销。

引用计数

std::shared_ptr通过维护一个引用计数来跟踪有多少个shared_ptr实例指向同一个对象。每当一个新的shared_ptr指向该对象时，引用计数增加；每当一个shared_ptr被销毁或重置时，引用计数减少。当引用计数减少到0时，shared_ptr会自动调用其关联的删除器（默认为delete）来销毁对象并释放内存。

线程安全

std::shared_ptr的引用计数操作是线程安全的，这意味着多个线程可以同时操作同一个shared_ptr对象而不会导致数据竞争。然而，对shared_ptr所指向的对象的访问仍然需要适当的同步机制，如使用std::mutex。

示例

代码

<code>#include <iostream>

#include <vector>

#include <memory>

#include <thread>

#include <mutex>

// 定义一个包含std::vector<int>的类

class ComplexObject {

public:

// 成员函数：向vector中添加元素

void addElement(int value) {

// 使用std::lock_guard来保证线程安全

std::lock_guard<std::mutex> lock(mutex_);

elements_.push_back(value);

}

// 成员函数：显示vector中的所有元素

void displayElements() const {

// 同样使用std::lock_guard来保证在显示时不会修改vector

std::lock_guard<std::mutex> lock(mutex_);

for (int value : elements_) {

std::cout << value << " ";

}

std::cout << std::endl;

}

private:

std::vector<int> elements_; // 成员变量：存储整数的vector

mutable std::mutex mutex_; // 成员变量：用于保护elements_的互斥锁，注意是mutable的，因为它在const成员函数中被修改

};

// 一个简单的线程函数，用于向ComplexObject的vector中添加元素

void threadFunction(std::shared_ptr<ComplexObject> obj, int value) {

obj->addElement(value);

}

int main() {

// 使用std::make_shared创建ComplexObject的实例

auto sharedObj = std::make_shared<ComplexObject>();

// 创建并启动两个线程，每个线程都向sharedObj的vector中添加一个元素

std::thread t1(threadFunction, sharedObj, 10);

std::thread t2(threadFunction, sharedObj, 20);

// 等待两个线程完成

t1.join();

t2.join();

// 显示vector中的所有元素

sharedObj->displayElements(); // 输出可能是10 20，但顺序可能不同，因为线程是并发执行的

// 当sharedObj离开作用域时，它指向的ComplexObject实例会被自动删除

// 由于所有对sharedObj的引用都已消失（包括在t1和t2中的那些，它们已经join()），

// 所以引用计数会减到0，ComplexObject的析构函数会被调用

return 0;

}

运行结果

代码详解

std::make_shared：

用于创建std::shared_ptr的实例，并自动管理其指向的对象的生命周期。

在一次内存分配中同时创建对象和控制块，减少内存碎片和分配开销。

std::shared_ptr：

智能指针，通过引用计数来管理动态分配的内存。

当最后一个std::shared_ptr被销毁或重置时，它所指向的对象也会被自动删除。

std::thread：

用于表示一个执行线程的对象。

可以通过传递函数和参数给线程构造函数来启动一个新线程。

std::mutex 和 std::lock_guard：

std::mutex是一个互斥锁，用于保护共享数据免受多个线程的并发访问。

std::lock_guard是一个RAII（Resource Acquisition Is Initialization）风格的锁管理类，它在构造时自动加锁，在析构时自动解锁，从而简化锁的管理。

线程安全：

在多线程程序中，对共享数据的访问必须是线程安全的。

在本例中，我们使用std::mutex和std::lock_guard来保护ComplexObject中的elements_成员，以防止在并发修改时发生数据竞争。

mutable关键字：

允许在const成员函数中修改成员变量。

在本例中，mutex_被声明为mutable，因为它在const成员函数displayElements中被修改（即加锁和解锁）。注意，这并不意味着elements_本身在const成员函数中被修改；mutex_的修改是

总结

std::make_shared是C++11提供的一种高效、安全的智能指针工厂函数。通过在一次内存分配中同时创建对象和控制块，std::make_shared可以减少内存分配的开销，提高内存使用效率。同时，std::shared_ptr的引用计数机制确保了当最后一个shared_ptr被销毁时，所指向的对象也会被自动删除，从而有效防止内存泄漏。然而，需要注意的是，虽然std::shared_ptr的引用计数操作是线程安全的，但对所指向对象的访问仍然需要适当的同步机制。