返回类型的转发参考

Question

这两者有区别吗

struct S;
int& foo(S&);

auto&& bar1(S& s) {
    return foo(s);
}

decltype(auto) bar2(S& s) {
    return foo(s);
}

对于编译器？在这种情况下，我一直使用decltype(auto)，但似乎auto&& 可以解决问题。是巧合还是两者都一样？

Answer 1

对于您的特定情况，结果相同：bar1() 和 bar2() 的推导返回类型为 int&。

但是，请注意，auto&& 始终会导致引用，即，bar1() 始终会返回引用，无论 foo() 是按值返回还是按引用返回。另一方面，如果foo(s) 按值返回（这不是您的情况），则将bar2() 返回的类型声明为decltype(auto) 将导致bar2() 返回按值。

我猜你想完美转发foo(s)返回的对象。如果是这样，那实际上是decltype(auto) 的用例。想一想：如果foo() 是按值返回的，那么bar1() 的返回类型将被推导出为int&，即返回对临时对象的引用。