C++ : typeid ignored low level const reference but not pointers

Question

考虑以下代码:

int main() {
    const int i = 42;    
    auto *p = &i; // p is const int *. const is low level const
    auto &q = i; // q is const int &. reference to const is always low level
    cout << "p = " << typeid(p).name() << endl;
    cout << "q = " << typeid(q).name() << endl;
    return 0;
}

这是输出:

p = pki
q = i

为什么 typeid(q) 不显示字符 k 表明它是一个 const 引用？ q 是对 const 的引用，它始终是低级别的。

Answer 1

引用情况下的 const 并不是真正的低级(与指针情况相反)。

typeid 应用于表达式q 的类型。根据以下一般规则，此表达式立即失去其引用类型

5 Expressions

5 If an expression initially has the type “reference to T” (8.3.2, 8.5.3), the type is adjusted to T prior to any further analysis. The expression designates the object or function denoted by the reference, and the expression is an lvalue or an xvalue, depending on the expression.

C++ 中的表达式从来没有可见的“引用”类型，这也意味着 typeid 不能“看到”引用。在这种情况下，它总是看到非引用类型的左值或 xvalues。在您的情况下， typeid 将 const int 类型的左值表达式视为其参数。

其余的来自 typeid 行为的定义

5.2.8 Type identification

5 If the type of the expression or type-id is a cv-qualified type, the result of the typeid expression refers to a std::type_info object representing the cv-unqualified type.

即typeid 简单地忽略顶级 const 限定。

在指针情况下，您所指的 const 限定不是顶级限定。在typeid下不会丢失。

另请注意，typeid 的定义包含以下规则

4 When typeid is applied to a type-id, the result refers to a std::type_info object representing the type of the type-id. If the type of the type-id is a reference to a possibly cv-qualified type, the result of the typeid expression refers to a std::type_info object representing the cv-unqualified referenced type.

其目的是使typeid应用于类型名的行为与上述typeid应用于表达式的行为一致。 IE。应用于 typename 的 typed 会忽略引用，还会忽略在引用删除后成为顶级的 cv 限定。

一些额外的例子

typeid(const int) == typeid(int);     // <- true
typeid(const int &) == typeid(int);   // <- true
typeid(int *) == typeid(int *const);  // <- true
typeid(int *) == typeid(const int *); // <- false