std :: add_const, почему реализация работает для справки?

Question

В cppreference add_const сказано, что мы можем реализовать его следующим образом:

template< class T> struct add_const { typedef const T type; };

Когда я пытаюсь ссылочный тип, например std::add_const<int&> ，, это int&.

У меня вопрос, почему он может работать без указания c версии для справки, поскольку int& const недопустимо？

Answer 1

В [dcl.ref] p1 стандарта C ++ 11 вы можете найти:

Cv-квалифицированные ссылки некорректны, за исключением случаев, когда cv-квалификаторы вводятся через использование typedef (7.1.3) или аргумента типа шаблона (14.3), в этом случае cv-квалификаторы игнорируются.