型別構造器

類型構造器也稱類型構造子，是把若干已知類型組合成一新類型的手段。可以看作是類型的構造函數。打個比方，如果說普通的函數操作變量並產生新值，那麼類型構造器就是操作類型返回新類型。

例如，數組 T[] 是若干相同類型 T 元素的有序集合，我們說從 T 類型構造出「T 的數組」這一類型的類型構造器是（後綴）[]、即「加上數組」。

參見

• C++11：<type_traits> 中的元函數類，例如 add_pointer<T> 返回 T*、remove_reference<T> 去掉引用 & 之類。