LVV>Это динамически происходит.
Что значит динамически?

LVV>"На место объекта базового класса МОЖНО подставить объект производного класса".
По-мойму это справедливо если классы наследники только добавляют новые методы. Если в классах наследниках происходит перекрытие методов базового класса, то такая подстановка сломает программу. Например базовый класс принтер, класс наследник цветной лазерный принтер. Метод печатать.

LVV>Обратно — нельзя.
с этим я абсолютно согласен

LVV>Будильник — это часы, но не всякие часы — будильник.
с этим я тоже абсолютно согласен