Подскажите, пожалуйста, почему правила C++
запрещают неявное приведение типа при использовании приватного наследования?
Происходит ли тоже самое при защищенном наследовании?
Базовый класс у класса наследника это только часть его (рука). Когда вы разрешаете управлять внешне рукой класса, то это вы полностью доверяете удалённому управлению.
А если рука очень важна и сделана приватной, то и приватность это и делает запрет удалённого управления. А приведение типа это как раз даёт удалённое управление.
Чтобы хорошо представить принцип наследование можно посмотреть на стандартное , и именованное. Принцип одинаковый. Синтаксис чуток отличается.
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
}
class A{}; void F(A &){} class B: A { B(){ F(*this); } };