Day 5: 函数指针和实参推断

1.（1） 用函数模板初始化函数指针

template<typename T>
int compare(const T&,const T&);
int (*pf)(int)(const int&,const int&)=compare;//pf指向实例

（2）函数模板使函数重载

void func((int*)(const int&,const int&);
void func((string*)(const string*,const string*);
func(compare<int>);//调用函数时，通过显式实例化，确定应该调用哪一个func函数

2.从函数类型参数推断实参（此函数指模板函数）

注：一般引用绑定规则：const为底层，非顶层（底层const：不能改变指向的 内容，本身可以不是常量，const int*或int const *

                                                                         顶层const： 咬住地址值不放，int *const , *  before const）

注：左值：可以取地址、有名字，右值：不能取地址、没有名字，如函数的return结果，阿拉伯数字等（const int 为左值）

（1）函数参数为模板类型参数的左值引用（即T&）

template <typename T> void f1(T&);//设置某变量的引用代表可以修改该变量，右值不能取地址，名字不需要人或系统设置
int main()
{
int i=1;const int ci=0;
f1(i);f1(ci);
f1(5);//错，5为右值

template<typename T> void f2(const T&);//此时T可以接受任意类型实参,因为底层const不会改变实参的值

函数参数中带有const ，但T不含，推测的规则为const折叠规则（编的词，类似引用折叠），如f2(5)，则函数f2的参数为const const int&, T 为int类型。

（2）函数参数为模板类型参数的右值引用

template<typename T> void f3(T&&);//实参可以是右值，并且由于存在引用折叠规则（将在后文讲述)

int i=0;

f3(i);若实参为左值，编译器推断T为int &,而非int

3. 引用折叠（两个规则）

（1）将一个左值引用传递给函数时，即上述f3(i), 编译器推断T为int &（并没有想清逻辑在哪儿），而非int

（2）出现引用的引用，如R&&&，R&&&&&，引用会折叠成R&，且只在一种情况下折叠为右值引用：R&&&&

注：引用折叠只能应用于间接创建的引用，如类型别名或类型参数