函数匹配过程:
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.通过类类型转换实现的匹配。