c++ - std::add_const，为什么实现可以引用？

Question

在 cppreference add_const 据说我们可以将其实现为:

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

当我尝试引用类型时，例如 std::add_const<int&> ，是 int& .

我的问题是为什么它可以在没有特定版本供引用的情况下工作，因为 int& const违法吗？

Answer 1

在C++11标准的[dcl.ref]p1中，可以找到:

Cv-qualified references are ill-formed except when the cv-qualifiers are introduced through the use of a typedef (7.1.3) or of a template type argument (14.3), in which case the cv-qualifiers are ignored.