相同的 typeid 名称但不是 std::is_same

Question

使用 C++ (gcc 4.8.3) 我有 2 种类型（T1 和 T2），它们具有 typeid(T1).name() 和 typeid(T2).name() 相同的奇怪属性，但是 std::is_same<T1, T2>::value 是 false。

怎么可能？我如何进一步调查以确定原因可能是什么？

Answer 1

忽略多态性，typeid() 为您提供了一个表示表达式静态类型的对象。但是当涉及到表达式类型时，有些元素会被忽略。来自 [expr]：

如果表达式最初的类型为“引用T”（8.3.2, 8.5.3），则该类型在之前调整为T 任何进一步的分析。 [...] 如果纯右值最初的类型为“cv T”，其中 T 是 cv 非限定的非类、非数组类型, 的类型 在进行任何进一步分析之前，将表达式调整为 T。

因此，任何仅在顶级 cv 限定或引用方面不同的类型都将产生相同的 typeid。例如，int、const int、int&volatile const int&& 等类型都给你相同的typeid()。

基本上，您最初的思考过程是：

typeid(T) == typeid(U) <==> std::is_same<T, U>

但正确的等价是：

typeid(T) == typeid(U) <==> std::is_same<expr_type<T>, expr_type<U>>

地点：

template <class T>
using expr_type = std::remove_cv_t<std::remove_reference_t<T>>;

Answer 2

typeid 忽略所有 cv 限定符：

在所有情况下，typeid 都会忽略 cv 限定符（即 typeid(T)==typeid(const T)）

(ref)

这意味着typeid 会忽略所有引用& 和const（仅举几例）。

int i = 0;
const int&& j = 1;

if (typeid(i).hash_code() == typeid(j).hash_code()) //returns true
    std::cout << "typeid(int) == typeid(const int&&)";

请注意，要比较 2 个typeids，您必须使用typeid(T).hash_code() 或std::type_index(typeid(T))，因为只有这两个函数才能保证两个相同的typeids 相同。例如，比较参考没有这种保证。

虽然那些 type_info 对象的 std::type_info::hash_code 会是相同的，但不能保证相同类型的 typeid 表达式的所有计算都会引用相同的 std::type_info 实例他们的 std::type_index。

(ref)

---

正如@Yakk 所提到的，您可以使用std::remove_reference 和std::remove_cv 来获得您想要的行为。

std::remove_reference 删除 T 的所有引用，std::remove_cv 删除所有 const 和 volatile 限定符。您应该在将T 传递给std::is_same 之前将它们传递给这些函数，以便std::is_same 仅比较T1 和T2 的基础类型（如果有）。