undoのバグ

[mikarru]

• バグの内容
  • championship_japan_2015_final.jsonの手順をBoardに最後まで適用してから、何度かBoard#undoを実行すると、undo実行中に以下のようなアサーションで引っかかる

    Assertion failed: (false), function undoAddSegment, file region.cpp, line 106.
    Abort trap: 6

• バグの再現方法
  • 423556c1c136ca20f0a66b1a0b850182eaa6d8c4のコードに以下の変更を加えて、make && ./carcassonneを実行すると再現できる
  • 再現用のブランチ(いつか消す)

    
    diff --git a/score_sheet.cpp b/score_sheet.cpp
    index 5e1c89e..46fca12 100644
    --- a/score_sheet.cpp
    +++ b/score_sheet.cpp
    @@ -242,8 +242,11 @@ bool validateScoreSheet(const TileFactory& tile_factory, const ScoreSheet& score
    meeple_place_candidates.clear();
    board.endTurn();
    }

• board.transferRemainingPoints(true);
• board.endGame();
• while (board.isUndoable()) {
• board.undo();
• }
• //board.transferRemainingPoints(true);
• //board.endGame();

  ifdef DEBUG

  const GameContext* context = board.getGameContext(); int red_point = context->getTotalPoint(MeepleColor::RED);

[mikarru]

原因は不明。現在調査中。

[mikarru]

undoに失敗したタイルは40ターン目のタイル(左リップ)。 動画でいうとこの場面。

undoに失敗した原因は、undo内の色々な処理の順番が、タイルを置くときに行った処理の正確な逆になっていなかったから。

詳細： 40ターン目に配置したタイル(K)の下側にあるFieldRegionをf0、上側にあるFieldRegionをf1、タイルKのインデックスが0のFieldSegment(小さい方の草原)をs0、タイルKのインデックスが1のFieldSegmentをs1とする。 タイルを配置するときは

1. f0.addSegment(s0)
2. f1.addSegment(s1)
3. f1.mergeRegion(f0)

という順番で処理されるけど、undoするときはs0のaddSegmentを最初にundoしようとしていて

Region* r = s0->getRegion(); // = f1
r->undoAddSegment(s0); // 上手く行かない

というように、上手く行かなかった。