非模板C++函数编译期返回类型标准标识符的使用需求

嘿，这个需求真的很接地气——谁不想写一次函数体，就能无缝复制到不同返回类型的函数里呢？在C++里完全可以实现，我给你分享几个实用的方案：

方案1：用decltype(auto)自动匹配返回类型（C++14+） #

这是最简单直接的方法，不需要任何额外模板或宏，利用C++14引入的decltype(auto)特性，让变量自动推导为当前函数的返回类型（只要返回表达式的类型和函数返回类型一致即可）。

示例代码： #

// 返回int的函数
int add_int(int a, int b) {
    // 自动推导为int类型
    decltype(auto) result = a + b;
    // 这里可以加任何通用逻辑，比如日志、参数校验
    return result;
}

// 直接复制函数体，只修改函数签名
double add_double(double a, double b) {
    // 自动推导为double类型，完全不用改这行代码
    decltype(auto) result = a + b;
    // 通用逻辑原封不动保留
    return result;
}

// 即使返回类型是引用也能适配
int& get_reference(int& val) {
    decltype(auto) result = val; // 推导为int&
    return result;
}

优点： #

• 零额外代码，简洁直观，符合现代C++风格。
• 自动适配值类型、引用类型，甚至const修饰的返回类型。
• 函数体复制时，只需修改函数的返回类型、参数类型和函数名，内部逻辑完全不用动。

注意事项： #

如果函数返回类型和返回表达式类型不一致（比如需要隐式/显式转换），只要确保返回表达式的最终类型和函数返回类型匹配即可，比如：

long long add_long(int a, int b) {
    // 显式转换为long long，和函数返回类型一致
    decltype(auto) result = static_cast<long long>(a + b);
    return result;
}

方案2：宏封装函数定义（C++11+） #

如果需要直接绑定函数的返回类型（不受返回表达式影响），可以用宏来封装函数定义，把返回类型作为宏参数，在函数体内用别名指代。

示例代码： #

// 定义宏，封装函数声明和返回类型别名
#define DEFINE_GENERIC_FUNC(RET_TYPE, FUNC_NAME, ...) \
RET_TYPE FUNC_NAME(__VA_ARGS__) { \
    using ReturnType = RET_TYPE; \

// 用宏定义第一个函数
DEFINE_GENERIC_FUNC(int, add_int, int a, int b)
    ReturnType result = a + b;
    // 通用逻辑
    return result;
}

// 复制函数体，只修改宏的参数
DEFINE_GENERIC_FUNC(double, add_double, double a, double b)
    ReturnType result = a + b;
    // 通用逻辑原封不动
    return result;
}

优点： #

• 直接绑定函数的返回类型，完全不受返回表达式的影响。
• 函数体内部的ReturnType别名始终准确对应函数的返回类型。

缺点： #

• 需要用宏定义函数，可能不符合某些团队的编码规范。

方案3：模板辅助获取返回类型（C++11+） #

如果你不想用宏，也可以借助模板来获取函数的返回类型，但需要注意这个方法需要显式引用函数名，复制时要修改函数名，实用性稍弱：

#include <type_traits>

// 模板结构体，用于提取函数指针的返回类型
template<typename FuncPtr>
struct FuncReturnType;

template<typename Ret, typename... Args>
struct FuncReturnType<Ret(*)(Args...)> {
    using type = Ret;
};

// 第一个函数
int add_int(int a, int b) {
    using ReturnType = typename FuncReturnType<decltype(&add_int)>::type;
    ReturnType result = a + b;
    return result;
}

// 复制时需要修改函数名
double add_double(double a, double b) {
    using ReturnType = typename FuncReturnType<decltype(&add_double)>::type;
    ReturnType result = a + b;
    return result;
}

总结 #

如果你的项目支持C++14及以上，**方案1的decltype(auto)**是最优选择，简洁、灵活且无额外代码负担。如果需要严格绑定函数返回类型不受表达式影响，再考虑方案2的宏封装。

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