Должно ли объявление использования скрывать унаследованную виртуальную функцию? - PullRequest
Новая
       48

Должно ли объявление использования скрывать унаследованную виртуальную функцию?

7 голосов
/ 12 января 2011 
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

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

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

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

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

Ответы [ 3 ]

5 голосов
/ 12 января 2011

Пример в разделе Standard 10.3p2 проясняет, что с помощью объявлений не переопределяются виртуальные функции.

Это известная ошибка g ++ .

Как вы заметили, при вызове функции-члена через ссылку или указатель, а не в случае, когда известен динамический тип, ошибка не возникает.

1 голос
/ 12 января 2011

using level1::foo; представляет функцию foo в классе level3, которая относится к level1::foo.

В объявлении использования, используемом в качестве объявления члена, спецификатор вложенного имени должен называть базовый класс определяемого класса. Такое объявление использования представляет набор объявлений, найденных при поиске имени члена.

Однако, поскольку level1::foo является виртуальным, я думаю, что, вызывая его, вы должны вызвать level2::foo, поэтому icc должен быть правильным.

Во всяком случае, я не уверен.

0 голосов
/ 12 января 2011

Конечно, способ получить level1 level1 будет следующим: 

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

Ваша директива using использует компилятор, который, если у вас есть level3 и вызывает foo, должен вызыватьверсия level1, но она не перезаписывает это в v-таблицу.

gcc выглядит неправильно из-за несоответствия, не уверен насчет icc, потому что я не знаю, что указывает стандарт.

...