这种方法叫做type traits(类型特性) 代码片段: template<typename T...> vector { typedef T value_type; ... } 于是 vector<int>::value_type AnInt; 等价于 int AnInt; type traits广泛的应用于stl模板库,凡是想要与stl库兼容(即扩充stl)就必须遵守一定的规则,type traits 就是这些规则中的一个