类模板的友元声明:
当授予给定模板的所有实例的访问权的时候,在作用域中不需要存在该类模板或函数模板的声明。想要限制对特定实例化的友元关系时,必须在可以用于友元声明之前声明类或函数。
template
class test
{
template friend ostream& operator<< (ostream &os, const test &obj); //友元的所有实例均具有访问权
...
};
class test;
template ostream& operator<< (ostream &os, const test &obj);
template
class test
{
friend ostream& operator<< (ostream &os, const test &obj);//友元为的t类型实例才有访问权
...
};
模板构造函数:
在一个模板类中,构造函数和模板构造函数同时存在时,优先调用构造函数。只有当确切符合模板构造函数的接口时,才调用模板构造函数。编译器永远不会把模板构造函数视为构造函数,即使客户没有自己定义拷贝构造函数,编译器也会生成一个默认的拷贝构造函数。
template
class test
{
public:
test() { cout << in my test construct << endl;}
test(const test &) { cout << in my test copy << endl;}
template
test(const test &) { cout << in my template copy << endl;}
};
int main()
{
test t1;
test t2(t1);
test t3(t1);
return 0;
}
此处的 template test(const test &) 函数应该叫做类型转换构造函数,它可以把一个test的类型转换成test,也就是模版参数不同的模版类。这个应用就是比如说我有一个int类型的数组,要用来传递给一个double类型数组的参数,这个构造函数就可以完成这个转换。
程序的输出结构为:
in my test construct
in my test copy
in my template copy
在stl的pair和auto_ptr类中有应用