Без явных преобразований полиморфная переменная позволяет:
- обращаться к
операциям статического типа, но с учетом их новых версий в динамическом типе
- обращаться к операциям динамического типа,
которых нет в статическом типе
- обращаться к операциям статического типа в той реализации,
которая заявлена в статическом типе
- хранить
разнотипные значения
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.