Обработка конфликтов

Конфликт возникает, когда обе стороны слияния изменяют одни и те же данные несовместимым образом. merql обнаруживает четыре типа конфликтов и предоставляет стратегии автоматического и ручного разрешения.

$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, наше значение Welcome, их значение Greetings, базовое значение Hello.

update_delete

Одна сторона обновила строку, а другая удалила ее. merql не может определить, следует ли сохранить обновление или удаление.

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

В отчете о конфликте указаны: таблица posts, ключ строки 42, тип update_delete. Наше значение содержит всю обновленную строку. Их значение — null.

delete_update

Обратная ситуация для update_delete. Их сторона обновила строку, а мы ее удалили.

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

В отчете о конфликте указан тип delete_update. Наше значение — null, а значение их стороны содержит всю обновленную строку.

insert_insert

Обе стороны вставили строку с одинаковым первичным ключом. Поскольку обе строки новые (их не было в базе), merql не может их объединить.

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

В отчете о конфликте указан тип insert_insert. Наше значение содержит данные нашей строки, а их значение — данные их строки.

Класс Conflict

Каждый конфликт — это объект только для чтения со следующими методами доступа:

$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 и null для структурных конфликтов (update_delete, delete_update, insert_insert).

Декодирование первичного ключа

Ключ строки — это закодированная строка. Чтобы получить массив именованных первичных ключей, передайте столбцы идентификаторов:

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

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

Автоматическое разрешение с помощью ConflictPolicy

ConflictResolver применяет политику для одновременного разрешения всех конфликтов:

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

Как работает разрешение

Для конфликтов 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 пустой список конфликтов, и его можно применять напрямую.

Ручное разрешение

Для точной настройки проверьте каждый конфликт и создайте собственное решение:

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:

use Merql\Exceptions\ConflictException;

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

Всегда разрешайте конфликты перед применением — с помощью ConflictResolver::resolve() или вручную создавая чистый MergeResult.