在return语句中声明定义变量是否有弊端？内存分配失败场景分析

问题背景 #

当返回局部变量的引用时，会因局部变量在函数返回时被销毁而得到错误值。为解决这个问题，可使用shared_ptr来管理内存，目前有两种常见写法：

写法1：return语句中直接构造shared_ptr #

struct node {
  int data;
  node* next;
};

shared_ptr<node> create_node(int value) { 
    node* newitem = new node;
    newitem->data=value;
    newitem->next=NULL;

    return shared_ptr<node>(newitem); 
}

写法2：先声明临时变量再赋值返回 #

shared_ptr<node> temp; // 声明并定义变量
temp = shared_ptr<node>(newitem); // 赋值操作

return temp;

内存分配失败场景下的优劣对比 #

两种写法在内存分配失败的场景下没有本质差异，原因如下：

1. 内存分配失败的触发点是new node这一步：如果new抛出std::bad_alloc异常，函数会直接终止执行，后续的shared_ptr构造/赋值逻辑都不会运行。此时不存在内存泄漏风险，因为new分配失败时，操作系统会自动回收未成功分配的内存资源。
2. 当new成功后，shared_ptr的构造（从原始指针）是不会抛出异常的（标准规定该构造函数为noexcept），因此两种写法都能安全完成内存管理的交接。

反而写法1更具优势：

• 代码更简洁紧凑，逻辑直接。
• 编译器可以触发返回值优化（RVO），避免临时对象的拷贝，提升执行效率。

另外需要纠正一个概念错误：写法2中的shared_ptr<node> temp;已经完成了变量的定义，后续的temp = ...只是赋值操作，并非“定义变量”。

内容的提问来源于stack exchange，提问作者Cloud Cho