空安全问题：Map含非可空值却触发返回类型不匹配错误

错误原因 #

你遇到的编译错误，核心原因是Dart的Map[]运算符本身就返回可空类型——哪怕你声明的是Map<String, TestBloc>（值为非空类型），用_createdElements[id]取值时，返回的类型依然是TestBloc?。

编译器不会做逻辑推导：虽然你先调用了containsKey(id)确认key存在，但它无法保证在这行检查之后、取值之前，Map里的对应条目不会被其他操作（比如多线程修改）移除。因此从静态类型检查的角度，_createdElements[id]依然可能为null，和方法声明的返回类型TestBloc（非空）不匹配，触发错误。

解决方法 #

有两种简洁的修复方式：

1. 非空断言（!） #

既然你已经通过containsKey确认了key存在，可以用!强制告诉编译器这个值不会为null，这是安全的：

TestBloc createFromId(String id) {
  if (_createdElements.containsKey(id)) {
    return _createdElements[id]!; // 添加!断言非空
  } else {
    TestBloc b = TestBloc(id: id);
    _createdElements[id] = b;
    return b;
  }
}

2. 使用putIfAbsent简化逻辑 #

Dart的Map提供了putIfAbsent方法，专门处理"存在则返回，不存在则创建并存入"的场景，它的返回值直接是非空类型，完全避开空安全问题：

TestBloc createFromId(String id) {
  return _createdElements.putIfAbsent(id, () => TestBloc(id: id));
}

这个写法不仅解决了编译错误，还简化了代码逻辑，推荐使用。

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