C++函数学习笔记(六)

函数匹配

• 第一步选定本次调用对于的重载函数集，集合中函数称为候选函数
• 第二步考察本次调用提供的实参，然后从候选函数中选出能被这组实参调用的函数，这些选出函数被称为可行函数
• 第三步从可行函数中选择本次调用最匹配的函数。

候选函数

• 与被调用的函数同名
• 声明在调用点可见

可行函数

• 其形参数量与调用提供的实参数量相同
• 每个实参的类型与对于的形参类型相同，或者能转换成形参类型。

最佳匹配

• 实参类型与形参类型越接近，它们匹配的更好。

编译器会依次检查每个实参以确定哪个函数是最佳匹配。

• 该函数每个实参的匹配都不劣于其他可行函数需要的匹配。
• 至少有一个实参的匹配优于其他可行函数提供的匹配。

如果在检查所有实参之后没有任何一个函数脱颖而出，则该调用是错误的。编译器将报告二义性错误信息。

实参类型转化

为了确定最佳匹配，编译器将实参类型到形参类型的转换划分为几个等级。

1.精确匹配

• 实参类型和形参类型相同
• 实参从数组类型或函数类型转换成对应的指针类型
• 向实参添加顶层const或则从实参中删除顶层const

2.通过const转换实现的匹配
3.通过类型提实现的匹配
4.通过算术类型转换，或则指针转换实现的匹配
5.通过类类型转换实现的函数

内置类型的提升和转换可能在含糊匹配时，产生想不到的结果。