用户指出 4 个具体错误,逐条核对线上真实数据后确认**全部是算法缺陷**:
① 杨永华只有一位家长(母亲那边整条线缺失)
② 洪博为的孩子是空的 —— 她是杨永全的配偶,杨永全的孩子就是她的
③ 洪勇、武竹芳的配偶都是空的 —— 两人明明是同一个孩子的父母
④ 杨景焕 / 杜浩洋 / 杜若桐 都只有一位家长
根因:本系统的设计是「只存相邻两代之间的边,其余全部推导」(见 Kinship 头注释),
但家人手工录入时只会填**最直接的那一条**:
· 给几个孩子都填了「父亲 = 某人」,从没点过「母亲」→ 孩子只有一位家长;
· 填了孩子父母两位,却忘了把这两位再标一次「夫妻」→ 两位家长各自孤零零。
而 graph() 只做了「parent 边反推 children」的**单向**推导,缺了两条互补推导。
修复(都在 graph() 里,内存视图,不动 relations 表):
推导① 同一个孩子的两位家长 ⇒ 认定他们是夫妻
推导② 孩子只有一位家长、且该家长**恰好只有一位配偶** ⇒ 把配偶补成另一位家长
(有多个配偶时不猜;迭代到稳定,最多 4 轮)
配套修复(实测发现的回归,必须一起上):
推导① 会把「已解除的配偶」凭共同孩子**配回去** —— 用户点"解除配偶"刷新又出现。
解法:解除配偶时把这一对记进 settings 的 `kin_undone_pairs`(不动表结构),
推导①跳过这些对;重新 addSpouse 时抹掉标记。
验证:初始有配偶 → 解除后为空(不再被推回)→ 重新加回恢复。
验证:
· _fc_verify_derive.py(新):用**线上真实那 10 条边**做夹具,逐条断言用户报的 4 处
+ 11 条「不许过度推导」守卫(祖父母不被推成夫妻、孩子家长不多不少、无自环…)
全绿;反向验证 2 处注入(关推导①/关推导②)各变红 6/8 条且退出码非 0。
· e2e 549/0、家谱可视化 24/0、家谱版面 10/0、桌面几何 368/0、移动端 516/0、
交互 97/0、升级专测 123/0。
· **线上真机验证**:修复后重新取线上 data-datum,4 处全部正确 ——
洪博为子女=杨景焕、洪勇⇄武竹芳、杨景焕双亲=杨永全+洪博为、
杜浩洋/杜若桐双亲=杨永华+杜元青、杨永华双亲=杨培振+刘巧莲。
· 部署脚本加 2 条断言锁住推导逻辑。
209 lines
8.9 KiB
PHP
209 lines
8.9 KiB
PHP
<?php
|
|
/**
|
|
* 亲属关系表的读写。
|
|
*
|
|
* 只维护两种边(详见 Kinship 的头注释):
|
|
* parent : from 是 to 的父/母
|
|
* spouse : from 与 to 是配偶(对称,只存一条)
|
|
*
|
|
* ⚠️ 血缘关系必须**防环**:如果把 A 设为 B 的父亲、又顺手把 B 设成 A 的父亲,
|
|
* 家谱展开会变成死循环。addParent() 在写库前先检查。
|
|
*/
|
|
|
|
declare(strict_types=1);
|
|
|
|
namespace App;
|
|
|
|
final class Relations
|
|
{
|
|
/** 给某人指定一位父/母 */
|
|
public static function addParent(int $familyId, int $childId, int $parentId, string $role): array
|
|
{
|
|
$role = $role === 'mother' ? 'mother' : 'father';
|
|
if ($childId === $parentId) {
|
|
return ['ok' => false, 'error' => '不能把自己设成自己的父母。'];
|
|
}
|
|
if (self::wouldCycle($familyId, $parentId, $childId)) {
|
|
return ['ok' => false, 'error' => '这样会让两个人互为祖辈,关系说不通,已拒绝。'];
|
|
}
|
|
// 同一位父母只能有一个「父亲」和一个「母亲」位
|
|
$db = Database::get();
|
|
$st = $db->prepare(
|
|
'DELETE FROM relations WHERE family_id = ? AND to_id = ? AND kind = "parent" AND from_role = ?'
|
|
);
|
|
$st->execute([$familyId, $childId, $role]);
|
|
|
|
$st = $db->prepare(
|
|
'INSERT INTO relations (family_id, from_id, to_id, kind, from_role) VALUES (?,?,?,"parent",?)'
|
|
);
|
|
$st->execute([$familyId, $parentId, $childId, $role]);
|
|
// 家谱变了 ⇒ 全家每个账号的 kin 名册条目按新树对齐(v7,三处口径一致)
|
|
PersonRoster::syncKinForFamily($familyId);
|
|
return ['ok' => true, 'error' => ''];
|
|
}
|
|
|
|
/** 互为配偶(对称,只存一条;若已存在反向的记录则视为重复) */
|
|
public static function addSpouse(int $familyId, int $a, int $b): array
|
|
{
|
|
if ($a === $b) {
|
|
return ['ok' => false, 'error' => '不能把自己设成自己的配偶。'];
|
|
}
|
|
$db = Database::get();
|
|
$st = $db->prepare(
|
|
'SELECT id FROM relations
|
|
WHERE family_id = ? AND kind = "spouse"
|
|
AND ((from_id = ? AND to_id = ?) OR (from_id = ? AND to_id = ?))'
|
|
);
|
|
$st->execute([$familyId, $a, $b, $b, $a]);
|
|
if ($st->fetchColumn()) {
|
|
// 已存在 ≠ 什么都不做:名册那边可能还没跟上(老数据/升级前建的边),补一次
|
|
PersonRoster::syncKinForFamily($familyId);
|
|
return ['ok' => true, 'error' => ''];
|
|
}
|
|
$st = $db->prepare(
|
|
'INSERT INTO relations (family_id, from_id, to_id, kind) VALUES (?,?,?,"spouse")'
|
|
);
|
|
$st->execute([$familyId, $a, $b]);
|
|
// 重新加上了配偶 ⇒ 之前"解除过"的标记要撤掉,
|
|
// 否则互补推导会一直跳过这一对(连带影响他们的孩子只挂一位家长)。
|
|
self::clearPairUndone($familyId, $a, $b);
|
|
PersonRoster::syncKinForFamily($familyId);
|
|
return ['ok' => true, 'error' => ''];
|
|
}
|
|
|
|
/**
|
|
* 解除某条关系(按 id)。
|
|
*
|
|
* ⚠️ v7 起「家谱树 ⇒ 名册自动同步」:边没了,树上够不着的人的 kin 名册条目
|
|
* 也跟着撤(可能不止这一对——比如解开「父子」,孩子就从配偶的名册里一起消失,
|
|
* 因为树是从配偶那边绕过我来展开的)。self/shared/seeded 的条目绝不碰。
|
|
*
|
|
* @return int 撤掉的 kin 名册条目数(路由层用它把话说全)
|
|
*/
|
|
public static function remove(int $familyId, int $id): int
|
|
{
|
|
$db = Database::get();
|
|
// ⚠️ 删之前先读出来:如果是**配偶**边,要把它记进「显式解除」名单,
|
|
// 否则 Kinship::graph() 的互补推导会凭"共同孩子"把两人又配回夫妻,
|
|
// 用户看到的现象是「解除了却还在」。
|
|
$row = $db->prepare('SELECT from_id, to_id, kind FROM relations WHERE id = ? AND family_id = ?');
|
|
$row->execute([$id, $familyId]);
|
|
$r = $row->fetch(\PDO::FETCH_ASSOC);
|
|
if ($r && $r['kind'] === 'spouse') {
|
|
self::markPairUndone($familyId, (int)$r['from_id'], (int)$r['to_id']);
|
|
}
|
|
|
|
$db->prepare('DELETE FROM relations WHERE id = ? AND family_id = ?')
|
|
->execute([$id, $familyId]);
|
|
$st = PersonRoster::syncKinForFamily($familyId);
|
|
return (int)$st['dropped'];
|
|
}
|
|
|
|
/**
|
|
* 记下「这一对已经被人为解除过夫妻关系」。
|
|
*
|
|
* 为什么要记:家谱的关系是**推导**出来的(`Kinship::graph()` 会把
|
|
* 「同一个孩子的两位家长」认成夫妻、把「唯一配偶」补成另一位家长)。
|
|
* 于是「解除配偶」如果只删库里的边,推导会立刻用共同孩子把两人配回来 ——
|
|
* 用户点了解除、刷新还在,等于功能失效。
|
|
* 记进 settings 的 `kin_undone_pairs`(不动表结构),推导时跳过这些对。
|
|
*/
|
|
public static function markPairUndone(int $familyId, int $a, int $b): void
|
|
{
|
|
if ($a <= 0 || $b <= 0 || $a === $b) { return; }
|
|
$key = $a < $b ? "$a-$b" : "$b-$a";
|
|
$list = self::undonePairs($familyId);
|
|
if (!in_array($key, $list, true)) {
|
|
$list[] = $key;
|
|
Setting::set($familyId, 'kin_undone_pairs', implode(',', $list));
|
|
}
|
|
}
|
|
|
|
/** 已被显式解除过的夫妻对('小id-大id' 形式),推导时跳过 */
|
|
public static function undonePairs(int $familyId): array
|
|
{
|
|
$v = (string)Setting::get($familyId, 'kin_undone_pairs', '');
|
|
if ($v === '') { return []; }
|
|
return array_values(array_filter(array_map('trim', explode(',', $v)), static fn($x) => $x !== ''));
|
|
}
|
|
|
|
/** 这对是否被显式解除过(顺序无关) */
|
|
public static function isPairUndone(int $familyId, int $a, int $b): bool
|
|
{
|
|
if ($a <= 0 || $b <= 0 || $a === $b) { return false; }
|
|
$key = $a < $b ? "$a-$b" : "$b-$a";
|
|
return in_array($key, self::undonePairs($familyId), true);
|
|
}
|
|
|
|
/**
|
|
* 重新建立关系时,把它从「显式解除」名单里抹掉
|
|
* (不然用户重新加了配偶,推导还是把它当解除过 → 又少一处关系)。
|
|
*/
|
|
public static function clearPairUndone(int $familyId, int $a, int $b): void
|
|
{
|
|
if ($a <= 0 || $b <= 0 || $a === $b) { return; }
|
|
$key = $a < $b ? "$a-$b" : "$b-$a";
|
|
$list = array_values(array_filter(self::undonePairs($familyId), static fn($x) => $x !== $key));
|
|
Setting::set($familyId, 'kin_undone_pairs', implode(',', $list));
|
|
}
|
|
|
|
/** 解除两人之间的某种关系(与 remove() 同样的名册同步语义;当前无其他调用方) */
|
|
public static function detach(int $familyId, int $personId, string $kind, string $role = ''): void
|
|
{
|
|
$sql = 'DELETE FROM relations WHERE family_id = ? AND to_id = ? AND kind = ? AND from_role = ?';
|
|
Database::get()->prepare($sql)->execute([$familyId, $personId, $kind, $role]);
|
|
PersonRoster::syncKinForFamily($familyId);
|
|
}
|
|
|
|
/** 某人身上挂着的全部关系(详情页编辑用) */
|
|
public static function forPerson(int $familyId, int $personId): array
|
|
{
|
|
$st = Database::get()->prepare(
|
|
'SELECT r.*,
|
|
pf.name AS from_name, pt.name AS to_name
|
|
FROM relations r
|
|
JOIN persons pf ON pf.id = r.from_id
|
|
JOIN persons pt ON pt.id = r.to_id
|
|
WHERE r.family_id = ? AND (r.from_id = ? OR r.to_id = ?)
|
|
ORDER BY r.kind, r.id'
|
|
);
|
|
$st->execute([$familyId, $personId, $personId]);
|
|
return $st->fetchAll();
|
|
}
|
|
|
|
/**
|
|
* 防环:若把 $maybeAncestor 挂到 $node 之上,会不会绕回自己?
|
|
* 做法是顺着 parent 边从 $maybeAncestor 往上走,看能否走到 $node。
|
|
*/
|
|
private static function wouldCycle(int $familyId, int $maybeAncestor, int $node): bool
|
|
{
|
|
$st = Database::get()->prepare(
|
|
'SELECT from_id FROM relations WHERE family_id = ? AND to_id = ? AND kind = "parent"'
|
|
);
|
|
$stack = [$maybeAncestor];
|
|
$seen = [];
|
|
while ($stack) {
|
|
$cur = array_pop($stack);
|
|
if ($cur === $node) {
|
|
return true;
|
|
}
|
|
if (isset($seen[$cur])) {
|
|
continue;
|
|
}
|
|
$seen[$cur] = true;
|
|
$st->execute([$familyId, $cur]);
|
|
foreach ($st->fetchAll(\PDO::FETCH_COLUMN) as $up) {
|
|
$stack[] = (int)$up;
|
|
}
|
|
}
|
|
return false;
|
|
}
|
|
|
|
/** 全家的关系条数(设置页/统计用) */
|
|
public static function count(int $familyId): int
|
|
{
|
|
$st = Database::get()->prepare('SELECT COUNT(*) FROM relations WHERE family_id = ?');
|
|
$st->execute([$familyId]);
|
|
return (int)$st->fetchColumn();
|
|
}
|
|
} |