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