it-swarm.xyz

Разница между частным, публичным и защищенным наследством

В чем разница между наследованием public, private и protected в C++? Все вопросы, которые я нашел в SO, касаются конкретных случаев.

917
user106599

Чтобы ответить на этот вопрос, я хотел бы сначала описать методы доступа участников своими словами. Если вы уже знаете это, перейдите к заголовку "следующий:".

Мне известны три метода доступа: public, protected и private.

Позволять:

class Base {
    public:
        int publicMember;
    protected:
        int protectedMember;
    private:
        int privateMember;
};
  • Все, что знает о Base, также знает, что Base содержит publicMember.
  • Только дети (и их дети) знают, что Base содержит protectedMember.
  • Никто, кроме Base, не знает о privateMember.

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

следующий:

То же самое происходит с публичным, частным и защищенным наследством. Давайте рассмотрим класс Base и класс Child, который наследуется от Base.

  • Если наследование public, все, кто знает о Base и Child, также знает, что Child наследует от Base.
  • Если наследование protected, только Child и его дочерние элементы знают, что они наследуют от Base.
  • Если наследование private, никто кроме Child не знает о наследовании.
981
Anzurio
class A 
{
public:
    int x;
protected:
    int y;
private:
    int z;
};

class B : public A
{
    // x is public
    // y is protected
    // z is not accessible from B
};

class C : protected A
{
    // x is protected
    // y is protected
    // z is not accessible from C
};

class D : private A    // 'private' is default for classes
{
    // x is private
    // y is private
    // z is not accessible from D
};

ВАЖНОЕ ПРИМЕЧАНИЕ: все классы B, C и D содержат переменные x, y и z. Это просто вопрос доступа.

Об использовании защищенного и частного наследования вы можете прочитать здесь .

1344
Kirill V. Lyadvinsky

Ограничение видимости наследования сделает код неспособным увидеть, что какой-то класс наследует другой класс: неявные преобразования из производного в базовый не будут работать, и static_cast из базового в производный также не будет работать.

Только члены/друзья класса могут видеть личное наследование, и только члены/друзья и производные классы могут видеть защищенное наследование.

публично наследование

  1. ИС-А наследство. Кнопка - это окно, и везде, где требуется окно, кнопка также может быть передана.

    class button : public window { };
    

защищено наследование

  1. Защищено реализовано в сроках. Редко полезно. Используется в boost::compressed_pair для извлечения из пустых классов и экономии памяти с помощью оптимизации пустого базового класса (в приведенном ниже примере шаблон не используется, чтобы оставаться в точке):

    struct empty_pair_impl : protected empty_class_1 
    { non_empty_class_2 second; };
    
    struct pair : private empty_pair_impl {
      non_empty_class_2 &second() {
        return this->second;
      }
    
      empty_class_1 &first() {
        return *this; // notice we return *this!
      }
    };
    

личное наследование

  1. Реализована-в-ухудшений условий. Использование базового класса только для реализации производного класса. Полезно с чертами и если размер имеет значение (пустые черты, которые содержат только функции, будут использовать пустую оптимизацию базового класса). Часто сдерживание , тем не менее, является лучшим решением. Размер строк имеет решающее значение, поэтому здесь его часто используют.

    template<typename StorageModel>
    struct string : private StorageModel {
    public:
      void realloc() {
        // uses inherited function
        StorageModel::realloc();
      }
    };
    

общедоступный участник

  1. Заполнитель

    class pair {
    public:
      First first;
      Second second;
    };
    
  2. Accessors

    class window {
    public:
        int getWidth() const;
    };
    

защищенный участник

  1. Предоставление расширенного доступа для производных классов

    class stack {
    protected:
      vector<element> c;
    };
    
    class window {
    protected:
      void registerClass(window_descriptor w);
    };
    

личное участник

  1. Сохранить детали реализации

    class window {
    private:
      int width;
    };
    

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

105
Johannes Schaub - litb

Это связано с тем, как открытые члены базового класса выставляются из производного класса.

  • public -> публичные члены базового класса будут публичными (обычно по умолчанию)
  • protected -> публичные члены базового класса будут защищены
  • private -> публичные члены базового класса будут приватными

