c++ - type_info 不考虑 cv 限定符 : is this right?

Question

这段代码打印 1 是正确的行为还是 g++4.5 的怪癖？

#include <iostream>
#include <typeinfo>
using namespace std;

int main(){
    struct A{};
    cout<<(typeid(A)==typeid(const A)&&typeid(A)==typeid(const volatile A)&&typeid(A)==typeid(volatile A));
}

我认为 cv 限定符的不同类型作为非常不同的类型受到威胁，即使较少的 cv 限定类型可以隐式转换为更多 cv 限定的类型。

Answer 1

typeid 根据 C++ 标准(摘自 ISO/IEC 14882:2003 的 §5.2.8)忽略 cv 限定符:

The top-level cv-qualifiers of the lvalue expression or the type-id that is the operand of typeid are always ignored. [Example:

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

—end example]

因此，您看到的结果是符合预期的。