对于自动类型推导的参数，解密型(Auto)应该推导什么？

Question

我认为这两个函数应该具有相同的返回类型：

template<class T>
decltype(auto) f(T&& a){return a;}
decltype(auto) g(auto&& a){return a;}

然而，使用gcc7，这些函数可以验证：

int i;
static_assert(std::is_same< decltype(f(i)), int& >::value);
static_assert(std::is_same< decltype(g(i)), int  >::value);

为什么g和f的返回类型不同？

Answer 1

定义

decltype(auto) g(auto&& a){return a;}

不是标准C++。它可能是即将推出的概念Lite特性的一部分。g++将语法作为扩展提供(即使没有-fconcepts__)。

实际上，用-Wpedantic编译会产生一个警告：

warning: ISO C++ forbids use of 'auto' in parameter declaration [-Wpedantic]
 decltype(auto) g(auto&& a){return a;}
                  ^~~~

由于行为还没有标准化，所以还不清楚您的static_assert是否应该是真实的--直觉上我同意decltype(g(i))应该是int&。这可能只是g++如何实现非成员函数auto参数的“缺陷”。

与您试图做的最接近标准的事情是lambda表达式

auto z = [](auto&& a) -> decltype(auto) { return a; };

在z的情况下，static_assert按预期工作：

static_assert(std::is_same< decltype(z(i)), int&  >::value);