<type_traits>

类模板
<type_traits>

std::add_const

template <class T> struct add_const;
添加const限定
获取类型Tconst的顶层限定符。

转换后的类型别名为成员类型add_const::type.

如果已知T如果 T 尚未被 const 限定,且不是引用或函数(这不能被 const 限定),则此类型与T const相同。否则,它是T不变。

请注意,此类仅使用另一种类型作为模型来获取类型,但它不会在这些类型之间转换值或对象。要显式地为对象添加 const 限定,请使用const_cast可以使用。

模板参数

T
一个类型。

成员类型

成员类型定义
类型如果已知T如果不 const 限定,且不是引用或函数,则与T相同,但已 const 限定。
否则,T.

示例

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
// add_const example
#include <iostream>
#include <type_traits>

int main() {
  typedef std::add_const<int>::type A;         // const int
  typedef std::add_const<const int>::type B;   // const int     (unchanged)
  typedef std::add_const<const int*>::type C;  // const int* const
  typedef std::add_const<int* const>::type D;  // int* const    (unchanged)
  typedef std::add_const<const int&>::type E;  // const int&    (unchanged)

  std::cout << std::boolalpha;
  std::cout << "checking constness:" << std::endl;
  std::cout << "A: " << std::is_const<A>::value << std::endl;
  std::cout << "B: " << std::is_const<B>::value << std::endl;
  std::cout << "C: " << std::is_const<C>::value << std::endl;
  std::cout << "D: " << std::is_const<D>::value << std::endl;
  std::cout << "E: " << std::is_const<E>::value << std::endl;

  return 0;
}

输出
checking constness
A: true
B: true
C: true
D: true
E: false


另见