C++11模板元编程

模板元编程

模板元编程只能处理在编译期的常量，不能处理运行期的变量。其所使用的语法也很受限，不能使用ifelse等语句，因此模板元编程需要很多的技巧，需要使用类型定义，枚举常量，集成，模板偏特化等来配合。

不能使用C++运行时的关键字(ifelse，for等)

常用的是：

• enum ,static const ，用来定义编译期整数
• typedef/using 用于定义元数据(类型等)
• T,Args… 用于声明元数据类型
• template 主要用于定义原函数
• :: 作用域运算符，用于解析类型作用域，获取计算结果

type_traits的使用(部分摘要)

• internal_constant
• conditional的妙用conditional

template<typename T>
typename std::enable_if<std::is_arithmetic<T>::value,long>::type
func(T t) {
    return 11;
}

template<typename T>
typename std::enable_if<!std::is_arithmetic<T>::value,const char *>::type
func(T t) {
    return "no arithmetic";
}

使用enable_if可以实现返回值不同的重载（参数相同，当然实际传递进去的参数可以是不同的类型，由编译器推导并生成不同的函数实例

可变模板参数的使用

【编译时获得数值序列最大值】

/*编译时获取序列最大值*/

template<size_t arg,size_t ...Rest>
struct Max_Ele;

template<size_t t>
struct Max_Ele<t> :public std::integral_constant<size_t, t> {

};

template<size_t arg1,size_t arg2,size_t ...Rest>
struct Max_Ele<arg1, arg2, Rest...> : std::integral_constant<size_t, (arg1>arg2) ?
    Max_Ele<arg1, Rest...>::value : Max_Ele<arg2,Rest