何时在函数返回类型中使用auto&&而非decltype(auto)或->decltype(return-expr)

先定义三个重载函数，分别返回prvalue、lvalue、xvalue：

int   f();
int&  f(int);
int&& f(int, int);

1. 使用decltype(auto)的返回行为 #

通过返回decltype(auto)的函数调用上述重载，会精确复刻原函数返回的类型和值类别：

decltype(auto) returnsDecltypeOf(auto... x) {
    return f(x...);
}

对应的类型验证符合预期：

static_assert(std::is_same_v<decltype(returnsDecltypeOf()),    int>);
static_assert(std::is_same_v<decltype(returnsDecltypeOf(1)),   int&>);
static_assert(std::is_same_v<decltype(returnsDecltypeOf(1,1)), int&&>);

2. 使用auto&&的返回行为 #

若将返回类型改为auto&&（通用引用），返回类型会发生变化：

auto&& returnsAutoRefRef(auto... x) {
    return f(x...);
}

对应的类型推导结果：

static_assert(std::is_same_v<decltype(returnsAutoRefRef()),    int&&>);
static_assert(std::is_same_v<decltype(returnsAutoRefRef(1)),   int&>);
static_assert(std::is_same_v<decltype(returnsAutoRefRef(1,1)), int&&>);

这里的核心问题是：当调用returnsAutoRefRef()时，返回的int&&绑定的是f()返回的临时int对象，临时对象在函数调用结束后立即销毁，会导致悬垂引用，触发未定义行为。

问题解答 #

何时需要返回auto&&？为什么不能仅使用decltype(auto)？ #

• auto&&的适用场景：
  • 局部变量声明中：比如auto&& tmp = f(x);，通用引用可以自动适配原表达式的值类别，既避免拷贝临时对象，又能正确引用左值，是日常代码中常见的用法。
  • 函数返回值的特殊场景：当你明确知道返回的引用所指向的对象生命周期会超过函数调用（比如返回参数的引用、全局/静态对象的引用），且需要统一返回引用类型时，可以使用auto&&——但这种场景非常有限，且风险极高，必须严格确保对象生命周期安全。
• 不能仅依赖decltype(auto)的原因：
  • decltype(auto)的核心是精确复刻返回表达式的类型和值类别，但有些场景下需要主动修改返回值的引用属性。比如想强制将返回值转为引用类型（即使原表达式是prvalue），或者在模板逻辑中需要明确表达“通用引用转发”的意图时，auto&&的语义更直观。
  • 此外，auto&&在局部变量声明中的写法比decltype(auto)更简洁，更符合通用引用的惯用表达。

decltype(auto)与auto+->decltype(return-expr)的SFINAE区别影响有多大？ #

二者的核心区别确实在于SFINAE的支持：

• decltype(auto)作为返回类型时，函数模板的重载决议不会因返回表达式的合法性触发SFINAE。如果返回表达式不合法，会直接导致编译错误，而非被编译器从候选重载中排除。
• auto foo(...) -> decltype(return-expr)会将返回表达式的合法性纳入SFINAE检查：如果return-expr无法编译，该函数模板会被SFINAE过滤，不参与重载决议。

这种区别的影响程度取决于场景：

• 在简单的单个包装函数场景中，SFINAE的支持影响不大，两种写法都能实现完美转发返回值的效果。
• 在复杂模板重载场景中，SFINAE的支持至关重要。比如编写多个通用包装函数时，需要编译器根据参数和返回表达式的合法性自动选择正确的重载，->decltype(return-expr)能避免编译失败，确保重载决议的正确性，这在泛型编程、标准库实现等场景中是不可或缺的特性。

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