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;
}
Итак, один и тот же объект при прямом использовании дает разные результаты, а при использовании через указатель того же типа дает разные результаты !!!