競合の処理

Markdownとして表示 GitHubで編集ドキュメント: 60c6cc7

マージの両側が同じデータを互換性のない形で変更すると、競合が発生します。merqlは4種類の競合を検出し、自動および手動で解決する方法を提供します。

PHP

$result = $merge->merge($base, $ours, $theirs);

if (!$result->isClean()) {
    foreach ($result->conflicts() as $conflict) {
        echo "{$conflict->table()}.{$conflict->column()}: "
           . "{$conflict->oursValue()} vs {$conflict->theirsValue()}\n";
    }
}

競合の種類

update_update

両側が同じ行の同じ列を異なる値に変更しました。最も一般的な競合の種類です。

コード

Base:    posts #42  title = "Hello"
Ours:    posts #42  title = "Welcome"
Theirs:  posts #42  title = "Greetings"

競合には、テーブルposts、行キー42、列title、oursの値Welcome、theirsの値Greetings、基準値Helloが報告されます。

update_delete

片側が行を更新し、もう片側が削除しました。merqlは更新と削除のどちらを優先すべきか判断できません。

コード

Ours:    posts #42  title = "Updated Title"    (updated)
Theirs:  posts #42  (deleted)

競合には、テーブルposts、行キー42、種類update_deleteが報告されます。oursの値には更新後の行全体が含まれます。theirsの値はnullです。

delete_update

update_deleteの逆です。theirsが行を更新し、oursが削除しました。

コード

Ours:    posts #42  (deleted)
Theirs:  posts #42  title = "Updated Title"    (updated)

競合には種類delete_updateが報告されます。oursの値はnullで、theirsの値には更新後の行全体が含まれます。

insert_insert

両側が同じ主キーで行を挿入しました。どちらの行も新規で（基準には存在しないため）、merqlはマージできません。

コード

Base:    (no row #99)
Ours:    posts #99  { title: "My Post" }
Theirs:  posts #99  { title: "Their Post" }

競合には種類insert_insertが報告されます。oursの値にはoursの行データが、theirsの値にはtheirsの行データが含まれます。

Conflictクラス

各競合は、次のアクセサーを持つ読み取り専用オブジェクトです：

PHP

$conflict->table();      // string: table name
$conflict->rowKey();     // string: encoded row identity key
$conflict->type();       // string: "update_update"|"update_delete"|"delete_update"|"insert_insert"
$conflict->column();     // ?string: column name (null for structural conflicts)
$conflict->oursValue();  // mixed: our value (null for delete side, full row for structural)
$conflict->theirsValue(); // mixed: their value (null for delete side, full row for structural)
$conflict->baseValue();  // mixed: base value (null for inserts)

column()メソッドは、update_update競合では列名を返し、構造上の競合（update_delete、delete_update、insert_insert）ではnullを返します。

主キーのデコード

行キーはエンコードされた文字列です。名前付きの主キー配列を取得するには、identity列を渡します：

PHP

$pk = $conflict->primaryKey(['id']);
// ['id' => '42']

$pk = $conflict->primaryKey(['tenant_id', 'user_id']);
// ['tenant_id' => '1', 'user_id' => '99']

ConflictPolicyによる自動解決

ConflictResolverはポリシーを適用して、すべての競合を一括で解決します：

PHP

use Merql\Merge\ConflictPolicy;
use Merql\Merge\ConflictResolver;

// One side wins everywhere.
$resolved = ConflictResolver::resolve($result, ConflictPolicy::OursWins);
$resolved = ConflictResolver::resolve($result, ConflictPolicy::TheirsWins);

// Manual: return the result unchanged (inspect conflicts yourself).
$resolved = ConflictResolver::resolve($result, ConflictPolicy::Manual);

ConflictPolicy列挙型

値	動作
`OursWins`	update_updateではoursの値を使用。update_deleteでは更新を維持。delete_updateでは削除を維持。insert_insertではoursの挿入を使用。
`TheirsWins`	update_updateではtheirsの値を使用。update_deleteでは削除。delete_updateでは更新を維持。insert_insertではtheirsの挿入を使用。
`Manual`	結果を変更せずに返します。すべての競合が未解決のまま残ります。

解決の仕組み

update_update競合の場合、リゾルバーは既存のマージ操作を修正し、競合した列の値を勝者側の値に置き換えます。

構造上の競合（update_delete、delete_update、insert_insert）の場合、リゾルバーは結果に新しい操作を追加します：

update_deleteとOursWinsの場合、UPDATE操作を追加します。
update_deleteとTheirsWinsの場合、DELETE操作を追加します。
delete_updateとOursWinsの場合、DELETE操作を追加します。
delete_updateとTheirsWinsの場合、UPDATE操作を追加します。
insert_insertでは、勝者側の行の値を使用します。

解決済みのMergeResultでは、競合リストが空になり、そのまま適用できます。

手動での解決

細かく制御するには、各競合を調べて独自の解決方法を構築します：

PHP

foreach ($result->conflicts() as $conflict) {
    echo "Table:  {$conflict->table()}\n";
    echo "Row:    {$conflict->rowKey()}\n";
    echo "Type:   {$conflict->type()}\n";

    if ($conflict->column() !== null) {
        echo "Column: {$conflict->column()}\n";
        echo "Base:   " . var_export($conflict->baseValue(), true) . "\n";
        echo "Ours:   " . var_export($conflict->oursValue(), true) . "\n";
        echo "Theirs: " . var_export($conflict->theirsValue(), true) . "\n";
    }
}

未解決の競合がある場合の適用

Applierは未解決の競合があるマージ結果の適用を拒否し、ConflictExceptionをスローします：

PHP

use Merql\Exceptions\ConflictException;

try {
    $applier->apply($result);
} catch (ConflictException $e) {
    echo $e->getMessage();
    // "Cannot apply merge with 3 unresolved conflicts"
}

適用する前に、ConflictResolver::resolve()を使うか、手動でクリーンなMergeResultを構築して、必ず競合を解決してください。