C++中从函数返回自动分配对象的可行操作与禁忌有哪些？

你提到的「应当避免返回函数内部局部创建的对象、仅可返回动态分配对象」是非常陈旧的错误观点，仅适用于C98之前编译器优化能力不足、且移动语义未引入的上古时期。现代C从C98开始就支持返回值优化（RVO/NRVO），C11引入移动语义后返回局部值对象的开销几乎可以完全消除，C17更是将纯右值的返回值优化纳入强制标准，返回局部值对象反而属于更推荐的安全写法。你给出的运算符重载代码完全符合C编码规范：

// 摘自Lafore《Object-Oriented Programming in C++》第4版
Distance operator+ (Distance d1, Distance d2)
{
  int f = d1.feet + d2.feet;
  float i = d1.inches + d2.inches;
  if(i >= 12.0) {
    i -= 12.0;
    f++;
  }
  return Distance(f,i);
}

需要遵守的规范 #

• 优先返回值类型而非动态分配的指针：不需要调用方手动管理内存，避免内存泄漏，也不会引入空指针风险
• 自定义类型尽量实现符合三五法则的拷贝、移动、析构函数，保证返回过程中资源管理逻辑正确，可移动类型还能进一步降低返回开销
• 多返回分支的函数尽量返回同一个命名局部对象，方便编译器触发命名返回值优化（NRVO）
• 不可拷贝、不可移动的类型如果需要返回结果，可改用参数传入输出引用，或者用std::optional包装返回值
• 算术运算符、拼接运算符等重载场景下，必须返回值类型的新对象，符合运算符的语义预期

需要规避的错误做法 #

• 绝对不要返回局部对象的指针或者引用：局部对象在函数栈帧销毁时会被自动析构，返回的指针/引用会变成悬空指针，触发未定义行为，如下为典型错误示例：

// 严重错误示例
Distance& operator+ (Distance d1, Distance d2) {
  Distance res(d1.feet + d2.feet, d1.inches + d2.inches);
  return res; // 函数结束后res被销毁，返回的引用悬空
}

• 不要为了「降低开销」手动返回动态分配的裸指针：会把内存管理的责任转嫁给调用方，非常容易出现忘记释放、重复释放的问题，确有必要返回堆对象时请使用std::unique_ptr/std::shared_ptr等智能指针
• 不要对返回的局部对象手动调用std::move：大部分情况下编译器会优先触发RVO优化，手动加std::move反而会阻止优化，导致不必要的移动开销
• 避免返回存在复杂资源管理逻辑、却未正确实现拷贝/移动/析构函数的类型，否则返回值过程中极易出现资源泄漏、重复释放等问题

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