在模板编程中，有几个常用的技术：模板（偏）特化，特性萃取，标签分派，匹配失败不是错误。其中模板（偏）特化是基础，匹配失败不是错误(SFINAE）应用最为广泛。
现代C++对模板编程做了更多的加强，boost.hana又结合constexpr和lambda把类型与值的计算统一了起来。放眼C++世界，尤其是C++库，几乎都是使用模板的泛型编程。
话说在C++的世界中（并且几乎所有语言中）函数的作用是最为明显的，试想：没有类也可以完成编程任务，但没有函数却不好说。另一方向只使用变量和语句也能完成少量的工作，但不进行函数的封装终难成大事。这几年函数式编程赿来赿流行，与函数的重要性不无关系。所以无论是用类也罢，用函数也罢，或者使用C++新增的变量模板，我们的思路是始终围绕着把它们向函数上靠就好。从MPL的元函数开始就试图使类尽可能像函数，我们在模板编程中也要使模板类、模板变量、乃至模板函数都向“函数”靠拢。这里函数加上引号我想表达的是包括但不限于constexpr函数。
一、先从类型计算将用类实现来转为用函数实现起。将类型计算与值计算统一起来，以例子说话：
