std :: add_const，为什么该实现可作为参考？

Question

在cppreference add_const中，我们可以将其实现为：

add_const

[当我尝试引用类型时，例如template< class T> struct add_const { typedef const T type; }; ，它是std::add_const<int&>。

我的问题是，由于int&是非法的，为什么没有特定版本也可以参考？

Answer 1

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

除非通过使用typedef（7.1.3）或模板类型参数（14.3）引入了cv限定词，否则cv限定词是错误的，在这种情况下，将忽略cv限定词。 >