Flutter空安全如何正确定义可空变量？标记可空后判空为何仍告警

1. 方法返回值的非空性是根本原因 #

该警告和你给result标记Response?可空没有直接关系，核心原因是account.get()方法的返回值本身就是非空类型Future<Response>：

• await调用该方法后，得到的结果永远不可能为null，要么正常返回Response类型的对象，要么直接抛出异常（比如网络请求失败、权限不足等场景），不会走到返回null的分支
• 你虽然手动将result声明为可空的Response?，但Dart的静态分析工具可以识别出赋值给它的表达式永远不会返回null，因此判定result == null的条件永远为假，给出对应警告

2. 空安全概念的认知补充 #

可空类型标记?的作用是允许该变量接收null值，不代表该变量的实际取值一定会出现null。如果赋值给可空变量的表达式永远不会返回null，Dart的类型推导依旧会识别出这个变量的实际运行时取值不可能为null，相关的空判断就会被判定为无效逻辑。

• 如果你需要处理account.get()的异常场景，不要判断null，改用try-catch包裹异步调用逻辑，捕获异常后做对应处理，示例代码如下：

Future<dynamic> isLoggedIn() async {
  Account account = Account(client);
  try {
    Response result = await account.get();
    // 请求成功的逻辑
  } catch (e) {
    // 请求失败的逻辑，等同于你原本想写的result == null的分支
    print(true);
  }
}

• 如果是你自定义的Account类，且你确定get()方法确实可能返回null，只需要将get()方法的返回值类型声明修改为Future<Response?>即可消除警告。

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