Анализатор для поиска неконтролируемого доступа к потенциальным нулевым значениям

Question

Я пытаюсь выяснить, каково состояние предотвращения неконтролируемого доступа к нулю с поддержкой компилятора / анализатора в Dart.

Пройдя пару лет TypeScript, их строгим значением по умолчанию-ненулевым былоОгромный шаг вперед в создании кода намного безопаснее.Мне это нравится даже больше, чем семантика опций в Scala.

Есть ли опция анализатора, которая может отслеживать (весь) потенциальный нулевой доступ посредством анализа потока?

Например,следующий код должен потерпеть неудачу:

void foo(String b) {
  print(b.length);
}

void main() {
  foo(null);
}

Он должен сообщать следующее: Не проверяется нулевой доступ в строке 2 из-за передачи нулевого в строке 6.

Так что, как разработчик, я могу решить исправитьстрока 1 или 2.

Answer 1

В настоящее время такой поддержки нет.

Языковая команда Dart активно работает над добавлением ненулевых типов в систему типов Dart.Это будет серьезное изменение, поэтому оно не будет сделано в первые несколько кварталов.