C++笔记--模板

一个string模板

　　简单的定义

template <class C>//模板形式，C是一个类型名字，不一定是某个类的名字
class String{
struct srep;
srep *rep;
public:
String();
String(const C*);
String(const String&);

C read(int i)const;
};

String <char > cs;//这些是使用的方法，模板的一些定义
String <unsigned char> us;
String <wchar_t>ws;
class Jchar{
};
String <Jchar>js;

标准库里面有一个base_string模板，很像string模板，所以把前者也是定义为string的同义词：typedef base_string<char>string;

　　定义一个模板：通常我们是先写一个完整的类，然后再去把它转变为模板类，这样可以避免很多不必要的错误。

　　定义模板类的成员：不必非得定义在模板类中，可以定义在模板外，但是必须显式的定义他们，他们的参数也是模板化的

template <class C> struct String<C>::srep{
C *s;//到元素的指针
int sz;//元素个数
int n;//引用计数
}
template <class C> C String <C> ::read(int i)const{return rep->s[i];}

通常类模板的名字是不能重载的，如果一个地方定义了一个类模板，它的名字就不能用来去定义一个相同的名字的普通类。

　　模板实例化：从一个模板类和一个模板参数生成一个类声明的过程；而针对一个特定的模板参数的模板成为专门化。

　　

String <char> cs;//这里生成了两个类，cs和js，以及他们的析构和构造函数
void f(){
String<Jchar> js;
}

模板参数：一个模板可以有多个参数，一个模板参数可以定义跟随其后的模板参数。

　 类型等价，类型检查：与模板参数有关的错误能被检查出来的最早的位置是在：这个模板针对这个参数第一个使用的地方。称为实例化点

　　函数模板

　　函数模板的参数：如果不能从模板函数推断出某个模板参数，就只能显示的描述。



　　函数模板的重载

　　可以声明同一个名字的多个函数模板。还可以声明同名的函数和函数模板的组合。

　　


　　重载解析规则

　　


　　用模板参数描述策略

　　默认模板参数：只有一些不是很平常的比较算法才需显示给出。

　　模板专门化：

　　模板和派生：

　　一个模板类派生出另一个模板类

　　

template <class T> class Vector {};
template <class T>class Vec:public Vector<T>{};

参数化和继承

　　虚函数提供的东西叫做运行时多态，模板提供的东西叫做编译时多态。（如果在这些对象间不需要某种层次性的东西（从属关系），就用模板；如果在编译时无法确定参数类型，就用抽象继承。

　　模板类里面的复制赋值函数都必=必须是非模板类的，并且成员模板不能是virtual；