可行函数指的是本次调用传入的实参能够被候选函数使用。它要满足两个条件, 一是形参数量和实参数量相同,二是每个实参的类型和对应形参类型相同或者能够转换成形参的类型。
还是前面的例子,实参的个数和类型与第二个函数完全匹配,而在经过算术转换之后,也能够与第三个函数匹配。
确定最佳匹配函数
最佳匹配的函数是最终调用的。最佳匹配最基本的思想是认为,实参类型越接近,它们就越匹配。还是前面的例子,实参要与第三个函数匹配,需要进行算术转换,而与第二个函数完全匹配,因此第二个函数是最佳匹配函数。最终的运行结果如下:
func1
最佳匹配原则
一般来说,精确匹配肯定比需要类型转换的匹配要更好,但是当形参有多个,并且无法完全精确匹配的时候,要确定最佳匹配函数就有点困难了。
但是有下面的原则:
- 函数的每个实参的匹配都不能比其他可行函数更差
-
函数至少有一个实参的匹配要比其他可行函数更好
那么问题又来了,什么是更好,什么又是更差呢?编译器将实参类型到形参类型的转换划分了等级:










