Объясните, что такое приведение типов в объектно-ориентированных языках, используя примеры UpCast и DownCast