More Effective C++ 条款20：协助完成返回值优化（Facilitate the Return Value Optimization）

---

核心思想：返回值优化（RVO）是编译器消除函数返回时临时对象的一种重要优化技术。通过编写适合RVO的代码，我们可以协助编译器应用这一优化，避免不必要的拷贝和移动操作，从而提升程序性能。

🚀 1. 问题本质分析

1.1 函数返回值的开销：

• 传统方式：函数返回对象时，可能涉及临时对象的创建、拷贝或移动
• 优化目标：避免这些额外的操作，直接在调用处构造返回值

1.2 返回值优化的原理：

// ❌ 可能产生临时对象的返回方式
BigObject createObject() {BigObject obj;// ... 操作objreturn obj;  // 传统上可能产生拷贝/移动
}// ✅ 编译器优化后（RVO）
void createObject(BigObject* result) {// 直接在result指向的地址构造对象new (result) BigObject();// ... 操作*result
}// 调用处
BigObject obj = createObject();  // 实际上可能被优化为：
// BigObject obj;  // 在obj的地址上直接构造
// createObject(&obj);

---

📦 2. 问题深度解析

2.1 RVO和NRVO的类型：

// RVO (Return Value Optimization) - 返回无名临时对象
BigObject createRVO() {return BigObject();  // 直接返回临时对象，容易优化
}// NRVO (Named Return Value Optimization) - 返回具名对象
BigObject createNRVO() {BigObject obj;// ... 操作objreturn obj;  // 返回具名对象，较复杂但现代编译器支持
}// 无法优化的情况
BigObject createNoOptimization(bool flag) {BigObject obj1, obj2;if (flag) {return obj1;  // 多个返回路径，可能无法优化} else {return obj2;  // 多个返回路径，可能无法优化}
}

2.2 现代C++中的返回值处理：

// C++11前的做法：依赖拷贝构造函数
class OldStyle {
public:OldStyle(const OldStyle& other);  // 拷贝构造函数
};// C++11后的做法：支持移动语义
class ModernStyle {
public:ModernStyle(ModernStyle&& other) noexcept;  // 移动构造函数
};ModernStyle createModern() {ModernStyle obj;return obj;  // 可能使用移动语义（如果NRVO不适用）
}// C++17后的保证：强制拷贝消除
ModernStyle createGuaranteed() {return ModernStyle();  // C++17保证无临时对象
}

2.3 阻碍RVO的因素：

// 因素1：多个返回路径
BigObject createMultiplePaths(bool flag) {if (flag) {BigObject obj1;return obj1;  // 一个返回路径} else {BigObject obj2;return obj2;  // 另一个返回路径，可能阻碍NRVO}
}// 因素2：返回函数参数
BigObject processAndReturn(BigObject input) {// 处理inputreturn input;  // 返回参数，可能无法优化
}// 因素3：返回成员变量或全局变量
BigObject globalObj;
BigObject returnGlobal() {return globalObj;  // 返回非局部变量，无法优化
}// 因素4：返回表达式的结果
BigObject returnExpression() {BigObject obj1, obj2;return condition ? obj1 : obj2;  // 条件表达式，可能无法优化
}

---

⚖️ 3. 解决方案与最佳实践

3.1 编写适合RVO的代码：

// ✅ 单一返回路径
BigObject createSingleReturn() {BigObject result;  // 具名对象// ... 所有操作都作用于resultreturn result;  // 单一返回，便于NRVO
}// ✅ 返回匿名临时对象
BigObject createAnonymous() {return BigObject(/* 参数 */);  // 直接返回临时对象，便于RVO
}// ✅ 使用工厂函数模式
class Factory {
public:static BigObject create() {return BigObject();  // 通常可优化}
};// ✅ 避免返回函数参数
BigObject processAndReturn(const BigObject& input) {BigObject result = input;  // 显式拷贝（如果需要）// 处理resultreturn result;  // 可能适用NRVO
}// ✅ 使用移动语义作为备选
BigObject createWithMove() {BigObject obj;// ... 操作objreturn std::move(obj);  // 如果NRVO不适用，使用移动语义// 注意：在某些情况下，显式move可能阻止RVO
}

3.2 理解编译器行为：

// 测试编译器RVO支持的方法
class RvoTest {
public:RvoTest() { std::cout << "Constructor\n"; }RvoTest(const RvoTest&) { std::cout << "Copy Constructor\n"; }RvoTest(RvoTest&&) { std::cout << "Move Constructor\n"; }~RvoTest() { std::cout << "Destructor\n"; }
};RvoTest testRVO() {return RvoTest();  // 应该只调用一次构造函数（无拷贝/移动）
}RvoTest testNRVO() {RvoTest obj;return obj;  // 应该只调用一次构造函数（无拷贝/移动）
}void checkRVO() {std::cout << "Testing RVO:\n";RvoTest obj1 = testRVO();std::cout << "\nTesting NRVO:\n";RvoTest obj2 = testNRVO();
}

3.3 现代C++中的最佳实践：

// ✅ 依赖C++17的强制拷贝消除
BigObject createGuaranteedElision() {return BigObject();  // C++17保证无拷贝/移动
}// ✅ 使用自动类型推导
auto createWithAuto() {return BigObject();  // 返回类型推导，不影响优化
}// ✅ 配合移动语义
class Optimized {
public:Optimized() = default;Optimized(const Optimized&) {std::cout << "Copy (expensive)\n";}Optimized(Optimized&&) noexcept {std::cout << "Move (cheap)\n";}
};Optimized createOptimized() {Optimized obj;// 如果NRVO不适用，则使用移动语义return obj;
}// ✅ 使用编译器提示（可能有限作用）
#ifdef __GNUC__
#define OPTIMIZE_RVO __attribute__((optimize("no-elide-constructors")))
#else
#define OPTIMIZE_RVO
#endifOptimized createWithHint() OPTIMIZE_RVO {return Optimized();
}

3.4 处理无法优化的情况：

// 当无法避免多个返回路径时
BigObject createMultiplePathsOptimized(bool flag) {if (flag) {BigObject obj;// ... 设置objreturn obj;  // 一个返回路径} else {// 使用移动构造或直接返回临时对象return BigObject(/* 参数 */);  // 直接返回临时对象}
}// 使用输出参数替代返回值（传统方式）
void createByOutputParameter(BigObject* out) {// 在out指向的位置直接构造new (out) BigObject();// ... 操作*out
}// 使用optional或variant处理复杂情况
#include <optional>
std::optional<BigObject> createOptional(bool flag) {if (flag) {BigObject obj;return obj;  // 可能应用NRVO} else {return std::nullopt;  // 无对象返回}
}

---

💡 关键实践原则

1. 优先编写适合RVO的代码
   遵循简单返回模式：

   // 好：单一返回路径，返回局部对象
   BigObject goodPractice() {BigObject result;// 所有操作...return result;
   }// 更好：返回匿名临时对象
   BigObject betterPractice() {return BigObject(/* 参数 */);
   }// 避免：多个返回路径
   BigObject badPractice(bool flag) {if (flag) {BigObject obj1;return obj1;} else {BigObject obj2;return obj2;}
   }
   

2. 理解并测试编译器优化能力
   通过实际测试了解编译器的行为：

   void testCompilerOptimizations() {// 测试不同编译器和设置下的RVO/NRVOauto obj1 = createRVO();      // 应该无拷贝auto obj2 = createNRVO();     // 应该无拷贝auto obj3 = createComplex();  // 测试复杂情况
   }
   

3. 使用现代C++特性作为保障
   利用C++11/14/17的新特性：

   // 使用移动语义作为NRVO的备选
   BigObject createWithFallback() {BigObject obj;return obj;  // 首先尝试NRVO，否则使用移动语义
   }// 依赖C++17的强制拷贝消除
   BigObject createCpp17() {return BigObject();  // 保证无临时对象
   }// 使用noexcept移动构造函数
   class NoExceptMove {
   public:NoExceptMove(NoExceptMove&&) noexcept = default;
   };
   

现代C++中的RVO工具：

// 1. 保证拷贝消除 (C++17)
BigObject obj = BigObject(BigObject());  // 无临时对象// 2. 移动语义 (C++11)
BigObject create() {BigObject obj;return obj;  // 使用移动如果NRVO不适用
}// 3. 自动类型推导 (C++14)
auto create() {return BigObject();  // 类型推导不影响优化
}// 4. 委托构造函数 (可能影响但一般可优化)
class Delegating {
public:Delegating() : Delegating(0) {}Delegating(int value) : value_(value) {}
private:int value_;
};

代码审查要点：

1. 检查函数是否以适合RVO/NRVO的方式返回局部对象
2. 确认移动构造函数是否正确实现（noexcept，正确交换资源）
3. 检查是否存在多个返回路径阻碍优化
4. 确认是否可以使用emplace操作或工厂函数避免临时对象
5. 检查C++17的强制拷贝消除是否可用
6. 测试编译器在实际平台上的优化行为

总结：
返回值优化是C++编译器的一项重要优化技术，可以消除函数返回时产生的临时对象，从而提升性能。通过编写适合RVO的代码（如单一返回路径、返回匿名临时对象），我们可以协助编译器应用这一优化。

现代C++提供了多种工具来支持返回值优化，包括移动语义（作为NRVO不适用时的备选）、C++17的强制拷贝消除保证，以及自动类型推导等。理解编译器的优化能力和限制，编写编译器友好的代码，是优化返回值处理的关键。

在代码审查时，应关注函数的返回方式，确保它们适合RVO/NRVO优化。对于无法避免多个返回路径的复杂情况，可以考虑使用移动语义、输出参数或optional等替代方案。最终目标是减少不必要的拷贝和移动操作，提升代码效率，同时保持代码的清晰性和可维护性。