C++11类模板

类模板是用来生成类的蓝图,与函数模板的不同之处是,编译器不能为类模板推断模板参数类型。

所以我们在使用类的时候要带上<>并且指定类型如下

vector v;  // 需要带上

定义类模板

如下,和函数模板差不多都是在前面放个template里面用typename或者class定义个东东

template 
class Demo{
public:
	void cmp(T a);
private:
	...
};

在类外如果要实现类内函数的实现的话需要有如下写法

template // 要加上这个 并且Demo写成这样Demo 
void Demo::cmp(T a) {
	cout << a << endl;
}

在类内不需要额外加东西

实例化类模板

Demo d;
Demo c;

就这样简单用

不过需要注意的是:

一个类模板的每个实例都形成一个独立的类,类型Demo 与Demo 一点关系都没有,也不能对其他类型的内部变量访问有啥特殊权限

说白一点就是,都是人,不过是陌生人而已不是亲戚

一般时候,类模板成员都是在使用的时候才实例化的

类模板和友元

当一个类包含一个友元声明时,类与友元各自是否是模板是相互无关的。如果一个类模板包含一个非模板的友元,则友元可以访问所有模板类型。如果友元自身是模板,类可以授权给所有友元模板,也可以只授权个特定实例

一对一友好关系
template  class Tmp;//声明一个Tmp类模板

template 
class Demo{
public:
	void cmp(T a);
	friend Tmp;
private:
};

上述关系中 Tmp 是Demo 的友元,不是别的类型的友元

通用和特定的模板友好关系
template  class Demo;

template  class Tmp
{
public:
	template
	void output(Demo

d) { cout << d.p << endl; } }; template class Demo{ public: template friend class Tmp; private: int p = 10; }; int main() { Demo d; Tmp t; t.output(d);//可以输出是10 return 0; }

令模板自己的类型成为自己的友元
template 
class bar{
	friend Type;
}

c++11还能这样写,Type是bar的友元

值得注意的是:友元通常是一个函数或者是一个类,但是基本类型也是被允许的,方便能用基本类型初始化类

模板类型别名

类似下面这样写法

	typedef Demo DemoInt;
	using DemoChar = Demo;

模板中的静态成员

和正常类一样,模板中也可以声明静态成员,不过需要注意的一点是:

模板的静态成员只属于对应的模板

Demo d ,c ;
Demo p;

d和c拥有同一个静态成员

p自己单独一个静态成员

并且,一个static成员函数只有在使用时才会实例化

使用类的类型成员

我们使用 域运算符(::)来访问static成员和类型成员,在普通(非模板)的代码中,编译器掌握类的定义,因此,他知道通过作用域运算符访问的名字是类型还是static成员。

例如下面,编译器知道string类型从而知道size_type是一个类型

string::size_type 

但是如果在模板下

T::size_type * p;

编译器:size_type是个啥 ? 昂~懂了,是个变量要和 p 乘起来~

编译器默情况就会把他当成变量,如果你想让编译器认为他是个类型就要加入typename

	typename T::size_type  *p ;

编译器:昂~ ,闹了半天是个类型啊

虽然可以使用上述,但是如果在传入类型时没有size_type类型会报错的哦

默认模板参数

这个和函数参数列表差不多,可以指定默认的模板参数,

template 
class Demo{

};
Demo //默认就是Demo
Demo //就是这个类型了

有同学就说了,一个能行,那我都闹上能不能行?

template 
class Demo{

};

当然可以

Demo d;//有的脑洞大开同学就像这么写了
Demo<> p;//这样才是对的

你可能感兴趣的:(c++语言,c++,开发语言)