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后该演绎就是成功的。