Подтвердить что ты не робот

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

Относительно следующей программы на С++:

class Base { };

class Child : public Base { };

int main()
{   
    // Normal: using child as base is allowed
    Child *c = new Child();
    Base *b = c;

    // Double pointers: apparently can't use Child** as Base**
    Child **cc = &c;
    Base **bb = cc;

    return 0;
}

GCC производит следующую ошибку в последнем утверждении присваивания:

error: invalid conversion from ‘Child**’ to ‘Base**’

Мой вопрос состоит из двух частей:

  • Почему нет неявного преобразования с Child ** на Base **?
  • Я могу заставить этот пример работать с литором C-стиля или reinterpret_cast. Использование этих отливок означает выброс всех типов безопасности. Есть ли что-нибудь, что я могу добавить к определениям классов, чтобы сделать эти указатели неявно или, по крайней мере, фразой преобразования таким образом, чтобы я мог вместо этого использовать static_cast?
4b9b3361

Ответ 1

Если это разрешено, вы можете написать это:

*bb = new Base;

И c в конечном итоге укажет на экземпляр Base. Bad.