元编程（TMP）扫盲

昨晚看《Effective C++》才知道了元编程（TMP）这个东东，今早决定写个Fibonacci数列试试，给自己扫个盲。

 #include <iostream>template<unsigned n>struct fibonacci{enum {value = fibonacci<n-1>::value + fibonacci<n-2>::value};fibonacci() {std::cout << value;}};template<>//全特化struct fibonacci<0> {enum {value = 1};};template<>//全特化struct fibonacci<1> {enum {value = 1};};void main(){const int i = 10;std::cout << "The " << i << "th item of Fibonacci series is " << fibonacci<10>::value << std::endl;}

就我目前了解，总的说来，最大特性就是：就是编译期通过代码开解做运行期的事。比如编译期数值运算（可极大提高运算速度），编译期断言和契约，编译期类型运算。

 

但是TMP也不是没缺点：代码难读，编译时间太长，容易把编译器挂掉（比如求导），调试困难，循环开解的性能不一定最优，可执行文件过大影响Cache命中率，可移植性差。

 

我的观点是：这样的技术一定是局部使用，用“正常”C++写程序，然后Profile，找出性能瓶颈，将那20%（80-20法则）的部分用TMP改写。或者是以库的形式提供给用户。