More Effective C++ 条款20：协助完成返回值优化（Facilitate the Return Value Optimization）
核心思想 ：返回值优化（RVO）是编译器消除函数返回时临时对象的一种重要优化技术。通过编写适合RVO的代码，我们可以协助编译器应用这一优化，避免不必要的拷贝和移动操作，从而提升程序性能。
🚀 1. 问题本质分析
1.1 函数返回值的开销：
- 传统方式：函数返回对象时，可能涉及临时对象的创建、拷贝或移动
- 优化目标：避免这些额外的操作，直接在调用处构造返回值
1.2 返回值优化的原理：
cpp
// ❌ 可能产生临时对象的返回方式
BigObject createObject() {
BigObject obj;
// ... 操作obj
return obj; // 传统上可能产生拷贝/移动
}
// ✅ 编译器优化后（RVO）
void createObject(BigObject* result) {
// 直接在result指向的地址构造对象
new (result) BigObject();
// ... 操作*result
}
// 调用处
BigObject obj = createObject(); // 实际上可能被优化为：
// BigObject obj; // 在obj的地址上直接构造
// createObject(&obj);📦 2. 问题深度解析
2.1 RVO和NRVO的类型：
cpp
// RVO (Return Value Optimization) - 返回无名临时对象
BigObject createRVO() {
return BigObject(); // 直接返回临时对象，容易优化
}
// NRVO (Named Return Value Optimization) - 返回具名对象
BigObject createNRVO() {
BigObject obj;
// ... 操作obj
return obj; // 返回具名对象，较复杂但现代编译器支持
}
// 无法优化的情况
BigObject createNoOptimization(bool flag) {
BigObject obj1, obj2;
if (flag) {
return obj1; // 多个返回路径，可能无法优化
} else {
return obj2; // 多个返回路径，可能无法优化
}
}2.2 现代C++中的返回值处理：
cpp
// 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的因素：
cpp
// 因素1：多个返回路径
BigObject createMultiplePaths(bool flag) {
if (flag) {
BigObject obj1;
return obj1; // 一个返回路径
} else {
BigObject obj2;
return obj2; // 另一个返回路径，可能阻碍NRVO
}
}
// 因素2：返回函数参数
BigObject processAndReturn(BigObject input) {
// 处理input
return input; // 返回参数，可能无法优化
}
// 因素3：返回成员变量或全局变量
BigObject globalObj;
BigObject returnGlobal() {
return globalObj; // 返回非局部变量，无法优化
}
// 因素4：返回表达式的结果
BigObject returnExpression() {
BigObject obj1, obj2;
return condition ? obj1 : obj2; // 条件表达式，可能无法优化
}⚖️ 3. 解决方案与最佳实践
3.1 编写适合RVO的代码：
cpp
// ✅ 单一返回路径
BigObject createSingleReturn() {
BigObject result; // 具名对象
// ... 所有操作都作用于result
return result; // 单一返回，便于NRVO
}
// ✅ 返回匿名临时对象
BigObject createAnonymous() {
return BigObject(/* 参数 */); // 直接返回临时对象，便于RVO
}
// ✅ 使用工厂函数模式
class Factory {
public:
static BigObject create() {
return BigObject(); // 通常可优化
}
};
// ✅ 避免返回函数参数
BigObject processAndReturn(const BigObject& input) {
BigObject result = input; // 显式拷贝（如果需要）
// 处理result
return result; // 可能适用NRVO
}
// ✅ 使用移动语义作为备选
BigObject createWithMove() {
BigObject obj;
// ... 操作obj
return std::move(obj); // 如果NRVO不适用，使用移动语义
// 注意：在某些情况下，显式move可能阻止RVO
}3.2 理解编译器行为：
cpp
// 测试编译器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++中的最佳实践：
cpp
// ✅ 依赖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
#endif
Optimized createWithHint() OPTIMIZE_RVO {
return Optimized();
}3.4 处理无法优化的情况：
cpp
// 当无法避免多个返回路径时
BigObject createMultiplePathsOptimized(bool flag) {
if (flag) {
BigObject obj;
// ... 设置obj
return 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; // 无对象返回
}
}💡 关键实践原则
-
优先编写适合RVO的代码
遵循简单返回模式：
cpp// 好：单一返回路径，返回局部对象 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; } } -
理解并测试编译器优化能力
通过实际测试了解编译器的行为：
cppvoid testCompilerOptimizations() { // 测试不同编译器和设置下的RVO/NRVO auto obj1 = createRVO(); // 应该无拷贝 auto obj2 = createNRVO(); // 应该无拷贝 auto obj3 = createComplex(); // 测试复杂情况 } -
使用现代C++特性作为保障
利用C++11/14/17的新特性：
cpp// 使用移动语义作为NRVO的备选 BigObject createWithFallback() { BigObject obj; return obj; // 首先尝试NRVO，否则使用移动语义 } // 依赖C++17的强制拷贝消除 BigObject createCpp17() { return BigObject(); // 保证无临时对象 } // 使用noexcept移动构造函数 class NoExceptMove { public: NoExceptMove(NoExceptMove&&) noexcept = default; };
现代C++中的RVO工具：
cpp// 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_; };
代码审查要点：
- 检查函数是否以适合RVO/NRVO的方式返回局部对象
- 确认移动构造函数是否正确实现（noexcept，正确交换资源）
- 检查是否存在多个返回路径阻碍优化
- 确认是否可以使用emplace操作或工厂函数避免临时对象
- 检查C++17的强制拷贝消除是否可用
- 测试编译器在实际平台上的优化行为
总结：
返回值优化是C++编译器的一项重要优化技术，可以消除函数返回时产生的临时对象，从而提升性能。通过编写适合RVO的代码（如单一返回路径、返回匿名临时对象），我们可以协助编译器应用这一优化。
现代C++提供了多种工具来支持返回值优化，包括移动语义（作为NRVO不适用时的备选）、C++17的强制拷贝消除保证，以及自动类型推导等。理解编译器的优化能力和限制，编写编译器友好的代码，是优化返回值处理的关键。
在代码审查时，应关注函数的返回方式，确保它们适合RVO/NRVO优化。对于无法避免多个返回路径的复杂情况，可以考虑使用移动语义、输出参数或optional等替代方案。最终目标是减少不必要的拷贝和移动操作，提升代码效率，同时保持代码的清晰性和可维护性。