C ++ std :: add_const无法正常工作？

Question

我尝试了以下代码：

#include <iostream>
#include <type_traits>
int main() { 
    std::cout << std::is_const<std::add_const<int*&>::type>::value;
}

并且输出为0。这是正确的行为吗？

Answer 1

引用不能是const限定的，因此std::add_const是引用类型的无操作。

当您考虑它时（它在标准库参考资料中有明确说明）是有道理的，但是乍一看可能会令人惊讶。

Answer 2

std::add_const并没有完全按照您的想法做：

如果T是引用 ，函数或顶级const限定的类型， 则type必须与T命名相同的类型 ，否则应命名 T const。

（摘自N4140中的20.10.7.1常量修改表52）

如您所见， std::add_const不会为引用类型添加const 。

但是，始终将引用放在首位的是，它们始终是不变的。 （不要将const与非const混淆。）

Answer 3

从std::add_const文档中：

http://en.cppreference.com/w/cpp/types/add_cv

提供与T相同的成员typedef类型，除了它添加了cv限定符（除非T是一个函数， 一个引用或已经具有此cv限定符）

Answer 4

如果检查cpprefernece文档中的std :: add_const，我们会看到它说：

提供与T相同的成员typedef类型，除了它添加了cv-qualifier（ 除非T是函数，引用或已经具有此cv-qualifier ）

这与C ++标准草案第20.10.7.1节Const-volatile修改一致，该修改对add_const表示以下add_const ：

如果T是引用，函数或顶级const限定类型，则type必须与T命名相同的类型，否则应为T const。