编译器assertions，帮助程序库为泛型代码产生有意义的错误信息
模板偏特化，让你可以特化template，并非针对特定的、固定集合的参数，而是针对吻合某个式样的一群参数
局部类，让你做些有趣的事，特别是对template函数
常整数映射外i型别，允许在编译期以数值作为分派的取决因素
型别对型别的映射，让你利用函数重载取代C++缺乏的一个特性：函数模板偏特化。
型别选择，让你得以boolean条件来选择型别
编译期间侦测可转换型和继承性，让你得以判断任意型别是否可以相互转换，或是否为形同型别，或是否有继承关系。
TypeInfo实作出一个包装了std::type_info的template class，其中包含了value语义和次序比较等特性
NullType和EmptyType，其功能犹如在template metaprogramming中的占位型别
TypeTrait提供了许多一般用途的traits，让你可以根据不同的型别定制你的代码。
原文：http://www.cnblogs.com/chillblood/p/4085541.html