Я дам вам несколько коротких замечаний, вы можете использовать это, чтобы объяснить концепцию самостоятельно.
Прежде всего, я надеюсь, вы знаете, что такое неявное преобразование типов .
В этом сценарии указатель на объект базового класса должен указывать на объект производного класса. Вы можете увидеть: Указатель базового класса может указывать на объект производного класса. Почему наоборот не так?
На самом деле этот вопрос содержит ответ на первую часть вашего вопроса, обратное неверно .
Что касается явления, этот указатель может принимать несколько форм . Полиморфизм .
Добро пожаловать в SO, перед тем, как отправлять вопросы, на которые вы можете найти ответ самостоятельно, нужно немного поинтересоваться:)