官方说明中核心语句: 如果本身就是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;
}