Реализация защищенного/частного наследования компилятор

Question

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

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

тогда я не могу создать производные объекты класса, как: -

B* ptr = new D; 

Если я проверить разницу сборки этого кода против ассемблерного кода класса D, получающего из класса B публично, я не нахожу никакого отличия.

Может ли кто-нибудь объяснить, как и на какой стадии компилятор проводит различие между государственным/защищенным и частным наследством.

Answer 1

Компилятор проверяет защиту (публичный/частный) во внешнем интерфейсе при разборе кода. Как только он доберется до оптимизатора и генерации кода, они исчезли.

Answer 2

private означает: «Может быть доступен только внутри класса или друзей класса»

Частного наследство такого же, как общественное наследование; но существуют ограничения на код, который может получить доступ к тому факту, что D унаследован от B. Так как вы можете делать все то же самое с частным наследованием, как и с наследованием общего пользования (но только в ограниченной области), имеет смысл, что эти два реализованы одинаково.

Ваша претензия на то, что вы не можете создавать производные классы с B* ptr = new D;, верна только в том случае, если вы не в области D; например, это работает:

class B{}; 
class D : private B{ 
    public: 
    void makeB() { 
     B* ptr = new D; 
    } 
}; 

Answer 3

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

Затем он продолжает выдавать некоторый машинный код (возможно, через язык ассемблера).

До тех пор, пока вы не нарушили правила C++, он может выполнять реализацию в машинный код.

Таким образом, на этом этапе частный/общественный/защищенный или что-то еще не имеет значения. Выше цепи, которую вы защитили

Answer 4

Компилятор проверяет доступ и дает ошибку компиляции, если базовый класс недоступен. Нет необходимости передавать другой код исполняемому файлу.

Бывают случаи, когда может испускаться другой код (например, использование RTTI, dynamic_cast и т. Д., Которые выполняют проверки типа времени выполнения), но вы не используете это в этом случае.

Кстати,

B* ptr = new D; 

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

Answer 5

Вы ошибаетесь.Вы, конечно, может создавать объекты:

D* pd = new D; 

Вы не, однако, отливатьD объекта для базового типа B, из-за своей «частной» сферы.
Вы можете увидеть это, например, с помощью этого кода:

D d;    // created successfully 
B *pd = & d;  // forbidden 
B &pb = d;  // forbidden 

Сообщения очевидны:

'type cast' : conversion from 'D *' to 'B *' exists, but is inaccessible 
'type cast' : conversion from 'D *' to 'B &' exists, but is inaccessible 

, что означает объект D d существует и может рассматриваться как тип B, он просто невозможно получить доступ в этом контексте.

Вот почему вы не видите разницы в монтаже: операции, которые разрешены, выглядят одинаково в обоих случаях, что отличает то, что некоторые операции не разрешены.