Я нашел в одной статье высказывание "static_cast используется для преобразования не полиморфных типов, а dynamic_cast используется для преобразования типов полиморфных ", Я понимаю, что int и double не являются полиморфными типами.

Однако я также обнаружил, что static_cast может использоваться между базовым классом и производным классом. Что здесь означает полиморфный тип? Некоторые люди говорят, что полиморфный тип означает базовый класс с виртуальной функцией. Это правильно? Это единственная ситуация? Что-то еще? Кто-нибудь может уточнить это для меня больше?