读Scott Meyers的序

    Meyers在他写的序中声称，他最初理解的模板模板只不过是用来生成“T容器”的。但是他后来认识到事情不是这个样子的，这个时候他贴了几行代码：

 template < int  m1, int  l1, int  t1, int  m2, int  l2, int  t2 >
Physical < m1  +  m2,l1  +  l2,t1  +  t2 >   operator * (Physical < m1,l1,t1 >  lhs,Physical < m2,l2,t2 >  rhs)
{
     return  Physical < m1  +  m2,l1  +  l2,t1  +  t2 > ::unit * lhs.value() * rhs.value();
}

    他举这个例子是想说，如果你认为模板是用来生成“T容器”的，那模板指明的应该是一个通用的类型替代符号，但在这个函数里，却不是这样，而且，进行了一次计算，和生成“T容器”没有任何一点关系。从这点上来说，这改变了他对模板的看法。
    接下来他又说了另一个例子：

template < bool >      struct     CTAssert;
template <>      struct  CTAssert < true > {};

    他特别提到，这个CTAssert从来没有被定义。这点很重要，尤其是如果你是一个太容易粗心的人，在你看完了模板做的assert功能的后急于实现一个的时候，你会发现Meyers强调的这个问题值得注意。
    模板中未被使用的编译器是不检查的，所以这给了你很大的自由度。对于false的情况，只要你没有使用，就没有问题，如果你使用了，编译器会抱怨找不到CTAsert<false>的定义，而这正是你想要的。
    关于编译期间的Assert，我个人认为比运行期间给程序员带来的帮助多很多。我的项目中，最近一段时间老因为运行期间的assert让程序崩溃，而在通过缓冲提取字符串的宏中中，我使用这个思想做了安全检查，它棒极了，任何使用上的错误都会在编译期间被检查出来，而且难能可贵的是这种错误发生在使用宏调用的过程中。