Perl E04：三个坏样本只是警报，不是复杂度证明
第 19 篇把 \A(a+)+\z 和 \Aa+\z 放在短输入末尾追加 X 的拒绝场景中对照。选修复跑仅取 6、8、10 个 a：两个模式都拒绝，程序打印组合分割数 32、128、512。这个数来自数学上的 2 ** (size - 1)，不是 Perl 引擎实测尝试次数、耗时曲线，更不能由一次执行推出任意长输入的复杂度。对抗样本被刻意限在 10 个 a 以内。
另一个反例更可直接观测：在 aXb a.b 中把动态字面数据 a.b 不加引号地插入正则，. 会匹配 X，得到 unquoted=aXb；使用 \Q$needle\E 才得到 literal=a.b。动态模式若来自用户输入，不应该无条件当作正则语法。正例是受限样本全部拒绝且程序有界完成，反例是未经转义时误匹配，两者在 experiments/16-20-patterns.pl 分别可重跑。
练习：为了“证明”回溯严重性，把输入从 10 个 a 改成 100 万个再计时是否合理？不合理：执行可能没有受控时间边界，单次耗时也不构成复杂度证明。想论证引擎行为，需要版本明确、隔离资源、设计输入规模和重复测量，避免把推导的分割数冒充测得的状态数。命令、成功/反例的 stdout 与 status 见 examples/perl-language/evidence/E01-E08.md；参考 5.38.2 pod/perlre.pod、pod/perlrebackslash.pod。
All articles on this blog are licensed under CC BY-NC-SA 4.0 unless otherwise stated.
Related Articles
2026-10-06
Perl 16：只在本次匹配成功的分支使用捕获
消息 id=abc-01 能拆成 id 和 abc-01；消息 id= 不能变成一条没有值却被接受的记录。正则既要覆盖整个字段，又必须让后续代码只在匹配成功的分支使用捕获结果。用一个成功匹配后的 $1 再去检查失败匹配，是把上一次状态误当成这一次数据。 实验 perl examples/perl-language/experiments/16-20-patterns.pl 16 运行锚定在 \A、\z 的 (?<key>[a-z]+)=(?<value>[a-z0-9-]+)：STDOUT 是 accepted:id:abc-01 与 rejected:id= 两行，STDERR 空，退出码 0。代码仅在 if ($message =~ /.../) 成功时读取 $+{key}、$+{value}。这是一段消息子语法的实验，不是说整行 TSV 都该换成一条大正则。日志字段数、时间和等级仍遵守之前的解析契约。 图：消息子语法的匹配与捕获分支 123原始合成行 -> 固定四列 -> message 字符串 ...
2026-10-06
Perl 17：/g 的下一次匹配有位置状态
在字符串 a,b 上写 while ($text =~ /([^,]+)/g)，第一次得到 a，第二次得到 b。差别并非正则凭空“记住上一条日志”，而是目标标量的搜索位置在匹配时变化。实测 pos($text) 先为 1、再为 3；下一次找不到时，默认失败会把位置重置为 undef。若混入 /gc，失败后不重置的契约又不同；不能把两种情况笼统说成“/g 永远继续”。 零长度匹配更容易把位置误判成终止条件。实验对 ab 用 /(?=.)/g：STDOUT 的 zero-width=0,1，而不是无穷多个 0；代码另设最多 3 次的护栏，防止未来改动变成挂起。这只验证了该模式和本机 Perl 5.38.2 的有限样本；文档对重复零长度匹配有专门规则，不能由一个 while 循环推论每个含 \G 的模式都安全。 执行 perl examples/perl-language/experiments/16-20-patterns.pl 17，四行输出和空 STDERR、退出码 0 记录在 examples/perl-language/evidence/15-20.md。工具本体目前按 TA...
2026-10-06
Perl 09：源码写成 UTF-8，不代表文件已经解码
同一段汉字在源码里是一个字面量，在 TSV 文件里却首先是一串字节。use utf8 管源码中如何解释非 ASCII 字面量和标识符；它不是给任何 open 自动加解码层。只有先区分这两条入口，length 才有可解释的单位。 perl -e 'print length("重试"), "\n"' 的 STDOUT 是 6，退出码 0；用 perl -Mutf8 -e 'print length("重试"), "\n"'，输出是 2，退出码仍为 0。这组命令输入来自当前 UTF-8 shell；它测的是同一串源码字节在两种编译设置下的字面量长度，不是在测试从日志文件读入的解码配置。正式实验 experiments/09-10-encoding.pl 用 use utf8 声明源码字面量：characters=2；显式 encode('UTF-8', ...) 得 input-bytes=6，再 decode 后 decoded-characters=2。 图：源码字节与运行时输入分别进入字符域。 12源...
2026-10-06
Perl 38：发布前把失败阶段拆开测试
只跑一次成功链路，无法排除坏字节被吞掉、旧报表被截断、子进程启动失败却返回成功。当前 Course 审核以输入、解析、查询、写入、子进程与生命周期六类组织故障矩阵，逐项记 exit、signal、STDOUT、STDERR 和目标文件状态。tools/replay.pl --case all 把这些 case 收成一份 JSON：bad-byte、bad-json、directory-output、missing-parent、input-output-alias、output-pair-alias、kernel-faults、input-faults、data-contract、worker-and-lifecycle 都在同一入口下复跑。 成功对照仍然要保留：version 说明实际解释器，import 必须得到 INPUT<TAB>5、ACCEPTED<TAB>4、REJECTED<TAB>1，query-all 的 stdout 必须逐字节等于 accepted JSON Lines，report 必须输出固定排序 TSV。失败对照则看...
2026-10-06
Perl 25：prove 应能报告故障，不只是打印 PASS
一份测试若总在成功路径上说 ok，却从未检查过拒绝时的错误流，破损解析器也可能继续通过。当前 t/ 目录覆盖核心输入、上下文、引用、Unicode、正则、模块版本、隔离 CSV 和帮助命令，调用真实 Perl 子进程分别比较退出码、STDOUT、STDERR；一条用错码位的断言还需要让测试框架明确失败。 2026-10-06 历史增量运行 prove -r examples/perl-language/t，当时报告 7 个文件、105 个断言，Result: PASS，命令退出 0，STDERR 空。反例 fixtures/deliberate-failure.t 故意要求 is 2, 3；单独运行 prove -v examples/perl-language/fixtures/deliberate-failure.t，STDOUT 中有 not ok 1、Result: FAIL，STDERR 标明 got 2、expected 3，退出码 1。该文件不放进默认的 t/：它是验收 TAP 失败通道的金标，不是被忽略的回归失败。 图：执行结果进入断言，再由 harness 汇总...
2026-10-06
Perl 33：先写临时文件，最后才触碰有效报表
如果 report-file 一开始就以 > 打开已有目标，任何后续解析、写入、关闭错误都可能只留下截断文件。当前流程先把输入完全读完、校验并编码，再在目标同一目录写独占临时文件；print 和 close 都确认成功后才 rename 覆盖目标。只有 rename 返回成功，CLI 才发出 SAVED\n。之前生成的有效目标不会在“输入刚报错”时被打开。 图：临时文件检查完成后替换目标 12345校验输入 -> 生成全部字节 -> 同目录新文件 -> 检查 print/close | 失败：删临时文件，旧目标不变 | 成功：rename 替换旧目标 t/32-36-safe-report.t 首先写入 golden/report.txt，再用 invalid.tsv 重试：命...
