C++函数返回值是函数执行完成后传递给调用者的结果，合理选择返回值类型、明确返回值含义并遵循最佳实践，是写出高质量C++代码的基础。不同的返回值类型对应不同的使用场景，错误的返回值设计可能引发空指针访问、资源泄漏或者不必要的性能损耗。
C++函数返回值常见类型及含义
基本数据类型返回值
基本数据类型包括int、double、bool、char等内置类型，这类返回值适合返回简单的计算结果或者状态标识。返回时会将结果拷贝到调用者的接收变量中，对于小尺寸的基本类型，拷贝开销可以忽略不计。
// 返回基本类型的示例
int add(int a, int b) {
return a + b; // 返回int类型计算结果
}
bool is_positive(int num) {
return num > 0; // 返回bool类型状态标识
}指针类型返回值
指针类型返回值通常用于返回动态分配的内存地址、数组首地址或者对象的指针。使用指针返回值时需要注意避免返回局部变量的指针，因为局部变量在函数结束后会被销毁，指向它的指针会变成野指针。如果返回动态分配的内存，需要明确内存的释放责任，避免内存泄漏。
// 返回指针类型的示例
int* create_array(int size) {
int* arr = new int[size]; // 动态分配数组
for (int i = 0; i < size; i++) {
arr[i] = i;
}
return arr; // 返回数组首地址，调用者需要负责delete[]
}引用类型返回值
引用类型返回值相当于返回变量的别名，不会触发拷贝操作，适合返回大型对象或者需要修改返回目标的场景。需要注意不能返回局部变量的引用，同时如果返回的是const引用，调用者无法修改返回的目标。
// 返回引用类型的示例
int& get_max(int& a, int& b) {
return a > b ? a : b; // 返回较大值的引用，可直接修改
}
const int& get_const_ref() {
static int val = 10; // 静态变量生命周期长，可返回引用
return val;
}自定义类型返回值
自定义类型包括结构体、类对象等，返回时会触发对象的拷贝构造。在现代C++中，编译器会默认开启返回值优化（RVO/NRVO），减少不必要的拷贝开销。如果自定义类型包含动态资源，需要正确实现拷贝构造、移动构造等函数，确保返回值传递时的资源安全。
#include <string>
class User {
public:
std::string name;
int age;
User(std::string n, int a) : name(n), age(a) {}
};
// 返回自定义类型对象
User create_user() {
return User("张三", 20); // 编译器会优化拷贝，不会额外构造临时对象
}函数返回值的核心概念
返回值语义
返回值语义分为值语义和引用语义。值语义的返回值会拷贝一份独立的数据，修改返回值不会影响原始数据；引用语义的返回值指向原始数据，修改返回值会同步修改原始数据。选择语义时需要明确函数的设计意图，比如获取计算结果适合用值语义，获取可修改的内部状态适合用引用语义。
返回值优化（RVO/NRVO）
返回值优化是编译器的优化手段，当函数返回临时对象时，编译器会直接在调用者的目标对象上构造返回的对象，避免额外的拷贝和析构开销。NRVO是具名返回值优化，针对返回具名局部对象的场景。在C++17之后，返回值优化成为标准要求的特性，开发者不需要为了优化而刻意使用指针或者引用返回。
C++函数返回值最佳实践
- 优先使用值返回基本类型和小型自定义类型，依赖编译器的返回值优化减少开销，避免不必要的指针和引用使用。
- 返回指针时明确内存管理责任，如果是动态分配的内存，建议在函数注释中说明需要调用者释放，或者使用智能指针返回。
- 绝对不要返回局部变量的指针或引用，局部变量生命周期随函数结束而结束，返回后会导致未定义行为。
- 如果函数需要返回多个值，优先使用结构体或者std::tuple封装返回，比使用输出参数更清晰易读。
- 返回引用时如果需要限制调用者修改，添加const修饰，避免意外的修改操作。
- 对于可能返回空指针的场景，优先使用std::optional或者std::expected封装返回值，比返回nullptr更明确错误含义。
常见问题示例
下面是错误的返回值使用示例，会导致未定义行为：
// 错误示例：返回局部变量的引用
int& wrong_return() {
int local_val = 5;
return local_val; // 函数结束后local_val被销毁，引用无效
}
// 错误示例：返回局部变量的指针
int* wrong_return_ptr() {
int local_val = 10;
return &local_val; // 指针指向已销毁的变量，成为野指针
}正确的修改方式是使用静态变量或者动态分配，或者改为值返回：
// 正确修改：改为值返回
int correct_return() {
int local_val = 5;
return local_val; // 值返回会拷贝结果，安全
}| 返回值类型 | 适用场景 | 注意事项 |
|---|---|---|
| 基本类型 | 简单计算结果、状态标识 | 小尺寸类型拷贝开销低，可直接返回 |
| 指针 | 返回动态内存、数组、对象地址 | 避免返回局部变量指针，明确内存释放责任 |
| 引用 | 返回大型对象、可修改的内部状态 | 不返回局部变量引用，按需添加const修饰 |
| 自定义类型 | 返回复杂结构数据 | 依赖返回值优化，正确实现构造/析构函数 |
遵循以上返回值的设计原则和最佳实践，可以有效减少C++函数返回值相关的错误，同时提升代码的性能和可读性。