知识卡片
有序多选能表达策略
内容
传统型 NFA 的多选分支按顺序尝试，先成功的分支会锁定结果。这让分支顺序成为业务策略的一部分：更具体、更希望命中的分支应放在前面。关联：[[共享前缀要提取]]。
参考来源
- 位置：第4章《表达式的匹配原理》「发掘有序多选结构的价值」小节（源文件：_epub-src/text/part0009_split_007.html）
- 结论依据：原文说明多选结构是有序的，先选择和测试第一个分支，若能匹配则控制权立即转移，顺序改变会影响最终匹配结果，直接支持卡片对有序多选分支顺序即业务策略的论述。
- 原始内容："我们来看多选结构有序的情形。首先选择和测试的是第一个多选分支，如果能够匹配，控制权就转移到紧接的……如果多选分支是有序的，而能够匹配同样文本的多选分支又不只一个，就要小心安排多选分支的先后顺序。"