Предполагается ли, что объявление-использования скрывает унаследованную виртуальную функцию?

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

Какой из них правильный или он не определен стандартом?

Изменить: Это однозначно доказывает наличие ошибки, рассмотрим следующую основную функцию

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;
}

Итак, один и тот же объект при прямом использовании дает разные результаты, а при использовании через указатель того же типа дает разные результаты !!!

7
задан balki 12 January 2011 в 17:10
поделиться