C++中的名字查找问题解答

    朋友最近发邮件问我两个问题。内容如下（为了更适合阅读，我做了简单修改。译者在此基础上又做了修改）：

    我在C++的多继承上遇到了很大麻烦。

    如图1，A、B1和B2为纯抽象类；C从B1、B2多继承，且实现了全部父类的抽象方法。

图1

    现在：

                   为什么编译器不报“二义性”（ambiguity）错误呢？

    而按图2结构实现继承关系后：

图2

    编译器（VC++）认为有二义性。经调试我发现编译过程中使用了“adjustor thunk”（译者注：具体请参看http://blog.sina.com.cn/u/491874bb010004xq或Stan Lippman的《Inside the C++ Object Model》）。希望您能解答这两个问题，以帮助我更好理解C++（更确切的说是VC++）中的MI（多继承）机制。

    好，我们深入研究下这个问题。

    上述编译器行为的差异，与继承关系的复杂度、vtable以及adjustor thunk并无直接关系，它其实就是一个名字查找（name lookup）过程（以本例而言，就是查找方法“Method_of_A”）。

    在C++中，函数编译时检查过程如下：

    第一步，执行名字查找（name lookup）：在调用类中查找，并生成候选列表；若候选列表为空，再扩大查找范围（如名字空间内，或父类）；如此循环。如果最终无结果，那么抱歉，就会提示你“名字未能找到”；否则，编译器跳到第二步。

    第二步，执行重载辨别（overload resolution）：如果第一步得到的候选者个数大于一，编译器将以传递给函数的参数及其类型为依据，尝试找到最佳答案。如果无法据此确定最优者，就会报告“存在二义性调用”。

    第三步，可见性检查（accessibility checking）：编译器检查是否可真正执行调用（比如，被调用函数是否是私有的）。

    总而言之一句话，上述三个过程，都实现于对象的静态类型基础上，与实例无关。

    问题1：

    名字查找就只会在C中进行，根本不会达到A，实际就是直接调用C：：Method_of_A.

    而在问题2中：