 DeepSeek V4.1 Flash
|
34365b3c1c
|
perf(size): 用自写整数格式化替换全部 std::to_wstring / std::to_string
背景：Code Review 报告 §10.3 / §11.5 建议「替换 std::to_wstring / std::to_string，
可去掉 gdtoa 链（≈33 KB）」。本轮把它做完，并给出这条建议的**真实边界**。
一、新增 `Utf8Util::FormatInteger*`（手写十进制展开，不经 printf）
* `FormatInteger(long long)` / `FormatIntegerUnsigned(unsigned long long)` /
`FormatIntegerNarrow(long long)`（后者供 MatLoader 拼 HDF5 成员路径）。
* 语义与 `std::to_wstring` / `std::to_string` 完全一致：`0` → `"0"`、负数带 `-`、
`LLONG_MIN` 用模 2^64 语义取绝对值（不会溢出）。
* 这样做的直接理由：预编译 libstdc++ 的 `to_string` 内部转调 `__mingw_swprintf`，
工程里只要留一处，MinGW 的 printf 引擎（`mingw_wpformat.o`）+ gdtoa 就必然被链入。
二、全仓替换（76 处 `to_wstring` + 2 处 `to_string`，20 个文件）
* `MatLoader.cpp` 的 `TrimNumber` 整数分支也改为 `FormatInteger`（它曾是产物里
**最后一个**引用 MinGW printf 的调用点）。
* 需要的地方补 `#include "Utf8Util.hpp"`（仅 `MatLoader.cpp` 一个新 include，其余由
`PlotViewInternal` / `SignalPanelInternal` / `ApplicationInternal` / `DataModelInternal`
已经包含）。
三、⚠️ 实测结论：gdtoa **去不掉**（把这件事彻底查清并写进 Makefile 注释）
* 只替换 `to_wstring`/`to_string`：**−1,024 B**（787,968 → 786,944）。
* 再叠加 `-D__USE_MINGW_ANSI_STDIO=0`（把 `swprintf` 让给系统 UCRT）：**0 字节**。
* 根因（定位到文件与行）：libstdc++ 的
`lib/gcc/.../include/c++/x86_64-w64-mingw32/bits/os_defines.h:48-51` **无条件**执行
`#undef __USE_MINGW_ANSI_STDIO` + `#define __USE_MINGW_ANSI_STDIO 1`
（注释：libstdc++ depends on POSIX-definitions of those functions）。
`g++ -E -dM` 实测最终值恒为 1 ⇒ **任何 C++ TU 的 `swprintf` / `strtod` 都是 MinGW 版本**，
命令行无法覆盖。
* 要真省这 33 KB 只能自己实现「浮点 → 十进制（正确舍入）」与「浮点解析的
十六进制/inf/nan 分支」，等价于重写 gdtoa。**判定：不做**（风险 >> 收益）。
* 该开关已回退，Makefile 里保留一段说明，避免后续接手者重复这两次实验。
四、验证
* 新增单元测试 `integer_replacement_matches_std`：12 个有符号样本（含 LLONG_MIN/MAX）
+ 5 个无符号样本（含 ULLONG_MAX），与 `std::to_wstring` **逐字符对照**，
并校验窄/宽版本内容一致。
* `UnitTests`：`checks=260 failed=0 cases=19`（新增 41 条断言）。
* `OffscreenChecks -all`：6 个检查全 PASS，`checks=87 failed=0`。
* `panels -mode compare`：7 个面板像素哈希与几何**逐项不变**
（整数文本从 `to_wstring` 换到手写实现后，渲染结果零差异 —— 这是最强的语义证据）。
* release 全量零 error / 零 warning；产物 787,968 → **786,944 B**。
|
2026-11-04 14:31:02 +08:00 |
|
|
DeepSeek V4.1 Flash
|
5c48bf922e
|
review(follow-ups): 落地上轮建议并给出实测结论（#2/#4 回退、#3 不重写）
一、Tools 完善
* OffscreenChecks `edgestats`：改为自动挑"最有起伏"的信号。旧实现固定取
`signals[0]`，而 MF4 的第一条信号是常量（6000）⇒ 三个阈值的断言退化成
"0 == 0" 的空转。现在扫描前 200 条挑 `max-min` 最大者，SCATTER_TEST 上
三个阈值分别得到 (20,19)/(20,19)/(20,19)，与独立参考实现逐位相同。
* UnitTests 新增 `stdio_mingw_vs_ucrt_formats`：把 MinGW ANSI stdio 与系统
UCRT 的 printf 在**本程序实际用到的全部格式**（`%.*f` / `%.6g` / `%g` /
`%.4e` / `%.2f %ls` / `%llu` / `%lld` / `%02X` / `%.2f%%`）上做逐字符比对，
13.6 万次调用 **0 处差异**（覆盖 1e-40~1e40）。它是"把 swprintf 让给 UCRT"
这条体积优化的验收标准。
* Tools/README.md：同步新增用例与断言数量（219 项 / 18 用例）。
二、第 33 轮报告 §10 后续建议的结论（详细数字见 Progress 第 34 轮）
1. **`EdgeScanFor` 状态查找哈希化：实测后回退。**
实现方式为 `deque` + `unordered_multimap<keyHash, EdgeScanState*>`（桶内仍
逐字段比对，碰撞安全；新建/淘汰/定向作废/清空四处同步索引），功能与像素
验证全绿。但 198 个状态的整轮查询只从 0.097 降到 0.073 us/query（一轮省
≈4.8 us），而产物体积 +5,632 B。⇒ 回退。
同时修正报告的量级：原估"288 信号 ≈0.3ms/帧"，实测 ≈20us/帧。
2. **`EdgePanelLayoutFor` 表驱动化：不做。** 实测 1.9~2.5 us/次（每帧约 14 次
≈30us），不是热点；第 33 轮已消除"按种类分派"的重复，剩余 957 行是几何算式
本身，无法表驱动。本轮改为交付"让这类重写可验证"的手段：
`-run panels -mode record/compare` 逐面板比对几何 + 像素哈希。
3. **`wcstod` 自写替身：实测 0 字节收益。** 只加
`-D__USE_MINGW_ANSI_STDIO=0` 全量重编后产物仍是 788,480 B、`mingw_wpformat.o`
仍被链接。原因是预编译 libstdc++ 自己引用 `__mingw_swprintf`：只要还调用
`std::to_wstring` / `std::to_string`（全仓约 80 处，若干处实参是浮点），
gdtoa 必然被链入。⇒ 回退，并在 Makefile 留下说明防止重复尝试。
三、文档
* `Documents/Code_Review_Plan.md` 新增 §六（第 34 轮节点与验收标准）。
* `Documents/Code_Review_Progress.md` 新增第 34 轮逐节点记录（含全部实测数字）。
* `Documents/Code_Review_Report.md` 新增 §11（结论表 + 两处量级修正 + 更新的后续建议）。
* `Documents/agent_mem.md` 新增第 34 轮规则：Tools 约定、两个构建陷阱、
两条"别再重复做"的实验结论。
验证：
* `make release`（删 .o 全量）零 error / 零 warning，产物 **788,480 B**（与改动前一致）。
* `make -C Tools` 零 error / 零 warning。
* `UnitTests.exe` → checks=219 failed=0 cases=18。
* `OffscreenChecks.exe -all` → 5/5 检查 PASS，checks=71 failed=0。
|
2026-11-04 11:52:10 +08:00 |
|