为什么使用声明不能解决钻石问题？

Question

请考虑以下代码：

struct A
{
    void f()
    {
    }
};

struct B1 : A
{
};

struct B2 : A
{
};

struct C : B1, B2
{
    void f() // works
    {
        B1::f();
    }
    //using B1::f; // does not work
    //using B1::A::f; // does not work as well
};

int main()
{
    C c;
    c.f();

    return 0;
}

我恳请您不要复制粘贴有关如何解决菱形问题（“使用虚拟继承”）的标准回复。我在这里要问的是为什么在这种情况下使用声明不起作用。确切的编译器错误是：

In function 'int main()':
prog.cpp:31:6: error: 'A' is an ambiguous base of 'C'
  c.f();

我从这个例子中得到了一个使用声明应该起作用的印象：

struct A
{
    void f()
    {
    }
};

struct B
{
    void f()
    {
    }
};

struct C : A, B
{
    using A::f;
};

int main()
{
    C c;
    c.f(); // will call A::f

    return 0;
}

Answer 1

[namespace.udecl]/p17 中有一条注释直接解决了这种情况：

[ 注意：因为 using-declaration 指定了一个基类成员 （而不是成员子对象或基类的成员函数 子对象），using-declaration 不能用于解析继承 成员歧义。例如，

struct A { int x(); };
struct B : A { };
struct C : A {
    using A::x;
    int x(int);
};
struct D : B, C {
    using C::x;
    int x(double);
};
int f(D* d) {    
    return d->x(); // ambiguous: B::x or C::x
}

—尾注 ]

Answer 2

其他人可以找到标准报价，但我将在概念上进行解释。

它不起作用，因为 using-declaration 只会影响名称查找。

您的 using-declaration 导致名称查找成功，否则它会失败，也就是说，它告诉编译器 在哪里可以找到函数 f。 但它不告诉它A 子对象f 作用于哪个，也就是说，当调用f 时，哪个将作为隐式this 参数传递。

即使C 有两个A 子对象，也只有一个函数A::f，并且它采用this 类型的隐式this 参数A*。为了在C 对象上调用它，C* 必须隐式转换为A*。这总是模棱两可的，不受任何using-declarations的影响。

(如果将数据成员放在A 中，这更有意义。那么C 将有两个这样的数据成员。当f 被调用时，如果它访问数据成员，它会访问继承自B1 的A 子对象，还是继承自B2 的A 子对象？）

Answer 3

除了 T.C. 的回答，我想补充一点，派生类中的名称查找在 10.2 节中的标准中进行了非常详细的解释。

这里是关于处理使用声明的内容：

10.2/3： 查找集 (...) 由两个组件集组成：声明集、名为 f 的成员集；和子对象集，一组子对象，其中声明这些成员（可能包括 使用声明）被发现。在声明集中，using-declarations 被它们指定的成员替换，类型声明（包括 injection-class-names) 被它们指定的类型替换。

所以当你尝试在struct C 中声明时

using B1::f; // you hope to make clear that B1::f is to be used

根据查找规则，您的编译器仍然会找到可能的候选者：B1::f 和 B2::f，因此它仍然是模棱两可的。