using 声明是否应该隐藏继承的虚函数？

Question

struct level0
{
  virtual void foo() = 0;
};

struct level1 : level0
{
  virtual void foo() { cout <<" level1  " << endl; }
};

struct level2 : level1
{
  virtual void foo() { cout <<" level2 " << endl; }
};

struct level3 : level2
{
  using level1::foo;
};

int main()
{
  level1* l1 = new level3;
  l1->foo();
  level3 l3;
  l3.foo();
  return 0;
}

上面使用 gcc 的代码给出了

level2
level1

但在 icc 中给出了

 level2
 level2

哪一个是正确的还是标准未定义的？

编辑： 这证明肯定存在错误，请考虑以下 main 函数

int main()
{
    level3 l3;
    l3.foo();               // This prints level1

    level3* pl3 = &l3;
    pl3->foo();             // This prints level2

    level3& rl3 = l3;
    rl3.foo();              // This prints level1

    level3& rpl3 = *pl3;
    rpl3.foo();             // This prints level2

    return 0;
}

因此，同一对象直接使用时会产生不同的结果，而通过相同类型的指针使用时会产生不同的结果！

Answer 1

标准第 10.3p2 节中的示例清楚地表明，使用声明不会覆盖虚函数。

这是一个已知的 g++ 错误。

正如您所注意到的，当通过引用或指针调用成员函数时，而不是在动态类型已知的情况下，错误不会发生。

Answer 2

using level1::foo; 在 level3 类中引入了 foo 函数，该函数引用 level1::foo。

在用作成员声明的 using 声明中，嵌套名称说明符应命名所定义类的基类。这样的 using 声明引入了通过成员名称查找找到的声明集。

然而，由于 level1::foo 是虚拟的，我想通过调用它你应该调用 level2::foo ，因此 icc 应该是正确的。

无论如何，我不太确定。

Answer 3

当然，获得 level1 level1 的方法是：

struct level3 : level2
{
   virtual void foo() { level1::foo(); }
};

您的“using”指令似乎是在通知编译器，如果您有 level3 并在其上调用 foo，它应该调用 level1 版本，但它不会将其覆盖到 v -桌子。

gcc 由于不一致而看起来错误，不确定 icc 因为我不知道标准表示什么。