【转】函数重载解析

    重载函数的解析可以分为三个步骤来执行&＃xff1a;1.查找候选函数&＃xff0c;并检查函数调用实参表的属性&＃xff1b;2.选择可行函数&＃xff1b;3.对函数实参到形参的转换进行分级&＃xff0c;并选出最佳可行函数。下面对各个步骤进行详细的叙述。

所有在调用点可见的同名函数声明&＃xff0c;及当调用函数的实参中有名字空间成员时该名字空间中所有同名函数都将被添加到候选函数集合中&＃xff0c;另外当函数实参是类类型时还将把这个类声明中与调用函数同名的友元函数加入到候选函数集合中。值得注意的是当调用点处在某个局部域中而且在全局域和这个局部域中都有同名的函数声明时&＃xff0c;全局域的函数声明被局部域覆盖而不被加入到候选函数集合中。这之后编译器还将对函数调用的实参表根据实参的数量和类型进行分析。

可行函数集是候选函数集的一个子集&＃xff0c;所有能够用函数实参进行相关类型转换调用的函数都将被加入到这个集合中。

考虑可行函数集中每个函数调用时实参需要进行的类型转换级别&＃xff0c;每个实参的一系列类型转换可以描述为一个转换序列。一般的标准转换序列是这样一个序列&＃xff1a;左值转换->提升、标准转换->限定修饰符转换&＃xff1b;另外用户定义的转换序列是这样一个序列&＃xff1a;标准转换用->户定义的转换->标准转换&＃xff0c;也就是说用户定义转换序列中是不允许两个或多个用户定义的转换在同一个转换序列中出现。评判一个转换序列的好坏的标准是考察这个转换序列中最低级别的一个转换。当两个转换序列中最低级别的转换相同时则需要限定修饰符转换的序列比不需要限定修饰符转换的序列差。当两个重载函数中形参到实参的转换序列中包含相同的用户定义转换&＃xff0c;那么判断这个转换序列的好坏标准是之前&＃xff08;或之后&＃xff09;的一个标准转换。当这两个序列中的用户定义转换不同时&＃xff0c;那么将不作比较直接出现二义性错误。

所有的转换被分为精确匹配、提升、标准转换、用户定义的转换。这些转换被分级&＃xff0c;其中精确匹配好于提升&＃xff0c;提升好于标准转换&＃xff0c;标准转换好于用户定义的转换。

所谓限定修饰符转换指的是从非指向常量的指针实参到指向常量的指针形参之间的转换。而按值传递中形参与实参的常量于非常量之间并不存在任何转换。

对于类中的成员函数也能重载&＃xff0c;当解析这些类的成员函数重载时&＃xff0c;只考虑::&＃xff0c;.&＃xff0c;->的左操作数所代表类域中相关函数的名字。当然解析过程首先进行&＃xff0c;并遵循在&＃xff08;一&＃xff09;中描述的细节&＃xff0c;此时并不考虑访问权限。当解析结束后编译器将检查最佳可行函数的访问权限&＃xff0c;如果不可方位则出现编译错误。

操作符解析的过程也遵循&＃xff08;一&＃xff09;中描述的步骤和细节&＃xff0c;其唯一的不同之处在于候选函数的集合&＃xff0c;操作符重载的解析过程中候选函数集合是以下几个集合的并集&＃xff1a;1.调用点可见的同名函数&＃xff1b;2.对于有实参在名字空间中定义&＃xff0c;则名字空间中定义的同名函数&＃xff1b;3.如果实参是类类型&＃xff0c;则类中同名的友元函数&＃xff1b;4.如果操作符的左操作符是类类型&＃xff0c;则类中同名的操作符重载成员函数&＃xff1b;5.内置类型的操作符重载成员函数。

普通函数和模板函数可以构成一个重载集合。对于这种重载集合&＃xff0c;首先将在调用点根据函数实参对模板参数进行推演&＃xff0c;当模板参数推演成功&＃xff0c;如果此时不存在相应参数的模板特化那么通用模板的相应实例化将被放入候选函数集合否则模板特化将被放入候选函数集合。值得注意的是当模板参数推演失败时并不会有任何模板函数的实例化或者特化被放入候选函数集中。当模板解析过程中出现模板实例化和普通函数产生二义性时模板函数将被删除&＃xff0c;普通函数由于拥有较高的优先性而被选择。

继承对于重载解析的影响体现在两个方面&＃xff1a;

1.对于候选函数和可行函数的影响&＃xff1a;由于派生类的函数会覆盖掉基类的同名函数而不是形成一个重载函数集&＃xff0c;所以会对候选函数和可行函数的集合中函数的数量产生影响。

2.对于转换的影响&＃xff1a;派生类对象、指针、引用到基类对象、指针、引用的转换都被视作标准转换&＃xff0c;而基类对象、指针、引用到派生类的对象、指针、引用并不存在隐式转换。

来源&＃xff1a;(http://blog.sina.com.cn/s/blog_4bd5fab0010008ut.html) - 四月十六日C&＃43;&＃43;学习笔记&＃xff0d;&＃xff0d;&＃xff0d;函数重载解析_西元_新浪博客