为何无await的Future<void>函数需声明为async？

错误成因 #

你的函数声明返回Future<void>，但当前函数体无法满足返回类型要求：

• 代码里的两个throw语句仅在特定条件触发时生效；
• 若isInitialized为true且_user不为null，函数会执行完_user = user后正常结束，此时Dart会默认返回null，但Future<void>是非可空类型，null无法匹配该返回类型，因此VSCode抛出非空性错误。

加async的必要性 #

给函数标记async后，Dart会自动完成两个关键处理：

1. 强制函数返回值被包装为Future类型，无需手动返回Future对象；
2. 当函数同步执行完所有代码后，会自动返回一个已完成状态的Future<void>，无需额外编写return Future.value();这类代码。

简单来说，async关键字相当于给函数套了一层Future的壳，让它的返回值始终符合Future<void>的类型要求，哪怕函数内部没有使用await。

修改后的代码示例：

@override
Future<void> sendEmailVerification() async {
  if (!isInitialized) throw NotInitializedException();
  if (_user == null) throw UserNotFoundException();
  const user = AuthUser(isEmailVerified: true);
  _user = user;
}

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