Почему аргумент шаблона ссылки не выводит 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

От typeid reference:

Если тип является ссылочным типом, результат относится к std::type_info объект, представляющий ссылочный тип.

и

Во всех случаях, CV-классификаторы игнорируются TypeId (то есть, typeid(T)==typeid(const T))

(точнее верхнего уровня const) T, конечно, выведенной в const int.

---

^{Стандартные параграфы [expr.typeid]/4 и [expr.typeid]/5}

Answer 2

C++ 11 §5.2.8/4

” & hellip; Если тип типа ID- является ссылкой к возможному сорта -qualified типа, то результат выражения typeid относится к std::type_info объекта, представляющего резюме -unqualified, на который ссылается тип. & Hellip;

C++ 11 §5.2.8/5

” верхнего уровня резюме -qualifiers по glvalue экспрессии или типа ID- то есть операнд typeid всегда игнорируются.

По существу, любой верхний уровень const отбрасывается, как и формальные типы аргументов аргументов wrt. результирующий тип функции, а также cv квалификация T в ссылочном типе T&.

Последнее возможно, чтобы не проводить различия между T& и только T – они дают тот же результат.