型别构造器
类型构造器也称类型构造子,是把若干已知类型组合成一新类型的手段。可以看作是类型的构造函数。打个比方,如果说普通的函数操作变量并产生新值,那么类型构造器就是操作类型返回新类型。
例如,数组 T[] 是若干相同类型 T 元素的有序集合,我们说从 T 类型构造出“T 的数组”这一类型的类型构造器是(后缀)[]、即“加上数组”。
参见
- C++11:
<type_traits>
中的元函数类,例如add_pointer<T>
返回T*
、remove_reference<T>
去掉引用&
之类。