Flutter空安全迁移：WillPopScope与AlertDialog联用Future类型不匹配问题

空安全模式下，showDialog的返回值为*Future<T?>——因为用户可以通过按系统返回键、点击弹窗外区域的方式无参数关闭弹窗，这种场景下回调返回值为null。
原代码中尝试用强制类型转换把返回Future<bool?>的回调硬转成Future<bool> Function()，本质是绕过空安全检查，但Future<bool?>和Future<bool>在空安全类型系统中是无继承关系的独立类型*，运行期必然抛出_CastError。

• 删除无意义的强制类型转换，将_onBackPressed的返回值直接对齐WillPopScope要求的非空Future<bool>类型。
• 对showDialog返回的可空值做业务层面的兜底处理，明确null值对应的退出逻辑。
• 给showDialog显式指定泛型showDialog<bool>，让IDE辅助校验类型匹配。

修正后的完整代码：

Widget _buildBody(BuildContext context) {
  return WillPopScope(
    // 直接传入符合返回值要求的回调，无需额外类型转换
    onWillPop: () => _onBackPressed(context),
    child: Container([...]),
  );
}

Future<bool> _onBackPressed(BuildContext context) async {
  if (someCondition) {
    final dialogResult = await showDialog<bool>(
      context: context,
      builder: (context) => AlertDialog(
        [...]
        actions: <Widget>[
          TextButton(
            child: const Text("cancel"),
            onPressed: () => Navigator.of(context).pop(false),
          ),
          TextButton(
            child: const Text("discard"),
            onPressed: () => Navigator.of(context).pop(true),
          ),
        ],
      ),
    );
    // 兜底逻辑：当弹窗被无参数关闭（返回null），根据业务选择对应的返回值
    // 常规二次确认场景下，无操作关闭弹窗等同于取消退出，返回false
    return dialogResult ?? false;
  }
  // 无需二次确认时，直接允许页面退出
  return true;
}

• 兜底逻辑不要硬编码固定值，需要根据业务调整：如果业务定义“弹窗被无操作关闭等同于确认退出”，可将兜底值改为dialogResult ?? true。
• 杜绝用强制类型转换绕开空安全检查：这类写法会把编译期的类型风险转移到运行期，除了触发_CastError，还可能在后续迭代中出现难以排查的空指针异常。
• WillPopScope返回值的规则为：返回true代表允许当前页面执行pop退出，返回false代表拦截退出操作。

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