重载函数的参数匹配与转换

Posted 2021-01-04 puheng

重载函数匹配步骤：

（1）候选函数的确定：与被调函数同名的函数

（2）选择可行函数：在候选函数中，选择可以调用的函数：1）参数个数与被调函数参数个数相等；2）实参类型与形参类型匹配或者可以隐式类型转换；

（3）选择最佳匹配：

         ①　其每个实参匹配都不劣于其他可行函数需要的匹配

         ②　至少有一个实参的匹配优于其他可行函数的匹配。

（4）如果没有存在多个最佳匹配，匹配就有二义性；

实参匹配与转换：

（1）实参类型转换的优先降序等级：精确匹配> 整型提升> 标准转换> 类类型转换；

（2）没有一个标准转换会比另一个标准转换匹配更好，char到unsigned char 与char 到double的匹配是一样的；

（3）枚举对象只能用同一个枚举类型或者另外一个枚举对象进行初始化，但枚举对象可以提升为整型传递给函数（至少提升为int型或更大）；

（4）当两个类定义了相互转换的时候，A类既可以通过B类的构造函数转换为B类，也可以通过A类的类型转换操作符转换为B类，这种情况下存在歧义，除非显式调用构造函数或者转换操作符函数，使用强制类型转换解决不了歧义，所以尽量避免编写存在隐式转换成对的类；

（5）如果重载集中有两个函数用同一类类型转换函数匹配，则使用转换之后或者转换之前的标准转换序列等级来确定最佳匹配。

（6）如果重载集中有两个函数可以使用不同的类类型转换函数匹配，则认为这两个转换操作一样的好，不管是否需要标准转换。

（7）参数同一个匹配过程中，不能存在多个类类型转换函数匹配，否则会出错；

（8）当同时存在函数模版和普通函数的重载版本时候，他们都可以进行匹配，则普通函数优先。

 

四、设计时需要注意的地方：

（1）尽量不要定义相互转换的类，容易产生二义性；

（2）尽量避免到内置算术类型的转换，因为这样很容易与操作符的重载函数产生歧义；

（3）如果定义了到内置类型的转换函数，那么尽量不要定义接受内置类型操作符的重载版本；

（4）如果定义了到内置类型的转换函数，那么不要定义多个内置类型的转换函数，尽量让标准类型转换提供到其他内置类型的转换；