CPP Templates 之 模板演繹的注意事項

//一、
template<typename T> void f(T);

template<typename T> void g(T&);

double x[20];

int const seven=7;

f(x);//非引用參數：T是double*
g(x);//引用參數：T是double[20]
f(seven);//非引用參數：T是int
g(seven);//引用參數：T是int const
f(7);//非引用參數：T是int
g(7);//引用參數：T是int =》錯誤：不能把7傳遞給int &

//注意：對於引用參數，綁定到該參數的實參是不會進行decay的。
//decay:時一個概念，指的是從數組和函數類型到指標類型的

//某些構造不能作為演繹的上下文，例如
//受限的類型名稱，例如：Q<T>::X
//除了非型別參數之外，模板參數還包含其他成分的非類型運算式。例如
//諸如，S<I+1> 就不能用來演繹I

//二、特殊情況的演繹
//存在兩種特殊情況，其中用於演繹的實參-參數對（A-P）並不是分別來自
//與函數調用的實參和函數模板的實參。
//1.出現在去函數參數模板的時候。例如：
template<typename T>
void f(T,T);

void (*pf)(char,char)=&f;
//2.轉型運算子和模板一起出現時
class S{
public:
    template<typename T,int N> operator T[N]&();
}

void f(int(&)[20])

void g(S s)
{
    f(s);
}
//試圖把S轉型為int(&)[20];因此，類型為int[20],而類型P為T[N],於是，用
//類型int替換T，用20替換N後該演繹就是成功的。