TC++PL阅读笔记6

模版参数可以是常量表达式，具有外部连接的对象或者函数的指针，或者非重载的指向成员的指针，用作模版参数的指针必须具有&of的形式，其中of是对象或者函数的名字；或者具有f的形式，f必须是一个函数名。到成员的指针必须具有&X::of的形式，这里的of是一个成员名。文字常量不能被作为模版参数，整数模版参数必须是常量，一个非类型的模版参数的内部是一个常量，企图修改这种参数的值是错误的。

与模版参数的使用有关的错误在模版之前不可能检查出来，能检查出错误的最早位置是第一个实例化点，就是在这个模版针对特定模版参数的第一个使用点。

函数模版的参数，编译器能够从调用中推断出类型参数和非类型参数，但如果没有参数或者不能推断出参数，函数模版调用时需要显式描述模版参数，如create<int>();就如同类模版一样，类模版必须显式表明模版参数。

template<class T, class U>T implicit_case(U u){return u;}
void g(int i){
        implicit_cast(i);//无法推断T，需要显式给出
        implicit_cast<double>(i);//T是double，U是int，就是implicit_cast的通常用法
        implicit_cast<char, double>(i);//T是char，U是double.
        implicit_cast<char*, int>(i);//T是char*， U是int，错误：不能将int转换为char*
}

用模版参数实现的策略模式：

template<class T, class C>//可以改为template<class T, class C=Cmp<T>>,Cmp<T>作为默认模版参数
int compare(const String<T>& str1, const String<T>& str2){
      for(int i=0; i<str1.length()&&i<str2.length(); ++i)
            if(!C::eq(str1[i], str2[i]))
                   return C::lt(str1[i], str2[i])?-1:1;
       return str1.length() - str2.length();
};// 参数C类似于面向对象实现中的封装算法的接口

template<class T> class Cmp{
public:
         static int eq(T a, T b){return a==b;}
         static int lt(T a, T b){return a<b;}
};
clasee Literate{
public:
          static int eq(char a, char b){return a==b;}
          static int lt(char, char);//定义去其他地方
};
//使用，可以对任何类型（满足==，<操作）进行不同方式的比较操作
void f(String<char> str1, String<char> str2){
          compare<char, Cmp<char>>(str1, str2);
          compare<char, Literate>(str1, str2);
}

template<class T> class List;
template<class T> class List<T*>{};//模版部分特化
template<> class List<void*>{///};//模版全特化

template<class T>bool less(T a, T b){return a<b;}
template<>bool less<const char*>(const char* a, const char* b){return strcmp(a, b)<0;}//函数模版特化，由于函数模版参数可以根据函数的实际参数推断，所以可以简写为template<>bool less<>(const char* a, const char* b)，甚至template<>bool less(const char* a, const char* b)。
如果对一组实际模版参数的一般性算法(典型的如swap)，存在着某些效率更高的特殊的替代品，模版特化就非常有价值。当某种实际参数类型由于其不规范性，导致一般性算法给出不希望的结果时，模版特化也是有必要的（如大小比较操作时参数为指针）。

成员模版不能是virtual的。

采用implicit_cast或者checked_cast方式的检查类型转换，可以捕获在运行时发生的截断问题。

在由同一个类模版生成的两个类之间并不存在任何关系，set<Circle*>和set<Shape*>并不等价，也不能转换，虽然Circle继承自Shape。

一个模版的模版参数表与其模版成员的模版参数表不能组合在一起。