Архив форумов ЦИТФорума

[konichiwa@rambler.ru]

Здравствуйте, друзья!
Хотел бы задать гуру С++ глупый вопрос.
Имеется сампл кода следующего вида:

class a
{
public:
virtual void f(void)=0;
};

class b: public a
{
// void f(void);

};

void b::f(void)
{

}

Почему он компилируется только если присутствует определение метода в классе-наследнике. Почему нельзя обойтись без него, ведь декларация метода есть в классе-родителе? Какой в этом глубокий смысл? Почему привидённый код не компилируется в привидённом виде, с закоментаренным определением? MSVC выдаёт error C2509: 'f' : member function not declared in 'b'

Заранее спасибо за ответы.

[Wladimir]

В смысле? Ну так он же определён в родителе как чистый виртуальный метод.

[konichiwa@rambler.ru]

Это понятно. Но почему не может компилироваться такой код:

class a
{
public:
virtual void f(void)=0;
};

class b: public a
{
};

void b::f(void)
{
}

Что, компилятору в таком случае будет неизвестно о каком виртуальном методе идёт речь?

[Wladimir]

В более ранних реализациях C++ (стандарт AT&T 2.0) вообще запрещалось наследование чистой виртуальной функции.
Сейчас, насколько я знаю, виртуальная должна быть переобъявлена в порождённом классе либо как виртуальная, либо как обычная.