Flutter空安全迁移：非空变量未赋值、null参数类型不匹配报错

两类报错的核心原因是Dart空安全机制的默认规则：未显式加?标记的类型默认不可为null，不可空变量必须在首次使用前完成初始化，不可空类型的形参不允许接收null值。

报错1修复：不可空局部变量bestMove未赋值就使用 #

• 原代码中bestMove初始状态为null，且在循环内的判断逻辑中存在和null的比较，首先需要将其声明为可空类型：ScoredMove? bestMove;
• 由于逻辑上availableMoves非空时for循环一定会执行，首次迭代就会给bestMove赋值，循环结束后bestMove不可能为null，返回时使用空断言操作符!告诉静态分析器该值非空即可。
• 原if判断的逻辑符合Dart空安全的类型提升规则：||操作符左侧判断bestMove == null成立时不会执行右侧的属性访问逻辑，右侧访问bestMove.score时bestMove已经被自动提升为非空类型，不会额外报错。

报错2修复：null无法赋值给Position类型形参 #

• 原代码在无可用走法时需要给ScoredMove的move字段传null，说明该字段本身就存在为null的业务场景，需要将其类型修改为可空类型Position?，允许接收null值。
• 由于只有递归调用_performSearchPly取分数时会拿到move为null的返回值，顶层_findNextMove取move返回时，业务逻辑上必然存在可用走法（否则不会触发走法查找），返回时加空断言!即可。

冗余代码清理 #

• 空安全下MoveFinder的initialBoard字段为不可空类型，构造函数不可能传入null，原有的assert(initialBoard != null)属于冗余代码，可以直接删除。

修改后完整可运行代码 #

class ScoredMove {
  final int score;
  final Position? move; // 修改为可空类型，允许接收null

  const ScoredMove(this.score, this.move);
}


Position _findNextMove(MoveSearchArgs args) {
  ScoredMove bestMove = _performSearchPly(
      args.board, args.player, args.player, args.numPlies - 1);
  return bestMove.move!; // 顶层调用时move必然非空，加空断言匹配返回值类型
}


ScoredMove _performSearchPly(GameBoard board, PieceType scoringPlayer,
    PieceType player, int pliesRemaining) {
  List<Position> availableMoves = board.getMovesForPlayer(player);

  if (availableMoves.isEmpty) {
    return ScoredMove(0, null); // move字段改为可空后，此处传null不再报错
  }

  int score = (scoringPlayer == player)
      ? GameBoardScorer.minScore
      : GameBoardScorer.maxScore;
  ScoredMove? bestMove; // 修改为可空类型，匹配初始为null的逻辑

  for (int i = 0; i < availableMoves.length; i++) {
    GameBoard newBoard =
    board.updateForMove(availableMoves[i].x, availableMoves[i].y, player);
    if (pliesRemaining > 0 &&
        newBoard.getMovesForPlayer(getOpponent(player)).isNotEmpty) {
      score = _performSearchPly(
          newBoard, scoringPlayer, getOpponent(player), pliesRemaining - 1)
          .score;
    } else if (pliesRemaining > 0 &&
        newBoard.getMovesForPlayer(player).isNotEmpty) {
      // Opponent has no moves; player gets another turn.
      score =
          _performSearchPly(newBoard, scoringPlayer, player, pliesRemaining - 1)
              .score;
    } else {
      score = GameBoardScorer(newBoard).getScore(scoringPlayer);
    }
    if (bestMove == null ||
        (score > bestMove.score && scoringPlayer == player) ||
        (score < bestMove.score && scoringPlayer != player)) {
      bestMove =
          ScoredMove(score, Position(availableMoves[i].x, availableMoves[i].y));
    }
  }

  return bestMove!; // 循环执行完后bestMove必然非空，加空断言匹配返回值类型
}

class MoveFinder {
  final GameBoard initialBoard;

  MoveFinder(this.initialBoard); // 删除冗余非空断言，不可空类型天然不允许传null


  Future<Position> findNextMove(PieceType player, int numPlies) {
    return compute(
      _findNextMove,
      MoveSearchArgs(
        board: this.initialBoard,
        player: player,
        numPlies: numPlies,
      ),
    );
  }
}

注：如果业务场景存在查找走法时无可用步的情况，可将_findNextMove、findNextMove的返回值改为Position?，去掉对应位置的空断言!，由调用方处理无可用步的逻辑即可，修改后行为与空安全版本前完全一致。

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