函数匹配

函数匹配过程：

1.确定候选函数

候选函数（candidiata function）应具备的性质：

1.与被调用的函数同名。

2.其声明在调用点可见。

2.确定可行函数

可行函数（viable funcation）应具备的性质：

1.其形参数量与本次调用提供的实参数量相同。

2.每个实参的类型与对应的形参类型相同，或则能装换成形参的类型。

3.寻找最佳匹配

编译器依次检查每个实参以确定可行函数中哪个函数是最佳匹配，如果有一个且只有一个函数满足一下条件，则匹配成功：

1.该函数每个实参的匹配都不劣于其他的可行函数需要的匹配。

2.至少有一个实参的匹配优于其他可行函数提供的匹配。

实参类型装换

编译器将实参类型到形参类型的装换划分成几个等级：

1.精确匹配：

a.实参类型和形参类型相同。

b.实参从数组类型或函数类型转换成对应的指针类型。

c.向实参添加顶层const或则从实参中删除顶层const。（顶层const对拷贝没有影响，所以顶层const在重载中无法作为参数类型区别的依据）

顶层const变量可以赋给非顶层const变量

int a=1;
int const *p1=&a;
int *p2=p1;

2.通过const转换实现的匹配。（实参转为底层const类型参数）

3.通过类型提升实现的匹配。

表示范围小于int 的都会直接转为int，不会转为比原来大且比int小的。

4通过算术类型转换或指针转换实现的匹配。

所有算术类型转换的级别都一样，int 向unsigned int 转不会比int 向double 高。

指针转换中：（1）常量整数值0或则字面值nullptr能转换成任意指针类型。

（2）指向任意类型非常量的指针能转换成void *。

（3）指向任意对象的指针能转换成const void*。

5.通过类类型转换实现的匹配。