将原始指针传递给shared_ptr函数

Passing raw pointer to a function with shared_ptr

本文关键字：shared ptr 函数 原始 指针      更新时间：2023-10-16

当我有一个函数:

void foo(std::shared_ptr<T> a, std::shared_ptr<T> b);
当像这样调用

时，是否有内存泄漏的机会:

foo(new T(), new T());

由于向shared_ptr的转换是显式的，因此无法编译。如果我天真地修改:

foo(std::shared_ptr<T>(new T()), std::shared_ptr<T>(new T()));  // don't do this

则确实存在内存泄漏的可能性。一个允许的求值顺序是:

T * p1 = new T();
T * p2 = new T();
std::shared_ptr<T> s1(p1);
std::shared_ptr<T> s2(p2);
foo(s1,s2);

如果第二个new抛出异常，那么第一个对象将被泄露。要解决这个问题，请确保在尝试第二次分配之前初始化第一个共享指针，或者使用临时变量:

std::shared_ptr<T> a(new T());
std::shared_ptr<T> b(new T());
foo(a,b);

或调用函数初始化每个

foo(std::make_shared<T>(), std::make_shared<T>());

正如@Mike所说，您的源代码无法编译。您需要一个明确的shared_ptr结构，例如:

foo(std::shared_ptr<T>(new T()), std::shared_ptr<T>(new T()));

仍然不安全。在c++中，用作函数参数的表达式通常可以按任意顺序求值，包括交错，除非受到其他规则的限制。

例如，顺序可以是:
  1. 为第一个T分配内存
  2. 构建第一个T
  3. 为第二个T分配内存
  4. 构造第二个T
  5. 构造share_ptr
  6. 构造share_ptr

如果步骤(3)或(4)失败(通过抛出)，则在步骤(2)构造的对象不会被销毁，并且在步骤(1)分配的内存将会泄漏。

相关文章：