@H_403_0@ 零宽断言用于查找在某些内容(但并不包括这些内容)之前或之后的东西，也就是说它们像 \b ^ $ \< \> 这样的锚定作用，用于指定一个位置，这个位置应该满足一定的条件(即断言)，因此它们也被称为零宽断言。断言用来声明一个应该为真的事实。正则表达式中只有当断言为真时才会继续进行匹配。 @H_403_0@
@H_403_0@其中零宽断言又分四种： @H_403_0@1） @H_403_0@先行断言 也叫零宽度正预测先行断言(?=exp) -- 表示匹配表达式前面的位置 @H_403_0@
@H_403_0@例如 [a-z]*(?=ing) 可以匹配 cooking 和 singing 中的 cook 与 sing 。 @H_403_0@
@H_403_0@注意：先行断言的执行步骤是这样的先从要匹配的字符串中的最右端找到第一个 ing (也就是先行断言中的表达式)然后 再匹配其前面的表达式，若无法匹配则继续查找第二个 ing 再匹配第二个 ing 前面的字符串，若能匹配则匹配，符合正则的贪婪性。 @H_403_0@
@H_403_0@例如： .*(?=ing) 可以匹配 "cooking singing" 中的 "cooking sing" 而不是 cook @H_403_0@
@H_403_0@
@H_403_0@2） @H_403_0@后发断言也叫零宽度正回顾后发断言(?<=exp) -- 表示匹配表达式后面的位置 @H_403_0@
@H_403_0@例如(?<=abc).* 可以匹配 abcdefg 中的 defg @H_403_0@
@H_403_0@注意：后发断言跟先行断言恰恰相反 它的执行步骤是这样的：先从要匹配的字符串中的最左端找到第一个abc(也就是先行断言中的表达式)然后 再匹配其后面的表达式，若无法匹配则继续查找第二个 abc 再匹配第二个 abc 后面的字符串，若能匹配则匹配。 @H_403_0@
@H_403_0@例如(?<=abc).* 可以匹配 abcdefgabc 中的 defgabc 而不是 abcdefg @H_403_0@
@H_403_0@
@H_403_0@3） @H_403_0@负向零宽断言 @H_403_0@
@H_403_0@负向零宽断言 (?!exp) 也是匹配一个零宽度的位置，不过这个位置的“断言”取表达式的反值，例如 (?!exp) 表示 "exp" 前面的位置，如果 "exp" 不成立 ，匹配这个位置；如果 "exp" 成立，则不匹配。同样，负向零宽断言也有“先行”和“后发”两种，负向零宽后发断言为 (?<!exp) @H_403_0@
@H_403_0@负向零宽后发断言(?<!exp) @H_403_0@
@H_403_0@负向零宽先行断言 (?!exp) @H_403_0@
@H_403_0@负向零宽断言要注意的跟正向的一样。 @H_403_0@
@H_403_0@
| 分类 | 代码/语法 | 说明 |
|---|---|---|
| 捕获 | (exp) | 匹配exp,并捕获文本到自动命名的组里 |
| (?<name>exp) | 匹配exp,并捕获文本到名称为name的组里，也可以写成(?'name'exp) | |
| (?:exp) | 匹配exp,不捕获匹配的文本，也不给此分组分配组号 | |
| 零宽断言 | (?=exp) | 匹配exp前面的位置 |
| (?<=exp) | 匹配exp后面的位置 | |
| (?!exp) | 匹配后面跟的不是exp的位置 | |
| (?<!exp) | 匹配前面不是exp的位置 | |
| 注释 | (?#comment) | 这种类型的分组不对正则表达式的处理产生任何影响，用于提供注释让人阅读 |
@H_403_0@
@H_403_0@例子: @H_403_0@
@H_403_0@cat file @H_403_0@aaa bbb CD="123" fd @H_403_0@
@H_403_0@要取出CD后面的值：
- @H_403_0@grep -oP '(?<=CD=")\d+' file
- @H_403_0@grep-oP '(?<=:).*=d'file
- -Po '[^"]+(?=",false)'file
