模板杂记（一）

模板类中的友元的类外实现时，使用类的内部类声明变量时的格式：

template <typename T>
class A
{
public:
private:
class B//声明一个内部类 
{
public:
B(void):c(10){}
T c;
friend ostream& operator<< (ostream& os,const B& b)//内部重载<<，以利于外部使用
{
return os<<b.c;
}
};
template <typename T1>//内部的模板声明，不能用T，会和类外的T重复，报错
friend ostream& operator<< (ostream& os,const A<T1>& a);//友元函数声明中的A<T1>& 中的T1不能换做T，这好像就是一个友元函数的模板，与class A模板类无关
};
template <typename T>//外部实现时必须为模板
ostream& operator<< (ostream& os,const A<T>& a)
{
typename A<T>::B b;//访问内部类时必须使用typename，告诉编译器A<T>是一个模板类
return os<<b;
// typename T::B b;
}

 

 

下面的代码中Y可以是一个模板类：

template<typename X, typename Z,
template<typename T> class Y>
class B {
public:
B (const X& i, const Z& s) :
m_i (i), m_s (s) {}
Y<X> m_i;//一个模板类声明的对象作为另一个模板类的成员变量
Y<Z> m_s;
};

 

 

模板类的继承示意：

class A {
public:
A (const T& t) : m_t (t) {}
T m_t;
};
template<typename T, typename Y>
class B : public A<T> {//注意继承时基类的格式
public:
B (const T& t, const Y& y) :
A<T> (t), m_y (y) {}//与普通的继承相同，构造时应该初始化基类
Y m_y;
};

 

 

下面代码中的子类模板，可以滞后于父类的构造：

 

template<typename BASE>
class Shape : public BASE {//继承于一个不确定的基类
public:　　　　　　　　　　　 //只有在子类实例化后才能确定基类，才会有这样的特例
void draw (void) const {
BASE::draw ();
}
};
class Rect {
public:
void draw (void) const {
cout << "绘制矩形..." << endl;
}
};
class Circle {
public:
void draw (void) const {
cout << "绘制圆形..." << endl;
}
};

 

所有代码的测试环境为ubuntu12.04下的g++编译器