量词写在锚点后面
锚点与断言都是零宽的，本身已经表示「当前位置满足某条件」，对它们再施加量词等价于要求这个零宽条件重复成立。多数引擎允许这种语法，但它的语义很有限，且不同实现的处理并不统一。
别把相邻量词认错对象
很多看起来像「锚点带量词」的写法，其实量词作用在后面的字符类上：行首锚点后面跟空白类加星号，星号管的是空白类而不是锚点。辨认方法是看量词紧邻的前一个元素到底是什么。
基本信息
| 零宽元素 | 锚点、单词边界、各种断言都不消耗字符 |
|---|---|
| 允许与否 | 多数引擎允许对零宽元素加量词，语义受限 |
| 典型风险 | 要求重复固定次数的零宽条件可能永不匹配 |
| 常见误读 | 把量词认成绑定锚点，实际绑定的是后面的字符类 |
| 可读写法 | 把「行首可有空白」写成锚点加空白类加星号，意图最清楚 |
| 实现差异 | 是否允许以及如何处理零宽重复随引擎与版本而异，以官方文档为准 |
典型使用场景
- 阅读他人模式时判断量词绑定的是锚点还是后续字符元素
- 排查模式永不匹配的问题：检查是否对零宽条件施加了强制重复
- 改写可疑写法，用分组或显式字符类表达同样意图
- 评审模式时把有歧义的量词位置加括号明确
- 迁移模式到别的引擎前，先确认零宽重复被如何处理
常见写法的真实含义
常见写法的真实含义
^ 单独一个行首锚点：匹配行的起始位置
^\s* 量词作用于空白类，不是锚点：行首可以有若干空白
(?:^)* 对零宽分组施加重零次或多次：语法允许，语义有限
\b\w+ 边界加单词字符：常见组合，边界本身无重复
(?=a)+ 对断言加量词：属于可疑写法，建议改写
^\s*$ 整行只有空白的常见判断
\A\s*\Z 用绝对锚点表达整串只有空白，语义更严格写法与作用对象
| 写法 | 量词作用于 | 建议 |
|---|---|---|
| 锚点后紧跟字符类与量词 | 字符类 | 正常写法，无需改动 |
| 锚点后直接跟量词 | 锚点本身 | 语法多为允许，语义有限，建议避免 |
| 分组包裹锚点后跟量词 | 整个零宽分组 | 语义同上一行，建议改写 |
| 断言后跟量词 | 断言本身 | 属可疑写法，改成分组或前置条件 |
判断量词绑定对象只需要看它的前一个元素：是字符、字符类是正常用法，是锚点或断言就需要多想一步，能不能被重复、重复有没有意义。
部分引擎会对「量词作用于断言」这类写法给出警告或直接拒绝，以保证模式语义明确。写跨引擎复用的模式时，避开这类边界写法能省去很多排查时间。