c++11 decltype 返回引用类型

Question

我有点困惑，为什么 decltype 与逗号运算符在某些情况下会返回引用类型。

例如，在这段代码中：

int i = 101;
decltype(1, i) var = i;
var = 20;
printf("%d\n", i); // will print 20

这里，var 是 int& 而不是 int，但是如果我将第二行替换为：

decltype(i) var = i;

它将返回 int！

谁能解释一下？

Answer 1

decltype 是不带括号的 id-expression 的特例，用于给出实体的类型，没有引用限定[dcl.type.simple]：

4 - decltype(e) 表示的类型定义如下：
— 如果e 是无括号的id 表达式或无括号的类成员访问（5.2.5），则decltype(e) 是e 命名的实体的类型。 [...]
— 否则，如果e 是左值，则decltype(e) 是T&，其中T 是e 的类型； [...]

通过提供逗号表达式，您可以禁用这种特殊情况，如括号：

decltype(i)    // int
decltype((i))  // int&
decltype(1, i) // int&

(i) 和1, i 是左值表达式，所以它们的decltype 是一个引用类型。