template<typename T>
void Swap(T &a ,T &b)
{
    T temp;
    temp = a;
    a = b;
    b = temp;
}

template<typename T>
void Swap(T &a ,T &b); //#1

template<typename T>
void Swap(T *a ,T *b,int n);//#2 最后一個(gè)參數(shù)是具體類型

int main()
{
    int i =10,j=20;
    Swap(i,j);//使用#1
    
    const int Lim = 8;
    int d1[Lim]={0,1,2,3,4,5,6,7};
    int d2[Lim]={7,6,5,4,3,2,1,0};
    Swap(d1,d2,Lim);//使用#2
}
template<typename T>
void Swap(T &a ,T &b)
{
    T temp;
    temp = a;
    a = b;
    b = temp;
}

template<typename T>
void Swap(T *a ,T *b,int n)
{
    T temp;
    for(int i=0;i<n;i++)
    {
        temp =a[i];
        a[i]=b[i];
        b[i]=temp;
    }
}

void Swap(job& ,job&);

template <typename T>
void Swap(T&,T&);

template<> void Swap<job>(job& ,job&);//顯示具體化
//Swap<job>中<job>是可選的，因?yàn)楹瘮?shù)的參數(shù)類型表明，這是job的一個(gè)具體化，所以也可以這樣寫：
template<> void Swap(job& ,job&);

template<typename T>
void Swap(T &a ,T &b);

int a =10,b=20;
Swap(a,b);//因?yàn)樘峁┝薸nt類型的參數(shù)，所以自動(dòng)生成了int類型的模板實(shí)例。這樣是==隱式實(shí)例化==
//也可以直接命令編譯器創(chuàng)建特定的實(shí)例
//顯示實(shí)例化
template void Swap<int>(int &,int &);//使用Swap()模板生成int類型的函數(shù)定義

//顯示具體化
template<> void Swap<int>(int& ,int&);
template<> void Swap(int& ,int&);
//區(qū)別在于：具體化是不使用Swap()模板函數(shù)生成函數(shù)定義，而是使用專門為int類型顯示定義的函數(shù)定義
//簡(jiǎn)單的理解，具體化是對(duì)函數(shù)的聲明，而實(shí)例化是對(duì)模板函數(shù)的使用

template<typename T>
T Add(T a,T b)
{
    return a+b;
}

int m=6;
double x=10.5;
Add<double>(x,m); //與Add(x,m)不匹配，因?yàn)橐粋€(gè)是int一個(gè)是double
				  //通過Add<double>實(shí)例化，可強(qiáng)制將m轉(zhuǎn)為double

//但是同樣的對(duì)Swap便不能成功，因?yàn)镾wap中使用的是引用類型
Swap<double>(m,x);//double& 不能指向int

//使用案例
template <typename T>
void Swap(T &,T &);

template<> void Swap<job>(job&,job&);//具體化
int mian()
{
    template void Swap<char>(char& ,char&);
    
    short a,b;
    Swap(a,b);//隱式實(shí)例化
    
    job n,m;
    Swap(n,m);//顯示具體化
    
    char g,h;
    Swap(g,h);//顯示實(shí)例化
}

template<class T1,class T2>
void fun(T1 x,T2 y)
{
    ?type? s=x+y; //因?yàn)槭悄０搴瘮?shù)，此時(shí)?type?類型不確定
}

template<class T1,class T2>
void fun(T1 x,T2 y)
{
    decltype(x+y) s=x+y; //s類型與x+y的類型一致
}

double x =5.5;
double& z =x;
const double* pd;
decltype(x) w; //w為double類型
decltype(z) u; //u為double& 類型
decltype(pd) v; //v為const double* 類型

double x = 4.5;
decltype((x)) r = x;//r是double&類型
decltype(x) r = x;//r是double類型

//括號(hào)不會(huì)改變expression的值和左值性
//可理解為加括號(hào)僅僅是decltype聲明引用的一種方式

int j=3;
int &k=j;
int &n=j;

decltype(j+6) x; //x是int
decltype(k+n) y;//y是int ，雖然k和n是引用，但是k+n不是引用是2個(gè)int的和

typedef decltype(x+y) xytype;
xytype z = x+y;
xytype arr[10];

template<class T1,class T2>
?type? fun(T1 x,T2 y) //此時(shí)無法確定類型
{
    return x+y;
}

template<class T1,class T2>
auto fun(T1 x,T2 y)->decltype(x+y) //后置類型使用decltype
{
    return x+y;
}