C++中如何实现按需返回万能引用或值的通用函数接口

你不需要编写多份element重载或者针对具体类型的特化，核心问题是返回值类型推导关键字选择错误，直接使用decltype(auto)作为唯一element函数的返回值即可完美匹配不同traits的返回语义，无重载歧义、无悬垂引用风险。 #

问题根源 #

• 你编写的两个element模板函数签名完全一致，仅返回值不同，C++不支持仅靠返回值区分重载，因此必然出现编译歧义。
• 单独使用auto&&作为返回值时，永远会推导为引用类型：当底层get方法按值返回临时对象时，返回的引用会绑定到生命周期即将结束的临时对象，触发悬垂引用警告。
• 单独使用普通auto作为返回值时，会强制退化值类别，所有返回都会变为值传递，丢失traits需要透传引用的语义，产生不必要的拷贝。
• 你尝试编写的针对by_value_struct的特化无效：函数模板特化必须匹配基础模板的签名，基础模板返回值为auto&&时，特化版本返回auto属于签名不匹配，永远不会被编译器选中。

正确实现 #

decltype(auto)会完整保留return表达式的值类别进行返回类型推导：

• 若return表达式是左值引用，返回左值引用
• 若return表达式是右值引用，返回右值引用
• 若return表达式是纯右值（按值返回的临时对象），返回值类型
  完全透传底层get方法的返回语义，不需要额外分支判断。

修正后的完整代码如下：

#include <string>
#include <utility>

template <typename T> struct some_traits;

template <typename T> using traits = some_traits<std::remove_cvref_t<T>>;

struct reference_struct {
    std::string s;
};

template <> struct some_traits<reference_struct> {
    template <typename T>
    static auto&& get(T&& t) {
        return std::forward<T>(t).s;
    }
};

struct by_value_struct {
    std::string s;
};

template <> struct some_traits<by_value_struct> {
    template <typename T>
    static auto get(T&& t) {
        return t.s;
    }
};

// 唯一的对外接口，用decltype(auto)自动适配返回值类别
template <typename T>
decltype(auto) element(T&& t) {
    return traits<T>::template get(std::forward<T>(t));
}

int main() {
    reference_struct r;
    by_value_struct b;
    auto&& reference_result = element(r); // 正常绑定到返回的左值引用，无拷贝
    auto by_value_result = element(b); // 正常接收按值返回的对象，无悬垂引用
}

调用说明 #

外部调用方完全不需要提前知晓返回值类别：

• 接收返回值时用auto可以适配所有场景，按值返回的对象会被正常移动/拷贝，引用返回的内容会被拷贝到本地变量
• 如果需要避免拷贝绑定引用，直接用auto&&接收即可，编译器会自动匹配值类别，不会产生悬垂问题
• 后续添加的任意类型traits特化，只要get方法实现正确，这个element接口都可以自动适配，不需要修改接口代码。

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