 thzxx
|
674da6b7b7
|
fix(A9/A10): 发布订阅接线 + 列对列比较与关联子查询（静默空结果根治）
A9 db.subscribe 对本地写入永不触发
全库唯一调用 emit 的地方在 BroadcastChannel 收到**其它标签页**消息的分支里，
于是 README:232「订阅表变更」与 site/docs.html:667-679 的示例
（event.type: 'insert'|'update'|'delete'、event.row）全部不成立。
根治方式：新增 src/engine/change-notifier.ts —— IStorageEngine 装饰器，
把变更通知收敛到**引擎接口**这一个位置（三个写入入口 SQL/Table/Builder 与
事务内写入都必须经过它），避免在三条路径上各写一份变更描述逻辑。
事件语义（兑现文档承诺）：INSERT 逐行带 row+key；UPDATE/DELETE 写入前快照
受影响行、成功后逐行发事件并带更新后/删除前的行；CLEAR/DDL 表级事件。
订阅者返回 Promise 时被 await；订阅者抛错不影响写入结果（只上报 onError）。
两个实现细节值得记录：
1. 引擎被装饰后，core 里 `this.engine instanceof HybridEngine` 恒为 false
→ Hybrid 跨标签页重载静默失效。新增 unwrapEngine() 对**内层**引擎做能力探测。
2. 外部事件（external）绝不能重新广播 —— 否则 A↔B 互相转发形成无限循环
（实测 8 次以上且不终止）。已分离 emitExternal 路径。
A10 列对列比较与关联 IN 子查询静默空结果
1) `WHERE t.x = t.y`（唯一可解析的列对列写法）返回 []：
- 引擎层 matchWhere 无 $col 上下文，把 `{ $col: ... }` 当普通对象比较；
- executor.filterCorrelated 调用 matchWhere 时**没传** `{ $col: true }`。
修复：engine 层遇到未解析操作数（$col/$subquery）时**放行**而非判假 ——
引擎的过滤只允许缩小候选集，最终判定始终由带上下文的 executor 完成；
executor 侧补上 `{ $col: true }`。
同时修正 MemoryEngine/AriaEngine 的索引下推：非原始值（对象）不走索引，
否则 String({...}) 得到无意义键、查找为空并短路全表扫描 → 静默空结果。
2) `WHERE id IN (SELECT user_id FROM o WHERE o.user_id = u.id)` 返回 []：
子查询执行**不传外层行上下文**，`u.id` 绑定为 null → 子查询空集 → `$in: []`。
（结构相同的 EXISTS 走另一条分支、结果正确 —— 又一处"同一语义两条路径"。）
修复：resolveOperatorSubqueries 接收并传递 contextRow；bindColumnRefs 递归
进入 $subquery 绑定外层引用；新增 lookupOuterValue 先剥外层表名/别名前缀
再取值（外层行键不带前缀，否则 `u.id` 取 undefined 被 `?? null` 静默成 null）。
ChangeNotifierEngine 能力转发
装饰器只实现 IStorageEngine 声明的成员，导致：
- 可选能力缺失时抛原生 Error，破坏 `NOT_SUPPORTED` 错误码契约（14 个用例失败）
→ 新增 requireCapability，统一抛 NOT_SUPPORTED 并保留方法名；
- 接口外方法（analyzeTable/reindexTable/vacuum）在被包装后静默消失
→ 新增 requireOptionalMethod 显式转发（ANALYZE/REINDEX/VACUUM 恢复可用）。
新增 tests/v080-subscribe.test.ts（5 用例，四引擎 × 三种入口）、
tests/v080-correlated.test.ts（4 用例，含"关联 IN 与等价 EXISTS 结果一致"护栏）。
|
2026-09-14 22:29:51 +08:00 |
|