模板元编程由于把运算由执行时提前到了编译时，所以其一个特点是运行时很快，效率很高！不过这是以编译耗时为代价的。这个作用主要体现在复杂的数值运算时。另外一个特点是能解决普通的C++程序无法解决的问题，这时才是模板元编程大显身手的时候。这个作用体现在类型识别和处理时。

       因为模板参数都要是编译时常量，而我们的运算需求大部分时候应该都是对变量的运算，所以我认为模板元编程解决数值运算问题可能意义不大，可能主要是用来封装在泛型库底层来完成复杂的类型处理功能。

       还有我觉得最大的问题是，模板元编程就如同正则表达式等一些技术一样，作用很强大，但是用到的地方似乎很少，以至于学习和练习都找不到施展空间~O(∩_∩)O~

         1。由Non-Virtual Interface手法实现Template Method模式

           NVI手法：令客户通过publicnon-virtual成员函数间接调用private vritual函数。这就是Template Method设计模式的一个独特表现形式。这个non-virtual函数称为virtual函数的外覆器（wrapper）。

          2。有Function Pointers实现Strategy模式

          类中存储的是函数指针

          3。有tr1::function完成Strategy模式

         类中存储的是函数对象，相比前者，好处是允许客户在计算是使用任何与函数对象相兼容的可调用物。

           4。古典的Strategy模式

         类存储的是策略类对象的指针。

            各自优缺点：

            直接的virtual和NVI手法，面向对象组织结构很明确，但是扩展性不强。

            Strategy模式：扩展性强，灵活。但是将机能从成员函数移到class外部函数的缺点是，非成员函数无法访问class的non-public成员。

      模板是C++语言与众不同的特性，是标准库的基础。模板是独立于类型的蓝图，编译器可以用它产生多种特定类型的实例。我们只需编写一次模板，编译器将为使用模板的不同类型实例化模板。既可以编写函数模板又可以编写类模板。
       函数模板是建立算法库的基础，类模板是建立标准库容器和迭代器类型的基础。

       非类型模板实参必须是编译时常量表达式。
       编译模板需要编程环境的支持。语言为实例化模板定义了两个主要策略：包含模型和分别编译模型。这些模型规定了模板定义应该放在头文件还是源文件中，就此而言，它们影响着构建系统的方式。现在，所有编译器实现了包含模型，只有一些编译器实现了分别编译模型。
      显式模板实参使我们能够固定一个或多个模板形参的类型或值。显式实参使我们能够设计无需从对应实参推断模板类型的函数，也使我们能够对实参进行转换。
       模板特化是一种特化的定义，它定义了模板的不同版本，讲一个或多个形参绑定到特定类型或特定值。对于默认模板定义不适用的类型，特化非常有用。