C++面向对象编程<十三>:template和reference

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