Dart中List首个元素不可为空？VSCode智能提示疑问求助

结论 #

这不是IntelliSense的错误，是Dart类型系统和列表索引特性的正常提示。

原因分析 #

你定义的List<MyObj> some_objs = [];是一个非可空的List：

• 列表本身不会为null，但空列表时访问索引[0]不会返回null，而是直接抛出RangeError（索引越界错误）。
• Dart的类型系统明确规定，对于非可空元素类型的列表，索引访问返回的是MyObj（非可空类型），所以??运算符的左侧是一个不可能为null的表达式，IntelliSense的提示完全正确——你的代码里??根本没机会触发，因为程序在走到这一步前就会崩溃。

正确实现方式 #

以下几种写法可以达成你“空列表时返回默认MyObj实例”的需求：

方式一：使用firstOrNull（推荐） #

导入dart:collection后，firstOrNull会在列表为空时返回null，正好适配??运算符：

import 'dart:collection';

class Foo {
  List<MyObj> someObjs = [];

  MyObj get firstObject => someObjs.firstOrNull ?? MyObj();
}

方式二：先判断列表是否为空 #

通过isNotEmpty避免索引越界，逻辑更直观：

class Foo {
  List<MyObj> someObjs = [];

  MyObj get firstObject => someObjs.isNotEmpty ? someObjs[0] : MyObj();
}

方式三：手动包装可空结果（不推荐） #

如果一定要保留类似原写法的结构，需要先把索引访问结果转为可空类型：

class Foo {
  List<MyObj> someObjs = [];

  MyObj get firstObject => (someObjs.isNotEmpty ? someObjs[0] : null) ?? MyObj();
}

内容的提问来源于stack exchange，提问作者PeteM