2014模板代码.docVIP

模板的魅力 当前，对于多数C++程序员来说，模板常常意味着类型的简单替换。例如： view plaincopy to clipboardprint? templatetypename T T max(T const a, T const b) { return (ab)?a:b; } templatetypename T T max(T const a, T const b) { return (ab)?a:b; } 或 std::vectorT 这样的用法。诚然，这是一种编程模式：一些类、函数、代码，宏观上的操作是相同的，不同的仅是被操作的类型，于是把类型特别提出来用一记号表示，并由template关键字声明，成为一通用的类、函数、代码；使用时，只要把特定的类型代替进去即可。在很多支持泛型的语言中，如C#、Java等等，模板就是这样用的。但是，读过《C++ Templates》或《Modern C++ Design》或《C++ Template Metaprogramming》的朋友都知道，C++的模板，包含的内容更多，功能也更为强大。 对于C++模板精髓，我想主要是SFINAE（Substitution failure is not an error）原则。SFINAE原则意味着，函数实例若不能匹配某个函数模板，这不算编译错误，还可以尝试去匹配其它函数模板。这个保护性的原则，提高了函数模板的重载能力，进而使得编译时类型推导成为可能。如下面的代码 view plaincopy to clipboardprint? #include cstdio templatetypename C char check(int C::*); templatetypename T float check(...); templatetypename T bool IsClassType() { return sizeof(checkT(0))==1 ; }; class One; int main() { printf(Is A Class Type %d\n,IsClassTypestd::size_t()); printf(Is A Class Type %d\n,IsClassTypeOne()); return 0; } #include cstdio templatetypename C char check(int C::*); templatetypename T float check(...); templatetypename T bool IsClassType() { return sizeof(checkT(0))==1 ; }; class One; int main() { printf(Is A Class Type %d\n,IsClassTypestd::size_t()); printf(Is A Class Type %d\n,IsClassTypeOne()); return 0; } 对于模板templatetypename C char check(int C::*)，只有当C类型为类时，才可能有int C::* 这样的类型（表示一个指针，指向C类的某int型成员），这样才能匹配此模板。而对于templatetypename T float check(...)，可匹配任意类型的T。所以当checkint(0)不能匹配前者时，它会匹配后者，从而使IsClassType能得到正确的结果。利用SFINAE原则，可以做很多类型推导：判断一个类型是否为某类型或某类类型（如判断T是否为class类型），类型是否相等（T1与T2是否为同一类型），类型选择（根据某类型，选择T1类或T2类），判断两类型是否有继承关系等等。 模板的另一重要特性为静态性。这点是指模板的实例化是编译时进行时，程序运行时，已经是模板实例的结果了。利用这一点，可以优化代码。如上面的程序中，计算IsClassTypeOne()，实际上已经在编译时计算完毕了，在程序中，直接替代为true；而不是在程序运行进再根据T的类型，重新计算sizeof(checkT(0))是否等于1。再看一个例子，这程序显示了模板的计算能力（当然，这些计算都是编译时进行了；程序运行时，就能直接输出结果了；具体原理说明见此）： view plaincopy to clipboardprint? #include iost