FlutterFlow/Dart：如何将已验证非空的可选值赋值给非可选变量？

在FlutterFlow自定义Dart代码中，尝试将已验证不为null的可选值赋值给非可空临时变量时，触发类型错误。示例代码如下：

class MyClass extends StatefulWidget {
  MyClass({
    super.key,
    this.param1,
    this.param2,
  });

  List<dynamic>? param1;
  List<dynamic>? param2;


  // ... 后续类方法中 ...


  List<dynamic> tmpList = [];
    
  if (widget.param1 != null) {
    tmpList = widget.param1;
  } else if (widget.param2 != null) {
    tmpList = widget.param2;
  }

}

报错信息：

A value of type 'List?' can't be assigned to a variable of type 'List'

但相同逻辑在普通Dart环境中可正常运行：

void main() {
  List<dynamic> tmp = [{
    "id": "abc"
  }];
  
  List<dynamic>? param1 = null;
  List<dynamic>? param2 = [{
    "id": "def"
  }];
  
  if (param1 != null) {
    tmp = param1;
  }
  if (param2 != null) {
    tmp = param2;
  }
  
  print(tmp); // 输出 [{id: def}]
}

问题原因 #

Dart的类型提升对类成员变量（比如widget.param1这类StatefulWidget的属性）支持有限——编译器无法确保在null检查后，该成员变量不会被其他逻辑修改，因此不会自动将其类型从List?提升为List。而局部变量的类型提升则不受此限制，这也是普通Dart环境中代码能运行的原因。

解决办法 #

1. 使用空断言运算符!

在确认值非空后，用!明确告知编译器该值不会为null：

List<dynamic> tmpList = [];
    
if (widget.param1 != null) {
  tmpList = widget.param1!;
} else if (widget.param2 != null) {
  tmpList = widget.param2!;
}

2. 用局部变量缓存属性值

先将widget的属性赋值给局部变量，利用Dart对局部变量的可靠类型提升：

final localParam1 = widget.param1;
final localParam2 = widget.param2;
List<dynamic> tmpList = [];

if (localParam1 != null) {
  tmpList = localParam1;
} else if (localParam2 != null) {
  tmpList = localParam2;
}

3. 用null合并运算符??简化代码

如果逻辑是优先取param1，其次param2，最后用空列表兜底，可直接用??简化：

List<dynamic> tmpList = widget.param1 ?? widget.param2 ?? [];

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