如何在FutureBuilder.builder()中无需空检查缩小snapshot类型范围

问题背景 #

我正在学习Flutter，之前熟悉TypeScript。虽然Flutter/Dart是强类型语言，但在缩小可空类型范围时遇到了TypeScript里不会有的麻烦：用FutureBuilder配合异步函数获取List<{ path: String, ... }>类型的数据时，没法直接访问snapshot.data，常规的空检查写法会报错，只能用繁琐的嵌套空判断。

问题代码示例 #

child: FutureBuilder(
    future: _selectedImages,
    builder: (context, snapshot) {
        // 错误：dart(unchecked_use_of_nullable_value)
        if (snapshot.hasData) {
            log(snapshot.data[0].path);
        }

        // 错误：dart(unchecked_use_of_nullable_value)
        if (snapshot.hasData && snapshot.data.isNotEmpty) {
            log(snapshot.data[0].path);
        }

        // 这种方式可行，但写法繁琐
        if (snapshot.hasData) {
            final tmp = snapshot.data?[0].path;
            if (tmp != null) {
                log(tmp);
            }
        }
    },
),

问题原因 #

Dart的类型提升有局限性：snapshot.hasData是一个getter方法，Dart静态分析器无法确定调用snapshot.hasData后，snapshot.data不会被其他代码修改（即便实际场景里FutureBuilder的snapshot是不可变的，但分析器无法识别这一点），因此不会自动把snapshot.data从可空类型提升为非空类型。

解决方案 #

方案1：将snapshot.data赋值给局部变量 #

把snapshot.data先赋值给局部变量，Dart分析器能跟踪局部变量的空状态，从而完成类型提升：

child: FutureBuilder(
    future: _selectedImages,
    builder: (context, snapshot) {
        final data = snapshot.data;
        if (data != null && data.isNotEmpty) {
            log(data[0].path); // 无错误，data已被提升为非空List类型
        }
        // 其他Widget逻辑
        return const SizedBox();
    },
),

方案2：使用模式匹配（Dart 3.0+） #

Dart 3.0及以上支持模式匹配，通过switch case可以更清晰地处理不同状态，同时完成类型提升：

child: FutureBuilder(
    future: _selectedImages,
    builder: (context, snapshot) {
        switch (snapshot) {
            case AsyncSnapshot(hasData: true, data: final data?):
                if (data.isNotEmpty) {
                    log(data[0].path);
                }
                return Text('已加载${data.length}条数据');
            case AsyncSnapshot(connectionState: ConnectionState.waiting):
                return const CircularProgressIndicator();
            case AsyncSnapshot(data: null):
                return const Text('无数据');
            default:
                return const SizedBox();
        }
    },
),

补充问题：Switch Case未覆盖所有分支报错 #

针对补充的switch代码，报错原因是Dart静态分析器认为你没有覆盖所有可能的分支。虽然你列出了ConnectionState的所有枚举值和data的空/非空情况，但分析器无法完全确认枚举值的完整性（比如未来枚举可能新增值），因此必须添加default分支，或者使用Dart 3.0+的穷尽式switch（需确保枚举是封闭类型）。

修改后的正确代码：

builder: (context, snapshot) {
  switch ((snapshot.connectionState, snapshot.data)) {
    case (ConnectionState.none, _):
      return Text('null ${snapshot.data.toString()}');
    case (ConnectionState.waiting, _):
      return const Text('加载中');
    case (ConnectionState.active, _):
      return const Text('数据加载中');
    case (ConnectionState.done, null):
      return const Text('无数据');
    case (ConnectionState.done, final data?):
      return Text('数据数量：${data.length}');
    default: // 必须添加，覆盖所有未明确列出的情况
      return const SizedBox();
  }
}

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