class template 、function template以及member template;
class template 和 function template前面的文章讲过
member template
在标准库很多构造函数会出现。
语法如下
class就是个模板,而成员里还有个模板。T1、T2可以变化,U1、U2也可以变化。
见下面栗子(还是图比较清楚能描述意思)
再看个例子(智能指针)
指针是指向下面的,这是合理的,如有个指向动物的指针,你让它指向猪、猫都行。既然指针可以,智能指针也必须可以。
specialization,模板特化
泛化就是模板,特化的意思就是指你作为一个设计者,你可能要面对一些特殊的类型要单独处理。
解释:上面的是泛化,下面的是特化。且下面的都对()进行重载。
partial specialization,模板偏特化
泛化又分为:全泛化(full specialization)和(partial specialization,模板偏特化(局部特化))
偏特化:个数上的偏,范围上的偏。
如下图,个数上的偏特化。一定要从左边到右边,不能跳着来
范围上的偏特化,如下,T是任意类型,现在把它范围缩小成指针,如下
template template parameter,模板模板参数
见下图
指定一个容器,一个容器元素的类型,很有弹性。
关于C++标准库
一句话:标准库很重要!!!主要部分见下图
怎么学习?统统去试一遍!!!
reference
变量有三种:pointer , self , reference。
从内存角度上看。
下面看程序
#include <iostream>
using namespace std;
typedef struct Stag
{
int a;
int b;
int c;
int d;
}S;
int main(void)
{
double x = 0;
double *p = &x;
double &r = x;
cout << sizeof(x) << endl; //8
cout << sizeof(p) << endl; //4(32位),8(64位)
cout << sizeof(r) << endl; //0X9ffe30
cout << p << endl; //0
cout << *p << endl; //0
cout << x << endl; //0
cout << r << endl; //0X9ffe30
cout << &x << endl; //0X9ffe30
cout << &r << endl; //0X9ffe30
S s;
S& rs = s;
cout << sizeof(s) << endl; //16
cout << sizeof(rs) << endl; //16
cout << &s << endl; //0X9ffe20
cout << &rs << endl; //0X9ffe20
return 0;
}
- reference的常见用途
reference就是一种漂亮的pointer,reference通常不用于声明变量,而用于参数类型和返回类型的描述。
以下被视为“same signature”(所以二者不能同时存在)
double imag(const double& im) { ... }
double imag(const double im) { ... } // ambiguity