1

Подскажите, пожалуйста, почему правила C++ запрещают неявное приведение типа при использовании приватного наследования?

Происходит ли тоже самое при защищенном наследовании?

6
  • да, происходит. А почему - ну зачем-то приватное ставили. Видимо не просто так же.
    – pavel
    Commented 24 янв. 2020 в 12:59
  • 1
    да, тут важно знать, что класс наследует закрыто или защищенно, значит все защищенные и открытые члены базового класса как бы становятся закрытыми / защищенными членами производного. Только методы производного класса(и друзья) могут присвоить свой указатель указателью базового класса... Для защищенного наследования еще и их наследники(их методы)... Commented 24 янв. 2020 в 13:01
  • 2
    Закрытое / защищенное наследование не делает класс разновидностью базового. Производный класс не является, а пользуется базовым классом. Commented 24 янв. 2020 в 13:08
  • 2
    Ничего они не запрещают. Закрытое / защищенное наследование также делает класс разновидностью базового. А спецификатор доступа только ограничивает область применения приведения к базовому типу. Пример class A{}; void F(A &){} class B: A { B(){ F(*this); } }; Commented 24 янв. 2020 в 13:33
  • @user7860670, тут F является функцие_членм, естественно она может рассмотреть ссылться на свой обьект через ссыльку на базовый класс. Еслибы он был разновидностью, то внешние функции тоже могли бы сделать то же самое. Если самолет некоторыми атрибутами похож на птицу, это не значит, что самолет является разновидностью птиц(он может вести себя как птица) Commented 24 янв. 2020 в 15:36

1 ответ 1

0

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

А если рука очень важна и сделана приватной, то и приватность это и делает запрет удалённого управления. А приведение типа это как раз даёт удалённое управление.

Чтобы хорошо представить принцип наследование можно посмотреть на стандартное , и именованное. Принцип одинаковый. Синтаксис чуток отличается.

class Base {
public :
  void Fun ( ) ;
} ;

// стандартное наследование
class Son : private Base {
public :
private :
} ;

// именованное наследование
class Son2 {
public :
private :
  operator Base & ( ) { return left ; }
  Base left ;
} ;

int main ( ) {
  Son s ;
  
  // static_cast < Base  & > ( s ) . Fun ( ) ;
  // error: ‘Base’ is an inaccessible base of ‘Son’
    
  Son2 s2 ;
  
  // s2 . left . Fun ( ) ;
  // error: ‘Base Son2::left’ is private within this context

  // static_cast < Base  & > ( s2 ) . Fun ( ) ;
  // error: ‘Son2::operator Base&()’ is private within this context
}

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.