std::add_const

官方说明中核心语句： 如果本身就是const类型或者引用类型或者函数类型，则保持不变; 其他场景变成T const

官方说明： add_const - C++ Reference

#include <iostream>
#include <type_traits>
#include <functional>

using forward_func = std::function<int(int)>;

typedef int(func_point_type)(int);
typedef int(func_point_type_const)(const int);

typedef std::add_const<forward_func>::type func_add_const;
typedef std::add_const<func_point_type>::type func_point_type_add_const;
typedef std::add_const<int>::type int_add_const;
typedef std::add_const<const int>::type const_int_add_const;
typedef std::add_const<int&>::type int_ref_add_const;
typedef std::add_const<const int&>::type const_int_ref_add_const;
typedef std::add_const<int*>::type int_point_add_const;
typedef std::add_const<const int*>::type const_int_point_add_const;

int add_value(int a) {
  return a + 5;
}

int main() {
  // based on des: http://www.cplusplus.com/reference/type_traits/add_const/
  // func_add_const a = add_value; // failed error
  forward_func a = add_value;
  // for std::function is not clear.
  std::cout << "func_add_const is same: " << std::is_same<func_add_const, forward_func>::value << " is const: " << std::is_const<func_add_const>::value << std::endl;
  // func_add_const is same: 0 is const: 1
  std::cout << "func_point_type_add_const is same: " << std::is_same<func_point_type_add_const, func_point_type_const>::value << " is const: " << std::is_const<func_point_type_add_const>::value << std::endl;
  // func_point_type_add_const is same: 1 is const: 0
  std::cout << "func_point_type is same: " << std::is_same<func_point_type, func_point_type_const>::value << " is const: " << std::is_const<func_point_type>::value << std::endl;
  // func_point_type is same: 1 is const: 0
  std::cout << "func_point_type_add_const is same: " << std::is_same<func_point_type_add_const, func_point_type>::value << " is const: " << std::is_const<func_point_type_add_const>::value << std::endl;
  // func_point_type_add_const is same: 1 is const: 0

  std::cout << "int_add_const is same: " << std::is_same<int_add_const, const int>::value << " is const: " << std::is_const<int_add_const>::value << std::endl;
  // int_add_const is same: 1 is const: 1
  std::cout << "const_int_add_const is same: " << std::is_same<const_int_add_const, const int>::value << " is const: " << std::is_const<const_int_add_const>::value << std::endl;
  // int_add_const is same: 1 is const: 1
  std::cout << "int_ref_add_const is same: " << std::is_same<int_ref_add_const, int&>::value << " is const: " << std::is_const<int_ref_add_const>::value << std::endl;
  // int_ref_add_const is same: 1 is const: 0
  std::cout << "const_int_ref_add_const is same: " << std::is_same<const_int_ref_add_const, const int&>::value << " is const: " << std::is_const<const_int_ref_add_const>::value << std::endl;
  // const_int_ref_add_const is same: 1 is const: 0
  std::cout << "int_point_add_const is same: " << std::is_same<int_point_add_const, int* const>::value << " is const: " << std::is_const<int_point_add_const>::value << std::endl;
  // int_point_add_const is same: 1 is const: 1
  std::cout << "const_int_point_add_const is same: " << std::is_same<const_int_point_add_const, const int* const>::value << " is const: " << std::is_const<const_int_point_add_const>::value << std::endl;
  // onst_int_point_add_const is same: 1 is const: 1
  return 0;
}