Стенли Липпман - Язык программирования C++. Пятое издание

Добавление класса Disc_quoteв иерархию Quoteявляется примером рефакторинга (refactoring). Рефакторинг подразумевает переделку иерархии классов с передачей некоторых функций и/или данных из одного класса в другой. Рефакторинг весьма распространен в объектно-ориентированных приложениях.

Примечательно, что, несмотря на изменение иерархии наследования, код, который использует классы Bulk_quoteи Quote, изменять не придется. Но после рефакторинга классов (или любых других измененный) следует перекомпилировать весь код, который использует эти классы.

Упражнение 15.15. Определите собственные версии классов Disc_quoteи Bulk_quote.

Упражнение 15.16. Перепишите класс из упражнения 15.2.2 раздела 12.1.6, представляющий ограниченную стратегию скидок, так, чтобы он происходил от класса Disc_quote.

Упражнение 15.17. Попытайтесь определить объект типа Disc_quoteи посмотрите, какие сообщения об ошибке выдал компилятор.

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

Как уже упоминалось, класс использует защищенные члены в тех случаях, когда желает предоставить к ним доступ из производных классов, но защитить их от общего доступа. Спецификатор доступа protectedможно считать гибридом спецификаторов privateи public.

• Подобно закрытым, защищенные члены недоступны пользователям класса.

• Подобно открытым, защищенные члены доступны для членов и друзей классов, производных от данного класса.

Кроме того, защищенный член имеет еще одно важное свойство.

• Производный член класса или дружественный класс может обратиться к защищенным членам базового класса только через объект производного. У производного класса нет никакого специального способа доступа к защищенным членам объектов базового класса.

Чтобы лучше понять это последнее правило, рассмотрим следующий пример:

class Base {

protected:

int prot_mem; // защищенный член

};

class Sneaky : public Base {

friend void clobber(Sneaky&); // есть доступ к Sneaky::prot_mem

friend void clobber(Base&); // нет доступа к Base::prot_mem

int j; // j по умолчанию закрытая

};

// ok: clobber может обращаться к закрытым и защищенным членам Sneaky

void clobber(Sneaky &s) { s.j = s.prot_mem = 0; }

// ошибка: clobber не может обращаться к защищенным членам Base

void clobber(Base &b) { b.prot_mem = 0; }

Если производные классы (и друзья) смогут обращаться к защищенным членам в объекте базового класса, то вторая версия функции clobber(получающая тип Base&) будет корректна. Хоть эта функция и не дружественна классу Base, она все же сможет изменить объект типа Base; для обхода защиты спецификатором protectedлюбого класса достаточно определить новый класс по линии Sneaky.

Для предотвращения такого способа применения члены и друзья производного класса могут обращаться к защищенным членам только тех объектов базового класса, которые встроены в объект производного; к обычным объектам базового типа у них никакого доступа нет.

Доступ к члену наследуемого класса контролируется комбинацией спецификатора доступа этого члена в базовом классе и спецификатором доступа в списке наследования производного класса. Для примера рассмотрим следующую иерархию:

class Base {

public:

void pub_mem(); // открытый член

protected:

int prot_mem; // защищенный член

private:

char priv_mem; // закрытый член

};

struct Pub_Derv : public Base {

// ok: производный класс имеет доступ к защищенным членам

int f() { return prot_mem; }

// ошибка: закрытые члены недоступны производным классам

char g() { return priv_mem; }

};

struct Priv_Derv : private Base {

// закрытое наследование не затрагивает доступ в производном классе

int f1() const { return prot_mem; }

};

Спецификатор доступа наследования никак не влияет на возможность членов (и друзей) производного класса обратиться к членам его собственного прямого базового класса. Доступ к членам базового класса контролируется спецификаторами доступа в самом базовом классе. Структуры Pub_Dervи Priv_Dervмогут обращаться к защищенному члену prot_mem, но ни одна из них не может обратиться к закрытому члену priv_mem.