Почему в Dart 2.10 было принято решение отказаться от неявного приведения типов?

В Dart 2.10 отказ от неявного приведения типов (implicit downcasting) был обусловлен несколькими ключевыми причинами:

1. Улучшение безопасности кода: Неявное приведение типов могло приводить к ошибкам времени выполнения (runtime errors), которые было сложно отладить. Например, попытка обращения к методу, который отсутствует в фактическом типе объекта, но присутствовал в предсказанном статическом типе. Явное приведение типов (explicit casting) делает такие потенциальные ошибки видимыми на этапе компиляции или времени выполнения с более явным указанием проблемы.

2. Повышение предсказуемости: Код с явным приведением типов более предсказуем, так как разработчик явно указывает, какого типа он ожидает объект. Это упрощает чтение и понимание кода.

3. Подготовка к Sound Null Safety: Удаление неявного приведения типов стало важным шагом на пути к внедрению Sound Null Safety в Dart 2.12. Sound Null Safety гарантирует, что ссылки не могут содержать null без явного на то указания. Неявное приведение типов могло нарушить эти гарантии, так как типизация становилась менее строгой.

Рассмотрим пример:

dart