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

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

class Base {

// добавлено объявление; другие члены, как прежде

friend class Pal; // у Pal нет доступа к классам, производным от Base

};

class Pal {

public:

int f(Base b) { return b.prot_mem; } // ok: Pal дружествен Base

int f2(Sneaky s) { return s.j; } // ошибка: Pal не

// дружествен Sneaky

// доступ к базовому классу контролируется базовым классом, даже в

// объекте производного

int f3(Sneaky s) { return s.prot_mem; } // ok: Pal дружествен

};

Факт допустимости функции f3()может показаться удивительным, но он непосредственно следует из правила, что все классы контролируют доступ к собственным членам. Класс Pal — друг класса Base, поэтому класс Palможет обращаться к членам объектов класса Base. Это относится и к встроенным в объект класса Baseобъектам классов, производных от него.

Когда класс объявляет другой класс дружественным, это относится только к данному классу, ни его базовые, ни производные классы никаких специальных прав доступа не имеют:

// у D2 нет доступа к закрытым или защищенным членам Base

class D2 : public Pal {

public:

int mem(Base b)

{ return b.prot_mem; } // ошибка: дружба не наследуется

};

Дружественные отношения не наследуются; каждый класс сам контролирует доступ к своим членам.

Иногда необходимо изменить уровень доступа к имени, унаследованному производным классом. Для этого можно использовать объявление using(см. раздел 3.1):

class Base {

public:

std::size_t size() const { return n; }

protected:

std::size_t n;

};

class Derived : private Base { // заметьте, наследование закрытое

public:

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

using Base::size;

protected:

using Base::n;

};

Поскольку класс Derivedиспользует закрытое наследование, унаследованные члены size()и nпо умолчанию будут закрытыми членами класса Derived. Объявления usingкорректируют доступность этих членов. Пользователи класса Derivedмогут обращаться к функции-члену size(), а классы, впоследствии произошедшие от класса Derived, смогут обратиться к переменной n.

Объявление usingв классе может использовать имя любого доступного (не закрытого) члена прямого или косвенного базового класса. Доступность имени, указанного в объявлении using, зависит от спецификатора доступа, предшествующего объявлению using. Таким образом, если объявление usingрасположено в разделе privateкласса, то имя будет доступно только для членов и друзей. Если объявление находится в разделе public, имя доступно для всех пользователей класса. Если объявление находится в разделе protected, имя доступно только для членов, друзей и производных классов.

Производный класс может предоставить объявление usingтолько для тех имен, доступ к которым разрешен.

В разделе 7.2 упоминалось о том, что у классов, определенных с использованием ключевых слов struct, и classразные спецификаторы доступа по умолчанию. Точно так же заданный по умолчанию спецификатор наследования зависит от ключевого слова, используемого при определении производного класса. По умолчанию у производного класса, определенного с ключевым словом class, будет закрытое наследование (private inheritance), а с ключевым словом struct— открытое (public inheritance):

class Base { /* ... */ };

struct D1 : Base { /* ... */ }; // открытое наследование по умолчанию

class D2 : Base { /* ... */ }; // закрытое наследование по умолчанию

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

Для закрытого наследования производный класс должен быть явно определен как private, не следует полагаться на поведение по умолчанию. Это ясно дает понять, что закрытое наследование применено преднамеренно, а не по оплошности.

Упражнение 15.18. С учетом классов Base и производных от него, и типов объектов, приведенных в комментариях, укажите, какие из следующих присвоений допустимы. Объясните, почему некорректны недопустимые.

Base *p = &d1; // d1 имеет тип Pub_Derv

p = &d2; // d2 имеет тип Priv_Derv

p = &d3; // d3 имеет тип Prot_Derv

p = &dd1; // dd1 имеет тип Derived_from_Public

p = &dd2; // dd2 имеет тип Derived_from_Private

p = &dd3; // dd3 имеет тип Derived_from_Protected

Упражнение 15.19. Предположим, у каждого из классов: Base и производных от него, есть функция-член в формате

void memfcn(Base &b) { b = *this; }

Укажите, была ли эта функция допустима для каждого класса.

Упражнение 15.20. Напишите код проверки ответов на предыдущие два упражнения.

Упражнение 15.21. Выберите одну из следующих общих абстракций, содержащих семейство типов (или любую собственную). Организуйте типы в иерархию наследования.

(a) Форматы графических файлов (например: gif, tiff, jpeg, bmp)

(b) Геометрические примитивы (например: box, circle, sphere, cone)

(c) Типы языка С++ (например: class, function, member function)

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

Каждый класс определяет собственную область видимости (scope) (см. раздел 7.4), в рамках которой определены его члены. При наследовании область видимости производного класса (см. раздел 2.2.4) вкладывается в области видимости его базовых классов. Если имя не найдено в области видимости производного класса, поиск его определения продолжается в областях видимости базовых классов.