为什么引用模板参数不推导出 const？

Question

我编写了以下代码，对于指针，它显示了正确的参数类型，但是当我使用引用时，它只显示 int 而没有 const。为什么？

template <typename T>
void increment(T& x)
{
    std::cout << "Argument type is : " << typeid(x).name() << std::endl;
    //x = x + 1;
}

template <typename T>
void increment(T* x)
{
    std::cout << "Argument type is : " << typeid(x).name() << std::endl;
    //x = x + 1;
}  

int main()
{
    const int x = 0;
    const int y = x;
    increment(x);
    increment(&y);
}

输出：

Argument type is : int 
Argument type is : int const *

请您解释一下为什么const 没有在参考中显示？

Answer 1

C++11 §5.2.8/4

” ... 如果 type-id 的类型是对可能有 cv 限定类型的引用，则 @ 的结果987654321@ 表达式指的是一个 std::type_info 对象，它表示 cv 的非限定引用类型。 …

C++11 §5.2.8/5

” 泛左值表达式的顶级 cv-限定符或作为 typeid 的操作数的 type-id 是总是被忽略。

本质上，任何顶级 const 都会被删除，就像正式函数参数类型 wrt 一样。生成的函数类型以及引用类型 T& 中的 T 的 cv 限定符被删除。

后者可能是为了不区分 T& 和 T - 它们产生相同的结果。

Answer 2

来自typeid reference：

如果 type 是引用类型，则结果引用代表被引用类型的 std::type_info 对象。

和

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

（更准确地说是顶级const）T当然被推导出为const int。

---

^{标准段落为[expr.typeid]/4和[expr.typeid]/5}