C++中声明函数返回值变量的最优方式探讨

先看常见的冗余写法：

std::vector<std::string> manufactureVector(int param1, const std::string& param2) {
    std::vector<std::string> returnValue;
    // 使用param1和param2执行计算以填充vector
    return returnValue;
}

这里返回类型在函数签名和局部变量声明处重复，修改时需同步改动，增加维护成本。

你提到的两种方案的局限性：

• typedef/using别名：若返回类型仅在此函数使用，额外添加别名声明反而冗余。
• auto返回值推导：C14起支持，但头文件声明与源文件定义分离的场景下无法使用（除非用C20模块）；且可读性差，需定位return语句才能确定类型。

以下是更优的现代C++方案：

方案1：函数体内推导返回类型别名（C++11及以上） #

在函数内部用decltype推导当前函数的返回类型，定义别名后使用，无需重复写完整类型：

std::vector<std::string> manufactureVector(int param1, const std::string& param2) {
    using ReturnType = decltype(manufactureVector(param1, param2));
    ReturnType returnValue;
    // 使用param1和param2执行计算以填充vector
    return returnValue;
}

优势：仅需在函数签名处写一次返回类型，修改时只需改动签名；别名仅在函数内部生效，不污染外部命名空间；无需额外依赖。

方案2：C++20模块+auto返回类型 #

C++20模块解决了auto返回类型在跨文件场景的局限性：

• 模块接口（头文件替代）：明确声明返回类型，保证可读性

export module mymodule;
#include <vector>
#include <string>

export auto manufactureVector(int, const std::string&) -> std::vector<std::string>;

• 模块实现文件：用auto推导返回类型，无需重复写类型

module;
#include <vector>
#include <string>
export module mymodule;

auto manufactureVector(int param1, const std::string& param2) {
    auto returnValue = std::vector<std::string>{};
    // 使用param1和param2执行计算以填充vector
    return returnValue;
}

优势：接口处清晰展示返回类型，实现中避免重复；模块还能解决传统头文件的其他问题（如重复包含）。

方案3：利用返回值优化（RVO）简化代码（C++11及以上） #

如果局部变量仅用于返回，可以直接在return语句中构造对象，完全避免局部变量的类型声明：

std::vector<std::string> manufactureVector(int param1, const std::string& param2) {
    // 直接构造并返回，编译器会触发RVO，避免拷贝
    return [](){
        std::vector<std::string> vec;
        // 使用param1和param2执行计算以填充vector
        return vec;
    }();
}

或者更简洁的写法（如果逻辑简单）：

std::vector<std::string> manufactureVector(int param1, const std::string& param2) {
    std::vector<std::string> vec;
    // 填充逻辑
    return vec;
}

注：C++17起强制要求编译器执行RVO，无需担心性能问题；这种写法虽然还是要写一次类型，但消除了变量声明处的重复。

遗憾的是，目前现代C++没有完全等效于GCC旧命名返回值语法的特性（自动声明返回类型的局部变量且无需显式return），但上述方案已经能很好地解决类型冗余问题。

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