正则环视断言专项测试 - 前瞻/后顾/否定/正向

环视断言（Lookaround）是正则表达式中的一种零宽度断言，用于检查某个位置的前面或后面是否符合特定模式。关键特性：断言只检查条件是否满足，不会消耗（consume）匹配的字符，因此也被称为"零宽度"匹配。

环视断言分为四大类：

• 正向先行断言 (?=...) — 后面必须跟着指定模式
• 负向先行断言 (?!...) — 后面不能跟着指定模式
• 正向后行断言 (?<=...) — 前面必须跟着指定模式
• 负向后行断言 (?<!...) — 前面不能跟着指定模式

先行断言（Lookahead）检查的是当前位置之后（右侧）的文本，语法为 (?=...) 或 (?!...)。

后行断言（Lookbehind）检查的是当前位置之前（左侧）的文本，语法为 (?<=...) 或 (?<!...)。

示例对比：对于文本 "abc123"——\d+(?=abc) 不匹配（数字后面不是abc），而 (?<=abc)\d+ 匹配 "123"（数字前面是abc）。

注意：后行断言是ES2018（ES9）才引入的特性，在非常旧的浏览器中可能不被支持。所有现代浏览器（Chrome 62+、Firefox 78+、Safari 16.4+、Edge 79+）均已支持。

不会！这是环视断言最核心的特性。断言仅仅"看一眼"文本，检查条件是否满足，但不消耗任何字符。

这意味着正则引擎在断言检查完成后，匹配位置会回到断言开始前的位置。因此断言非常适合用于添加额外的上下文约束，而不影响实际匹配的内容。

实际例子：正则 (?<=￥)\d+(?=元) 匹配文本 "￥15元"——匹配结果是 "15"，前后的 "￥" 和 "元" 仅作为条件被检查，但不会被包含在匹配结果中。

正向断言（Positive）用于限定必须满足的条件：

• \d+(?=元) — 只匹配后面跟着"元"的数字（价格提取）
• (?<=@)\w+ — 只匹配@后面跟着的用户名
• (?=.*[A-Z])(?=.*\d).{8,} — 密码必须同时包含大写字母和数字

负向断言（Negative）用于排除不想要的情况：

• \d+(?!\.\d) — 匹配整数，排除小数（后面不跟小数点）
• (?<!www\.)\w+\.com — 匹配域名但排除以www开头的
• (?!.*password).* — 排除包含"password"的字符串

可以！环视断言内部可以包含另一个环视断言，形成嵌套结构。这在复杂验证场景中非常有用。

示例：(?=(?=.*[A-Z])(?=.*\d))\w{6,} — 外层先行断言验证密码包含大写字母和数字，然后匹配6个以上单词字符。

但注意：JavaScript（以及大多数正则引擎）不允许后行断言中包含可变长度的模式。例如 (?<=\d+) 在JavaScript中会抛出错误，因为后行断言需要固定宽度。不过某些现代引擎（如.NET）支持可变宽度后行断言。

环视断言内部可以包含捕获组，捕获组会正常捕获内容，但由于断言不消耗字符，捕获组的引用方式需要注意。

关键点：断言内的捕获组捕获的是断言检查时扫描到的内容，即使断言最终不消耗这些字符。在JavaScript中，你可以在match结果的groups或捕获组索引中获取这些值。

示例：(?=(\d{3})) 匹配每3位数字前的位置，同时捕获组1捕获了这3位数字。

环视断言本身性能开销较小，但在以下情况下可能影响性能：

• 断言中包含复杂的嵌套模式或大量回溯
• 在大文本中反复使用复杂的后行断言
• 断言中的模式与外部模式产生大量重叠匹配

优化建议：

• 尽量使断言中的模式具体且高效，避免过多的.*等贪婪模式
• 合理使用非贪婪匹配和字符类减少回溯
• 对于固定模式，考虑使用字符串方法替代复杂的断言

零宽度匹配指的是正则表达式匹配到的是位置（position）而非实际字符，匹配长度为0。环视断言、^、$、\b等都是零宽度断言。

如果整个正则表达式只包含零宽度断言（如 (?=\d)），则匹配结果：

• 匹配文本为空字符串 ""
• index 指向该位置
• 不会消耗任何字符

在全局匹配模式下，正则引擎会自动将lastIndex前进1位以避免无限循环。这意味着对于文本"abc"，(?=.) 会匹配位置0、1、2（每个字符前各一个位置）。