Программирование. Принципы и практика использования C++ Исправленное издание - Бьёрн Страуструп

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

Эти определения игнорируют понятие дружественной функции или класса и другие детали, которые выходят за рамки рассмотрения нашей книги. Если хотите стать крючкотвором, читайте книги Stroustrup, The Design and Evolution of C++ (Страуструп, “Дизайн и эволюция языка С++”), The C++ Programming Language (Страуструп, “Язык программирования С++”) и стандарт 2003 ISO C++. Мы не рекомендуем вам становиться крючкотвором (т.е. вникать в мельчайшие детали языковых определений) — быть программистом (разработчиком программного обеспечения, инженером, пользователем, назовите как хотите) намного увлекательнее и полезнее для общества. 

14.3.5. Чисто виртуальные функции

Абстрактный класс — это класс, который можно использовать только в качестве базового. Абстрактные классы используются для представления абстрактных понятий; иначе говоря, мы используем абстрактные классы для описания понятий, которые являются обобщением общих характеристик связанных между собой сущностей. Описанию абстрактного понятия (abstract concept), абстракции (abstraction) и обобщению (generalization) посвящены толстенные книги по философии. Однако философское определение абстрактного понятия мало полезно. Примерами являются понятие “животное” (в противоположность конкретному виду животного), “драйвер устройства” (в противоположность драйверу конкретного вида устройств) и “публикация” (в противоположность конкретному виду книг или журналов). В программах абстрактные классы обычно определяют интерфейсы групп связанных между собой классов (иерархии классов).

class B {             // абстрактный базовый класс

public:

  virtual void f()=0; // чисто виртуальная функция

  virtual void g()=0;

};

B b; // ошибка: класс B — абстрактный

Интересное обозначение =0 указывает на то, что виртуальные функции B::f() и B::g() являются чистыми, т.е. они должны быть замещены в каком-то производном классе. Поскольку класс B содержит чисто виртуальную функцию, мы не можем создать объект этого класса. Замещение чисто виртуальных функций устраняет эту проблему.

class D1:public B {

public:

  void f();

  void g();

};

D1 d1; // OK

Несмотря на то что все чисто виртуальные функции замещаются, результирующий класс остается абстрактным.

class D2:public B {

public:

  void f();

  // no g()

};

D2 d2; // ошибка: класс D2 — (по-прежнему) абстрактный

class D3:public D2 {

  public:

    void g();

};

D3 d3; // OK

14.4. Преимущества объектно-ориентированного программирования

• Наследование интерфейса. Функция, ожидающая аргумент класса Shape (обычно в качестве аргумента, передаваемого по ссылке), может принять аргумент класса Circle (и использовать его с помощью интерфейса класса Shape).

• Наследование реализации. Когда мы определяем класс Circle и его функции-члены, мы можем использовать возможности (т.е. данные и функции-члены), предоставляемые классом Shape.