Как указывает Литб, публичное наследование - это традиционное наследование, которое вы увидите в большинстве языков программирования. То есть он моделирует отношения "IS-A". Частное наследование, то, что AFAIK свойственно C++, является отношением "РЕАЛИЗОВАНО В УСЛОВИЯХ". То есть вы хотите использовать открытый интерфейс в производном классе, но не хотите, чтобы пользователь производного класса имел доступ к этому интерфейсу. Многие утверждают, что в этом случае вы должны агрегировать базовый класс, то есть вместо того, чтобы базовый класс был закрытым, сделать членом члена производного, чтобы повторно использовать функциональные возможности базового класса.

62
Doug T.

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

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

enter image description here

Таблица выше интерпретируется следующим образом (взгляните на первый ряд):

если компонент объявлен как открытый и его класс унаследован как открытый = результирующий доступ является общедоступным.

Пример:

 class Super {
    public:      int p;
    private:     int q;
    protected:   int r;
 };

 class Sub : private Super {};

 class Subsub : public Sub {};

Полученный доступ к переменным p, q, r в классе Subsub равен нет.

Другой пример:

class Super {
    private:     int x;
    protected:   int y;
    public:      int z;
 };
class Sub : protected Super {};

Результирующий доступ для переменных y, z в классе Sub равен защищен, а для переменной x равен нет.

Более подробный пример:

class Super {
private:
    int storage;
public:
    void put(int val) { storage = val;  }
    int  get(void)    { return storage; }
};
int main(void) {
    Super object;

    object.put(100);
    object.put(object.get());
    cout << object.get() << endl;
    return 0;
}

Теперь давайте определим подкласс:

class Sub : Super { };

int main(void) {
    Sub object;

    object.put(100);
    object.put(object.get());
    cout << object.get() << endl;
    return 0;
}

Определенный класс с именем Sub, который является подклассом класса с именем Super или этот класс Sub является производным от класса Super. Класс Sub не вводит ни новых переменных, ни новых функций. Означает ли это, что какой-либо объект класса Sub наследует все черты после того, как класс Super фактически является копией объектов класса Super?

Нет. Это не так.

Если мы скомпилируем следующий код, мы получим только ошибки компиляции, говорящие о том, что методы put и get недоступны. Зачем?

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

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

class Sub : public Super { };

Не вводите в заблуждение : это не означает, что частные компоненты класса Super (например, переменная хранения) в некоторой степени превратятся в публичные. волшебный путь. Private компоненты останутся private, public останутся public.

Объекты класса Sub могут выполнять "почти" те же действия, что и их старшие братья и сестры, созданные из класса Super. "Почти" , потому что факт, что он является подклассом, также означает, что класс потерял доступ к закрытым компонентам суперкласса. Мы не можем написать функцию-член класса Sub, которая могла бы напрямую манипулировать переменной хранения.

Это очень серьезное ограничение. Есть ли обходной путь?

Да.

Третий уровень доступа называется защищен. Ключевое слово protected означает, что компонент, помеченный им ведет себя как общедоступный, когда используется любым из подклассов, и выглядит как частный для остального мира. - Это верно только для публично унаследованных классов (например, суперкласса в нашем примере) -

class Super {
protected:
    int storage;
public:
    void put(int val) { storage = val;  }
    int  get(void)    { return storage; }
};

class Sub : public Super {
public:
    void print(void) {cout << "storage = " << storage;}
};

int main(void) {
    Sub object;

    object.put(100);
    object.put(object.get() + 1);
    object.print();
    return 0;
}

Как вы видите в примере кода, мы добавили новую функциональность в класс Sub, и она делает одну важную вещь: она обращается к переменной хранения из класса Super.

Это было бы невозможно, если бы переменная была объявлена ​​как private. В области видимости основной функции переменная все равно остается скрытой, поэтому, если вы напишите что-то вроде:

object.storage = 0;

Компилятор сообщит вам, что это error: 'int Super::storage' is protected.

Наконец, последняя программа выдаст следующий вывод:

storage = 101
57
BugShotGG
Member in base class : Private   Protected   Public   

Тип наследования: Объект, унаследованный как:

Private            :   Inaccessible   Private     Private   
Protected          :   Inaccessible   Protected   Protected  
Public             :   Inaccessible   Protected   Public
35
kinshuk4

1) Общественное наследование:

а. Частные члены Базового класса не доступны в производном классе.

б. Защищенные члены базового класса остаются защищенными в производном классе.

с. Открытые члены Базового класса остаются публичными в производном классе.

Итак, другие классы могут использовать открытые члены класса Base через объект класса Derived.

2) Защищенное наследование:

