编译器assertions，帮助程序库为泛型代码产生有意义的错误信息

模板偏特化，让你可以特化template，并非针对特定的、固定集合的参数，而是针对吻合某个式样的一群参数

局部类，让你做些有趣的事，特别是对template函数

常整数映射外i型别，允许在编译期以数值作为分派的取决因素

型别对型别的映射，让你利用函数重载取代C++缺乏的一个特性：函数模板偏特化。

型别选择，让你得以boolean条件来选择型别

编译期间侦测可转换型和继承性，让你得以判断任意型别是否可以相互转换，或是否为形同型别，或是否有继承关系。

TypeInfo实作出一个包装了std::type_info的template class，其中包含了value语义和次序比较等特性

NullType和EmptyType，其功能犹如在template metaprogramming中的占位型别

TypeTrait提供了许多一般用途的traits，让你可以根据不同的型别定制你的代码。

C++设计新思维总结二