元编程（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改写。或者是以库的形式提供给用户。