Добавление тела к чистой виртуальной/абстрактной функции в C++?

Question

Чистая виртуальная функция не должна иметь тело, но я только что заметил, что следующий код принимается компилятором:

class foo 
{ 
    virtual void dummy() = 0 
    { 
     cout << "hello"; 
    } 
}; 

Итак, почему чистые виртуальные функции разрешают иметь тело? Кроме того, даже если функция имеет тело, класс все еще не может быть создан, почему?

Answer 1

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

Вы можете выполнить чистый виртуальный метод из производного метода (используя явный BaseClass::method()), но все же вы должны обеспечить реализацию.

Невозможно создать экземпляр класса с использованием чистого виртуального метода, который не был переопределен - это основная точка чистой виртуальной декларации. Другими словами, идея объявления метода чисто виртуального заключается в том, чтобы гарантировать, что программист не забудет о предоставлении его реализации.

Answer 2

Вообще говоря, абстрактный класс используются для определения интерфейсу и/или частичной реализации и предназначен для наследуются конкретными классами. Это способ обеспечить соответствие contract между классом дизайнеров и пользователей этого класса, независимо от того, что они.

Если вам не нужен этот контракт и вы хотите создать экземпляр, не применяйте его к абстрактному классу, то есть удалите = 0.

Если ваша проблема почему бы чисто виртуальные функции имеют тело, в первую очередь, то один хороший пример может быть эта цитата из Эффективное C++ книги Скотт Мейерс:

Производные классы, которые реализуют этот чистая виртуальная функция может вызывать эту реализацию где-то в своем коде. Если часть кода имеет два разных производных класса, то имеет смысл переместить в иерархию, даже если функция должна быть чистой виртуальной.

Другим примером является чисто виртуальный деструктор (который также является функцией, кстати):

... 

virtual ~foo() = 0; 

... 

foo::~foo() {} // required! 

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