为什么 'typeid(x) == typeid(y)' 评估为真，其中 'x' 和 'y' 分别是 T 和 T& 类型的 id 表达式？

Question

我正在阅读 C++11 标准草案，关于 [expr.typeid] 的部分提到以下内容（强调我的）：

[...]

当 typeid 应用于多态类类型的 glvalue 以外的表达式时，结果是指 到表示表达式的静态类型的 std::type_info 对象。左值到右值（4.1），数组到指针 (4.2) 和函数到指针 (4.3) 的转换不适用于表达式。如果类型 表达式是一个类类型，这个类应该是完全定义的。表达式是未计算的操作数 （第 5 条）。

当 typeid 应用于 type-id 时，结果引用一个 std::type_info 对象，表示其类型 类型 ID。 如果 type-id 的类型是对可能是 cv 限定类型的引用，则 typeid 的结果 表达式引用代表 cv 非限定引用类型的 std::type_info 对象。 如果 type-id 是类类型或者类类型的引用，类应该是完全定义的。

在同一部分的 p5 中，它继续给出以下示例：

class D { /* ... */ };
D d1;
const D d2;

typeid(d1) == typeid(d2); // yields true
typeid(D)  == typeid(const D); // yields true
typeid(D)  == typeid(d2); // yields true
typeid(D)  == typeid(const D&); // yields true   -- (1)

给定以下代码示例：

int main()
{
    int foo = 42;
    int &bar = foo;
    bool comp1 = (typeid(int) == typeid(int&));    // Yields true, same as (1)   -- (2) 
    bool comp2 = (typeid(foo) == typeid(bar));     // Yields true, Why?          -- (3)
}

我的理解是 [expr.typeid]p4 只讨论 typeid(type-id) 和 bar 中的形式typeid(bar) 是 id-expression 而不是 type-id。为什么上面的 (3) 评估为true？标准中的哪些文本涵盖了这一点？我错过了什么？

Answer 1

答案在[expr]

5 如果一个表达式最初的类型是“对 T 的引用”([dcl.ref], [dcl.init.ref])，类型被调整为 T 之前的任何进一步 分析。表达式指定由表示的对象或函数 引用，并且表达式是左值或 xvalue，具体取决于 关于表达式。

所以当我们进入 [expr.typeid]

3 当 typeid 应用于除 a 的 glvalue 之外的表达式时 多态类类型，结果引用一个 std::type_info 对象 表示表达式的静态类型。左值到右值 ([conv.lval])、数组到指针 ([conv.array]) 和 函数到指针 ([conv.func]) 的转换不适用于 表达。如果表达式的类型是类类型，则该类 应完全定义。表达式是未计算的操作数 （子句 [expr]）。

当typeid 检查时，有问题的 id 表达式已经是引用类型。

Answer 2

C++ 的大部分表达“系统”都是这样工作的。您只观察到贯穿整个语言的规则的一个示例：在表达式的上下文中，引用有时并不是真正的“事物”；它们只是以与原始声明名称相同的方式引用现有对象。它们旨在在某些层上“透明”，这在某些内部工作中很明显。

在某些地方可能看起来违反直觉；例如，虽然std::move(expr) 返回一个T&&，但结果表达式是一个右值T（不是一个T&&）……事实上，这个表达式是一个右值，它允许它当您稍后将其传递给某个函数时绑定到右值引用参数。 （有一个常见的误解是匹配类型 T&& 使这项工作有效。）

typeid 可以说是另一个反直觉的例子。您缺少的特定规则是[expr.type]，负责在任何其他处理之前在表达式中“衰减”这些引用类型。此时，表达式的值类别具有重要意义，而这个值类别至少部分地由原始的、未调整的类型决定。这就是表达式的类型和值类别随着数据在程序中移动而演变的方式。

（const 的后续剥离是您已经引用的 the rules for typeid 的一部分。）

（typeid 传递类型 are also distinct 时的规则）。

通常，我们不必担心这一点。不幸的是，有几个地方可以观察到它，感觉有点像抽象泄漏。你找到了其中一个地方。不过，这些规则确实让一切最终都走到了一起。