Модификаторы доступа

В C++ существует три модификатора доступа к членам классов и структур:

• public - доступ для всех

• protected - доступ только для самого класса и его наследников

• private - доступ только для самого класса

Эти же модификаторы можно указывать при наследовании:

struct B : public A {...}; struct C : protected A {...}; struct D : private A {...};        

Если модификатор не указан, то по умолчанию для структур наследование public, для классов private.

public-наследование позволяет установить между классами отношение ЯВЛЯЕТСЯ. Т.е., если класс B открыто унаследован от A, то объект класса B ЯВЛЯЕТСЯ объектом класса A, но не наоборот.

private наследование выражает отношение РЕАЛИЗОВАНО_ПОСРЕДСТВОМ. Если класс B закрыто унаследован от A, то можно говорить, что объект класса B реализован посредством объекта класса A. В большинстве случаев закрытое наследование можно заменить агрегацией.

Следует отметить тот факт, что закрытый(private) виртуальный метод базового класса нельзя вызвать из наследника, но без проблем можно переопределить.

Ковариантность

Пусть имеется класс A, и класс B - его наследник. Тогда возможно определить классы C и D, с виртуальным методом f()следующим образом:

struct A {...}; struct B : A {...}; struct C {         virtual A * f(); }; struct D : C {         virtual B * f(); }        

Такая возможность в C++ называет ковариантностью по типу возвращаемого значения (return type covariance).