重载函数匹配步骤:
(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)如果定义了到内置类型的转换函数,那么不要定义多个内置类型的转换函数,尽量让标准类型转换提供到其他内置类型的转换;