`decltype` 是给我一个对象的静态类型，还是它的运行时类型？

Question

[C++11: 7.1.6.2/4]:decltype(e)表示的类型定义如下：

• 如果e 是未加括号的id-expression 或未加括号的类成员访问（5.2.5），则decltype(e) 是e 命名的实体的类型。如果不存在这样的实体，或者如果e 命名了一组重载函数，则程序格式错误；
• 否则，如果e 是xvalue，则decltype(e) 是T&&，其中T 是e 的类型；
• 否则，如果e是左值，decltype(e)就是T&，其中T是e的类型；
• 否则，decltype(e) 是 e 的类型。

decltype 说明符的操作数是未计算的操作数（第 5 条）。

第二、第三和第四种情况明确指的是表达式的类型，不包括任何多态性考虑。

但是，我不完全确定“entity”在这里是什么意思，first 案例似乎是在命名所引用的 object通过表达式e。 “实体的类型”是指它的运行时类型还是它的静态类型，对我来说是模棱两可的。

Answer 1

由于第一种情况的限制，实际上不可能遇到这个问题。

考虑：

struct A     {};
struct B : A {};

int main()
{
   A* x = new B();
   // What is `decltype(*x)`?
}

* 的使用使我们陷入第三种情况。

为了参考？

struct A     {};
struct B : A {};

int main()
{
   A& x = *(new B());
   // What is `decltype(x)`?
}

x 是一个类型为A& 的引用，它是this“实体”的类型结果。

使用第一种情况的唯一方法是直接命名一个对象，我们不能以隐藏运行时类型的方式这样做：

struct A     {};
struct B : A { void foo() {} };

int main()
{
   A x = B();     // well, you've sliced it now, innit?

   decltype(x) y;
   y.foo();       // error: ‘struct A’ has no member named ‘foo’
}

这就是为什么，根据these answers，使用的对象总是静态类型。

Answer 2

您不必查看各个点：结果 decltype 是编译器已知的类型， 很多不包括任何动态类型。最后一行你 引用再明确不过了：说明符没有被评估， 这也排除了任何动态类型。

Answer 3

这基本上是一个“实体”在这里意味着什么的问题（可能的含义在第 3 条中定义）。考虑

struct A {
  int a;
};

int main() {
  A a = {};
  const A b = {};

  const A *aptr = (rand() % 42) ? &a : &b;
  decltype(aptr->a) x = 0;
  decltype((aptr->a)) y = 0;
}

x 的类型是 const int 还是 int？如果您将entity 表示“成员”，则它是int，因为成员A::a 的类型为int。如果您采用实体类型“对象”，则类型为const int 或int，具体取决于rand() 的结果。对象、它们的存在和属性（包括它们的一般类型）是一个运行时问题。

我说这不是真正的模棱两可。因为每个人都知道是什么意思，并且因为标准使用短语“由 e 命名”而不是“由 e 引用”或“由 e 表示”，表明它只是被查阅的名称查找结果。

注意y的类型总是const int&，因为表达式aptr->a的类型是const int，它是一个左值。