Flutter迁移Null Safety时FutureBuilder空安全报错咨询

问题场景 #

旧 Flutter 项目迁移空安全时，通过ListView.builder渲染接口返回的列表数据，原有非空安全代码如下：

Expanded(
  child: Container(
    child: FutureBuilder(
      future: fetchClinicas(miId),
      builder: (context, snapshot) {
        print("SNAPSHOT   " + snapshot.hasData.toString());

        if (snapshot.hasData) {
          return ListView.builder(
            itemCount: snapshot.data.length,
            shrinkWrap: true,
            itemBuilder: (BuildContext context, index) {
              print(index.toString());
              Clinica clinica = snapshot.data[index];
              // 后续业务逻辑
            },
          );
        }
        // 加载中、报错等状态返回逻辑
        return Center(child: CircularProgressIndicator());
      },
    ),
  ),
)

复用代码时出现两处空安全相关报错：

• 报错1：itemCount: snapshot.data.length 行提示 The property 'length' can't be unconditionally accessed because the receiver can be 'null'，修改为itemCount: snapshot.data?.length后报错未消除
• 报错2：Clinica clinica = snapshot.data[index]; 行提示 The method '[]' can't be unconditionally invoked because the receiver can be 'null'，修改为Clinica clinica = snapshot.data![index];后报错仍然存在

报错原因 #

两个报错的核心原因都是没有给FutureBuilder指定明确的泛型类型，空安全模式下Dart无法推断snapshot.data的实际类型：

1. 不指定泛型时，snapshot.data默认被识别为Object?类型，编译器既不知道它是列表、拥有length属性和[]索引方法，也不会因为写了snapshot.hasData判断就自动认定它非空——Dart的流分析不会对类的getter属性做自动类型提升，因为getter每次调用都可能返回不同值。
2. 直接修改为snapshot.data?.length时，返回值是可空的int?，而ListView.builder的itemCount参数要求必须传入非空int，类型不匹配所以报错不会消失。
3. 直接加!写snapshot.data![index]时，虽然做了强制非空处理，但解包后类型是Object，Object类型根本没有定义[]索引方法，编译器依然会报错。

符合空安全规范的正确实现 #

Expanded(
  child: Container(
    // 1. 给FutureBuilder指定明确泛型，和fetchClinicas接口返回值类型保持一致
    child: FutureBuilder<List<Clinica>>(
      future: fetchClinicas(miId),
      builder: (context, snapshot) {
        print("SNAPSHOT   " + snapshot.hasData.toString());

        if (snapshot.hasData) {
          // 2. 判空后将data赋值给局部变量，触发Dart类型提升，后续无需重复判空
          final clinicaList = snapshot.data!;
          return ListView.builder(
            itemCount: clinicaList.length,
            shrinkWrap: true,
            itemBuilder: (BuildContext context, index) {
              print(index.toString());
              Clinica clinica = clinicaList[index];
              // 原有业务逻辑保持不变
            },
          );
        }
        // 加载、报错等状态的返回逻辑和原有实现一致即可
        return const Center(child: CircularProgressIndicator());
      },
    ),
  ),
)

关键修改点 #

• 给FutureBuilder声明泛型FutureBuilder<List<Clinica>>，明确告知类型系统snapshot.data的类型是List<Clinica>?
• 在snapshot.hasData判断分支内，用!将可空的列表数据解包后赋值给局部final变量，后续访问列表属性、索引时不需要再重复处理空安全问题，也不会出现类型报错
• itemCount直接取局部列表变量的length，类型为非空int，完全符合参数类型要求

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