假如有下面一组函数：

　　void s （ ）；

　　void s （ int ）；

　　void s （ double ， double = 1.2 ）；

　　void s （ const char*，const char*）；

　　void max （ int ， int ）；

　　//……

　　int main（ ）

　　{

　　s （2.4）；

　　return；

　　}

　　//s （2.4 ）；的调用与s （ ）； s （ int ）； s （ double ， double = 1.2）； s （const char* ， const char*），的声明在同一域，即是可见的。

　　那么好，问题出现了。s （2.4 ）；将调用上面四个函数中的哪一个呢？

　　编译器判断重载函数的第一步是确定该调用中所考虑的重载函数的集合，该函数集合被称为候选函数（candidant function）。所谓候选函数就是与被调用函数同名的函数。上面的前四个函数都可以成为候选函数（当然可以是多个），而唯有max （ int ， int ） 被排除在外了。

　　编译器判断重载函数的第二步分为两动作。第一个动作是编译器从第一步选出的候选函数中调出可行函数（viable function）。可行函数的函数参数个数与调用的函数参数个数相同（如s （ int ）），或者可行函数的参数可以多一些，但是多出来的函数参数都要有相关的缺省值（如 s （double ， double =1.2 ）；）第二个动作是根据参数类型的转换规则将被调用的函数实参转换（conversion）成候选函数的实参。这里本着充分利用参数类型转换的原则，换句话说，尽可能的使用上参数类型转换。当然转换要以候选函数为转换的目标。上面的函数中只有两个是可行函数，它们分别是s （ int ）； s （ double ， double ）。

　　如果依照参数转换规则没有找到可行函数，则该调用就是错误的，则说没有函数与调用匹配，属于无匹配情况（no match function）。

　　编译器判断重载函数的第三步是从第二步中选出的可行函数中选出最佳可行函数（best match situation）。在最佳可行函数的选择中，从函数实参类型到相应可行函数参数所用的转化都要划分等级，根据等级的划分（ranked），最后选出最佳可行函数。

上一页 [1] [2]

文章整理：iocblog
版权申明：本站文章均来自网络，如有侵权，请联系我们，我们收到后立即删除，谢谢！
特别注意：本站所有转载文章言论不代表本站观点，本站所提供的摄影照片，插画，设计作品，如需使用，请与原作者联系，版权归原作者所有。