refactor(panels): 几何算式收敛为单一来源 + 参数行提取（§17.6 第 1/2 项）
第 1 项：宽度算式与行高累加各自合并成一份来源
- 新增 `PanelColumnMetrics` + `MeasurePanelColumns(lane, kind)`：全仓唯一的一次"逐信号量宽"。
* `EdgePanelWidth(laneIndex, kind)` 退化为"量一次 + 算一次"（`EdgePanelWidthFor`）；
* `EdgePanelLayoutFor` 量一次后，宽度与列几何（表格列 / 滑块轨道）都读同一份度量。
* 改前两者各写一份同名同形的 UiMeasureTextWidth 链，注释只写着"同一组算式 ⇒ 不会漂移"，
那是靠人守的约定，改一处漏一处就是"面板变宽而列不动"（文字压到轨道上）。
- 新增 `PanelRowPlan` + `PlanListPanelRows(lane, kind)`：行高累加与行几何的唯一来源。
* 改前 `EdgePanelLayoutFor` 对同一批信号遍历两趟（先算总高、再出行几何），
两处判定（可见/勾选/收起/统计行/参数行数）必须逐字一致 —— 这类"两趟必须同步修改"
正是"改一次布局就出错"的另一半机制。
* 现在一个 {ref, checked, collapsed, hasStats, sliderRows} 数组同时喂高度算式与几何生成。
- 合并前先做等价性判别：`valueColumn` 两处算法不同但结果相同（100000 最宽）⇒ 可合并；
`sliderLabel` 与 `resampleLabel` 不可合并（重采样标签更长，并进会让均值/弱峰变宽）。
第 2 项：`PaintPanelListRows` 的通用参数行提取
- 新增 `PaintPanelParamRows(g, layout, row, kind, PanelParamState{…})`：中心轴统计行 +
两条滑块分支（均值/弱峰），`paintCounts`/`paintMeanSlider`/`paintPeakSlider` 三个 lambda
与 `valueColumn` 随之迁入。
- 逐行状态打包进 `PanelParamState`（解析结果 / 两种条目指针 / 网格下标）⇒ 参数表 5 个，
而不是 9 个散参数（签名比函数体更难读）。
- `PaintPanelListRows` 由约 300 行降到约 120 行，只负责"条目栏 + 按 kind 分派"。
- 顺手把机械搬移遗留的"整个函数体多缩进 2 个 tab"修正。
过程记录（两次锚点误伤，已写入文档避免重犯）
- 锚点 `// 两行滑块` 在 `EdgePanelWidthFor` 内也匹配 ⇒ 误删宽度函数尾部；
- 锚点 `float rowY = ...` 在表格分支先出现 ⇒ 误删「边沿计数」的行发射。
两次都是编译器立刻报错，从 Temp 备份回滚后重做。规则：整段替换的锚点必须唯一，
同名语句多次出现时先定位所属区块再取偏移。
第 3 项（体积）按用户指示暂停投入。
验证（双基线均为"零差异"）
- make release / make debug / make -C Tools：零 warning；产物 782,336 → 781,824 B（−512）
- UnitTests：checks=260 failed=0 cases=19
- OffscreenChecks -all：7 检查 / 133 断言全 PASS
- panels -mode compare：7 面板像素哈希逐项不变（含 resample=2BFC74B3D9B3239C）
- rowgeom -mode compare：965+7 键 0 差异；-data MF4-Record.MF4 时 1268+7 键 0 差异
文档：Plan §十二、Progress 第 40 轮、Report §17、agent_mem 第 40 轮
This commit is contained in:
DeepSeek V4.1 Flash committed
1 parent
1463f9d3f8
commit
a9f1563896
7 files changed
+1023
-599
No files matched your search
@@ -752,4 +752,78 @@ old keys = 919, new keys = 965
|
||||
参数表从 9 个降到 `(g, layout, row, kind, state)` 5 个。
|
||||
3. 若还要压体积：`EdgePanelLayout` 已无冗余列，剩余空间主要在字符串/浮点格式化（见 §11 的 gdtoa 结论）。
|
||||
|
||||
---
|
||||
|
||||
## 十七、第 40 轮：几何算式重写 + 参数行提取（§16.7 第 1 / 第 2 项）
|
||||
|
||||
### 17.1 结论
|
||||
|
||||
| §16.7 建议 | 结果 |
|
||||
| --- | --- |
|
||||
| 1. 面板几何算式重写（`EdgePanelWidth` + 行高累加） | ✅ 两处都收敛成单一来源（`PanelColumnMetrics` / `PanelRowPlan`），双基线零差异 |
|
||||
| 2. `PaintPanelListRows` 通用参数行提取 | ✅ `PaintPanelParamRows`（5 参数），函数由约 300 行降到约 120 行 |
|
||||
| 3. 体积 | ⏸ 按用户指示**暂不投入**（当前没有便宜的压缩空间，等后续功能更新产生冗余时再做） |
|
||||
|
||||
产物顺带 −512 B（782,336 → **781,824 B**），零 warning。
|
||||
|
||||
### 17.2 "重构"与"重写"的区别（本轮的核心方法论）
|
||||
|
||||
前几轮做的是**重构**（结构变、行为不变），判据是"双基线零差异"。
|
||||
本轮做的是**算式重写**（把两份同源算式合成一份），风险更高：两份算式**本来可能已经不一致**，
|
||||
合并后必然有一边要改数 —— 那就不是"行为不变"了。
|
||||
|
||||
所以先做了一次**等价性判别**：
|
||||
|
||||
| 量 | 宽度算式里的算法 | 列几何里的算法 | 是否等价 |
|
||||
| --- | --- | --- | --- |
|
||||
| `valueColumn` | `max(mono"100000", mono"-400%")` | `max(mono"100000", mono"1000")` | ✅ 都等于 `mono"100000"` |
|
||||
| `labelColumn` | `max(均值标签, 弱峰标签)` | `max(均值标签, 弱峰标签)` | ✅ 同式 |
|
||||
| `resampleLabel` | 单独算（不并入上面） | 单独算 | ✅ 同式，且**不能**并入 |
|
||||
| `nameColumn` | 逐信号取 max（跳过无 axis 的） | 同上（另一处循环） | ✅ 同式 |
|
||||
|
||||
⇒ 只有"可以证明等价"的量才合并。`resampleLabel` 明确**不**并入 `sliderLabel`：
|
||||
「重采样」标签（"最大数据间隔"）比均值/弱峰的长，并进去会让后两个面板整体变宽 —— 那是像素变化，
|
||||
不属于等价重构。
|
||||
|
||||
### 17.3 双遍历合一：`PanelRowPlan`
|
||||
|
||||
改前 `EdgePanelLayoutFor` 里对同一批信号遍历两次（先算总高、再出行几何），
|
||||
两处的判定条件（可见 / 勾选 / 收起 / 统计行 / 参数行数）必须**逐字一致**。
|
||||
这种"两趟必须同步修改"的结构就是"改一次布局就出错"的另一半机制（前半是平行数组，已在 §16 解决）。
|
||||
|
||||
改后一个 `PanelRowPlan{ref, checked, collapsed, hasStats, sliderRows}` 数组同时喂给
|
||||
高度算式与几何生成，判定只写一次。
|
||||
|
||||
### 17.4 过程中的两次锚点误伤（值得记）
|
||||
|
||||
1. 锚点 `// 两行滑块` 在 `EdgePanelWidthFor` 内也匹配到 ⇒ 误删宽度函数尾部；
|
||||
2. 锚点 `float rowY = layout.content.Y - scrollMetrics.scroll;` 在**表格分支**先出现 ⇒
|
||||
误删「边沿计数」的行发射。
|
||||
|
||||
两次都是编译器立刻报错（brace 不平衡 / 未声明标识符），从备份回滚后重做。
|
||||
**规则：整段替换的锚点必须唯一；同名语句出现多次时先定位所属区块（例如"第二个
|
||||
`else if (listStyle)`"）再取偏移。**
|
||||
|
||||
### 17.5 验证
|
||||
|
||||
| 项 | 结果 |
|
||||
| --- | --- |
|
||||
| `make release` / `make debug` / `make -C Tools` | 零 warning |
|
||||
| 产物 | **781,824 B**（−512） |
|
||||
| `UnitTests` | 260 / 19 PASS |
|
||||
| `OffscreenChecks -all` | 7 检查 / 133 断言 PASS |
|
||||
| `panels -mode compare` | 7 面板像素哈希逐项不变 |
|
||||
| `rowgeom -mode compare` | 965+7 键 / 1268+7 键（MF4），0 差异 |
|
||||
|
||||
### 17.6 下一步（按价值排序）
|
||||
|
||||
1. **面板"三处穷举 switch"再收敛**：现在新增面板仍要改 `PanelStyleOf` / `PanelTitle` /
|
||||
`LanePanelScrollOf` 三处；可以考虑把它们合成一张 `constexpr` 表
|
||||
（`{kind, title, style, scrollPtr}`），新增面板只加一行数据 —— 但 `PanelTitle` 需要
|
||||
`EdgeRangeSuffix()`（运行时字符串），需先解决"标题是函数"的问题。
|
||||
2. `PaintPanelMarkerGroups`（约 260 行）按"分组栏 / 表头 / 条目吸顶"再拆，
|
||||
与 §17.3 同理：先给"吸顶推挤"单独一个可测函数。
|
||||
3. 体积：等有新的冗余再说（用户已明确）。
|
||||
|
||||
|
||||
|
||||
Reference in new issue
Block a user