Что изменилось в Dart 2.0 относительно автоматического приведения типов и почему от него отказались?

Что хотят услышать интервьюеры:

В Dart 2.0 отказались от автоматических неявных преобразований типов, чтобы сделать язык предсказуемее и безопаснее. Теперь ошибки типов чаще ловятся раньше — на этапе компиляции, а не в рантайме. Это уменьшает скрытое поведение и упрощает поддержку кода.

Определение:

В Dart 1.x язык мог автоматически подстраивать некоторые значения под ожидаемый тип, из-за чего код иногда работал «магически», но неочевидно. В Dart 2.0 модель типов стала строже: если типы не совпадают, обычно нужно явно привести значение или изменить логику, чтобы не полагаться на скрытые преобразования.

Отказ от автоматического приведения типов сделали ради:

• предсказуемости поведения;
• более раннего обнаружения ошибок;
• упрощения чтения и сопровождения кода;
• лучшей совместимости с null safety и строгой типизацией в целом.

Пример использования:

Если приходит строка из API и нужно использовать число, преобразование делается явно:

void main() {
  final String rawAge = "18";
  final int age = int.parse(rawAge);

  print(age + 2); // 20
}

Если попытаться использовать rawAge как int без преобразования, Dart не будет делать это автоматически.

Пояснение кода:

Код здесь нужен, потому что изменение связано именно с типами и преобразованием данных.

1. rawAge объявлен как String, то есть это текст.
2. int.parse(rawAge) явно преобразует строку в число.
3. После преобразования age уже имеет тип int.
4. Арифметика выполняется безопасно, потому что типы совпадают.

Если строка не содержит корректное число, int.parse выбросит ошибку, и это лучше, чем скрытое неверное приведение.

Ключевые моменты:

• Dart 2.0 стал строже в отношении типов.
• Автоматические неявные преобразования убрали, чтобы избежать скрытого поведения.
• Ошибки типов теперь чаще обнаруживаются раньше, на этапе компиляции.
• Для преобразования значений нужно использовать явные операции: parse, toString, касты и т. п.
• Такой подход повышает читаемость, предсказуемость и надежность кода.