auto&& 和 decltype(auto) 都是 C++11 中引入的新特性,用于模板函数的返回类型推导。它们的共同点是可以用于在调用时推导函数返回类型,并且可以保留对象的引用/值特性。但是,它们的具体用法和含义略有不同。
auto&& 表示对变量进行引用折叠,推导出的返回类型根据变量类型的值特性来确定,如果变量是左值,则推导出的返回类型是左值引用类型,如果是右值,则推导出的返回类型是右值引用类型。
decltype(auto) 则通常用于获取表达式的引用/值特性,其中 decltype 类型推导的原理与 auto 类型推导相似,但是 decltype(auto) 可以明确指示获取表达式的类型。
下面是一个使用 auto&& 和 decltype(auto) 的示例:
#include
using namespace std;
int i = 0;
int& foo() { return i; }
int&& bar() { return move(i); }
template
auto auto_template(T&& x) -> decltype(x) {
return x;
}
template
decltype(auto) decltype_template(T&& x) {
return forward(x);
}
int main() {
auto&& a1 = foo();
decltype(auto) a2 = foo();
auto&& a3 = bar();
decltype(auto) a4 = bar();
a1 = 1;
a2 = 2;
//a3 = 3; // compile error
a4 = 4;
int x = 5;
auto&& a5 = x;
decltype(auto) a6 = x;
a5 = 6;
a6 = 7;
cout << i << ", " << a1 << ", " << a2 << ", " << a3 << ", " << a4 << ", " << a5 << ", " << a6 << endl; // 7, 1, 2