а. Частные члены Базового класса не доступны в производном классе.

б. Защищенные члены базового класса остаются защищенными в производном классе.

с. Открытые члены Базового класса тоже становятся защищенными членами Производного класса.

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

) Частное наследство:

а. Частные члены Базового класса не доступны в производном классе.

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

Таким образом, никакие члены базового класса не могут быть доступны другим классам через объект класса Derived, поскольку они являются частными в классе Derived. Таким образом, даже подкласс класса Derived не может получить к ним доступ.

24
yuvi

Публичное наследование моделирует отношения IS-A. С

class B {};
class D : public B {};

каждый DявляетсяB.

Частное наследование моделирует отношения IS-IMPLEMENTED-USING (или как там это называется). С

class B {};
class D : private B {};

D - это неB, но каждое D использует свое B в своей реализации. Частное наследование всегда можно устранить, используя вместо этого сдерживание:

class B {};
class D {
  private: 
    B b_;
};

Это D также может быть реализовано с использованием B, в данном случае с использованием его b_. Сдерживание - это менее тесная связь между типами, чем наследование, поэтому в целом оно должно быть предпочтительным. Иногда использование сдерживания вместо частного наследования не так удобно, как частное наследование. Часто это неуместное оправдание лени.

Я не думаю, что кто-нибудь знает, что protected модели наследования. По крайней мере, я еще не видел убедительного объяснения.

19
sbi

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

Если вы наследуете защищенно, только ваши дети смогут использовать вас полиморфно.

Если вы наследуете конфиденциально, только вы сами сможете выполнять методы родительского класса.

Что в основном символизирует знания остальных классов о ваших отношениях с родительским классом

12
Arkaitz Jimenez

К защищенным членам данных могут обращаться любые классы, которые наследуются от вашего класса. Частные данные членов, однако, не могут. Допустим, у нас есть следующее:

class MyClass {
    private:
        int myPrivateMember;    // lol
    protected:
        int myProtectedMember;
};

Внутри вашего расширения к этому классу ссылка на this.myPrivateMember не будет работать. Тем не менее, this.myProtectedMember будет. Значение по-прежнему инкапсулировано, поэтому, если у нас есть экземпляр этого класса с именем myObj, то myObj.myProtectedMember не будет работать, поэтому он похож по функции на частный член данных.

9
Andrew Noyes
Accessors    | Base Class | Derived Class | World
—————————————+————————————+———————————————+———————
public       |      y     |       y       |   y
—————————————+————————————+———————————————+———————
protected    |      y     |       y       |   n
—————————————+————————————+———————————————+———————
private      |            |               |    
  or         |      y     |       n       |   n
no accessor  |            |               |

y: accessible
n: not accessible

На основании этого примера для Java ... Я думаю, что столик стоит тысячу слов :)

7
Enissay

Резюме:

  • Частный: никто не может видеть это, кроме как в классе
  • Защищено: частные + производные классы могут видеть это
  • Общественность: мир может это увидеть

При наследовании вы можете (на некоторых языках) изменить тип защиты элемента данных в определенном направлении, например, от охраняемой до публичной.

7
Roee Adler

Частный:

Закрытые члены базового класса могут быть доступны только членам этого базового класса.

Общественность:

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

Защищено:

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


Короче:

личное: база

защищено: база + производная

общедоступный: базовый + производный + любой другой участник

6
varun

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

Это из ссылок http://www.learncpp.com/cpp-tutorial/115-inheritance-and-access-specifiers/

class Base
{
public:
    int m_nPublic; // can be accessed by anybody
private:
    int m_nPrivate; // can only be accessed by Base member functions (but not derived classes)
protected:
    int m_nProtected; // can be accessed by Base member functions, or derived classes.
};

class Derived: public Base
{
public:
    Derived()
    {
        // Derived's access to Base members is not influenced by the type of inheritance used,
        // so the following is always true:

        m_nPublic = 1; // allowed: can access public base members from derived class
        m_nPrivate = 2; // not allowed: can not access private base members from derived class
        m_nProtected = 3; // allowed: can access protected base members from derived class
    }
};

int main()
{
    Base cBase;
    cBase.m_nPublic = 1; // allowed: can access public members from outside class
    cBase.m_nPrivate = 2; // not allowed: can not access private members from outside class
    cBase.m_nProtected = 3; // not allowed: can not access protected members from outside class
}
4
Prajosh Premdas

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

3
Dan Olson