Dart空安全：已做非空判断为何仍需使用!空检查运算符

开发者阿泽

2026-10-6

报错底层原因

Dart空安全的类型提升机制仅对局部变量生效，你代码中做非空判断和后续调用的都是widget.suggestionsCallback这个Widget实例属性：

哪怕该属性被final修饰，Dart静态分析也不会默认两次访问该属性返回的值完全一致（比如存在子类重写该属性getter，每次访问返回不同值的可能性）
因此你做完非空判断后再次访问该属性时，它的类型仍然是Function?，不会被提升为非空的Function，所以触发空调用报错

最优处理方案

优先推荐用局部变量中转属性值，既不需要加!，也能规避后续逻辑变动带来的空指针风险：

先把widget.suggestionsCallback赋值给一个局部变量
所有非空判断、函数调用都基于这个局部变量操作，Dart会自动对局部变量做类型提升，不会再触发报错

代码示例：

// 中转到局部变量
final Function? callback = widget.suggestionsCallback;
if (callback != null &&
    widget.defaultSearchPattern.isNotEmpty &&
    pattern.isEmpty) {
  return await callback(widget.defaultSearchPattern);
} else {
  return callback != null
      ? await callback(pattern)
      : [];
}

其他可选方案

你也可以使用函数自带的call方法配合空安全调用符?.实现更简洁的写法，不需要提前做非空判断：

if (widget.suggestionsCallback != null &&
    widget.defaultSearchPattern.isNotEmpty &&
    pattern.isEmpty) {
  return await widget.suggestionsCallback!(widget.defaultSearchPattern);
} else {
  // 空调用时直接返回null，配合?? 兜底返回空数组
  return await widget.suggestionsCallback?.call(pattern) ?? [];
}