Template Metaprogramming:使用模板实现元编程,可以在编译时进行计算和决策,以提高程序的性能和灵活性。
SFINAE(Substitution Failure Is Not An Error):通过使用模板参数推断和函数重载,可以实现编译时的条件分支和选择。
Type Traits:使用模板元函数(template metafunctions)可以在编译时查询和操作类型的属性,比如判断类型是否是指针、是否是引用等。
Variadic Templates:C++11引入了可变参数模板(variadic templates),可以接受任意数量的参数进行处理,比如实现可变参数函数、元组等功能。
Template Specialization:可以根据特定的类型或条件,对模板进行特化(specialization),以提供定制化的实现。
CRTP(Curiously Recurring Template Pattern):使用模板继承自身,可以在编译时实现静态多态性,实现类似于虚函数的效果。
Template Aliases 和 Template Template Parameters:C++11引入了模板别名(template aliases)和模板模板参数(template template parameters),可以提高模板的灵活性和可读性。