查看“正则表达式断言”的源代码

断言的组成之一是边界。对于文本、词或模式，边界可以用来表明它们的起始或终止部分（如先行断言，后行断言以及条件表达式）。

== 边界类断言 ==

<span id="section"></span>
=== <code>^</code> ===

匹配输入的开头。比如 <code>/^A/</code> 匹配不了 <code>&quot;an A&quot;</code> 里面的 <code>&quot;A&quot;</code>，但是可以匹配 <code>&quot;An A&quot;</code> 里面第一个 <code>&quot;A&quot;</code>。

备注：<code>^</code> 出现在集合或范围开头时的含义与此不同（参见 <code>group</code>）。

<span id="section-1"></span>
=== <code>$</code> ===

匹配输入的结束。比如 <code>/t$/</code> 不能匹配 <code>&quot;eater&quot;</code> 中的 <code>&quot;t&quot;</code>，但是可以匹配 <code>&quot;eat&quot;</code> 中的 <code>&quot;t&quot;</code>。

<span id="b"></span>
=== <code>\b</code> ===

匹配一个单词的边界，这是一个字的字符前后没有另一个字的字符位置，例如在字母和空格之间。需要注意的是匹配的单词边界不包括在匹配中。换句话说，匹配字边界的长度为零。

<code>\b</code>位置取决于匹配左边界或右边界。

一些例子：

* <code>/\bm/</code> 在 <code>&quot;moon&quot;</code> 中匹配到 <code>&quot;m&quot;</code>
* <code>/oo\b/</code> 在 <code>&quot;moon&quot;</code> 中不会匹配到 <code>&quot;oo&quot;</code>, 因为 <code>&quot;oo&quot;</code> 后面跟着 <code>&quot;n&quot;</code> 这个单词字符。
* <code>/oon\b/</code> 在 <code>&quot;moon&quot;</code> 中匹配 <code>&quot;oon&quot;</code>，因为 <code>&quot;oon&quot;</code> 是这个字符串的结尾，因此后面没有单词字符
* <code>/\w\b\w/</code> 将永远不会匹配任何东西，因为一个单词字符后面永远不会同时有一个非单词字符和一个单词字符。 匹配退格字符 (<code>[\b]</code>), 查看字符类。

<span id="b-1"></span>
=== <code>\B</code> ===

匹配非单词边界。这是上一个字符和下一个字符属于同一类型的位置：要么两者都必须是单词，要么两者都必须是非单词，例如在两个字母之间或两个空格之间。字符串的开头和结尾被视为非单词。与匹配的词边界相同，匹配的非词边界也不包含在匹配中。例如，<code>/\Bon/</code> 在<code>&quot;at noon&quot;</code>中匹配<code>&quot;on&quot;</code> ，<code>/ye\B/</code> 在 <code>&quot;possibly yesterday&quot;</code>中匹配<code>&quot;ye&quot;</code> 。

== 其他断言 ==

<blockquote>备注： ？字符也可用作量词
</blockquote>
<span id="xy"></span>
=== <code>x(?=y)</code> ===

先行断言： x 被 y 跟随时匹配 x。

例如，对于<code>/Jack(?=Sprat)/</code>，<code>&quot;Jack&quot;</code>在跟有<code>&quot;Sprat&quot;</code>的情况下才会得到匹配．<code>/Jack(?=Sprat|Frost)/</code> <code>&quot;Jack&quot;</code>后跟有<code>&quot;Sprat&quot;</code>或<code>&quot;Frost&quot;</code>的情况下才会得到匹配。不过， 匹配结果不包括<code>&quot;Sprat&quot;</code>或<code>&quot;Frost&quot;</code>。

<span id="xy-1"></span>
=== <code>x(?!y)</code> ===

先行否定断言： x 没有被 y 紧随时匹配 x。

例如，对于<code>/\d+(?!\.)/</code>，数字后没有跟随小数点的情况下才会得到匹配。对于<code>/\d+(?!\.)/</code>匹配(3.141)，结果为<code>'141'</code>而不是<code>'3'</code>。

<span id="yx"></span>
=== <code>(?&lt;=y)x</code> ===

后行断言： x 跟随 y 的情况下匹配 x。

例如，对于<code>/(?&lt;=Jack)Sprat/</code>，<code>&quot;Sprat&quot;</code>紧随<code>&quot;Jack&quot;</code>时才会得到匹配。对于<code>/(?&lt;=Jack|Tom)Sprat/</code>，<code>&quot;Sprat&quot;</code>在紧随<code>&quot;Jack&quot;</code>或<code>&quot;Tom&quot;</code>的情况下才会得到匹配。不过，匹配结果中不包括<code>&quot;Jack&quot;</code>或<code>&quot;Tom&quot;</code>。

<span id="yx-1"></span>
=== <code>(?&lt;!y)x</code> ===

后行否定断言： x 不跟随 y 时匹配 x。

例如，对于<code>/(?&lt;!-)\d+/</code>，数字不紧随 <code>-</code> 符号的情况下才会得到匹配。对于<code>/(?&lt;!-)\d+/</code>匹配(3) ，结果为<code>&quot;3&quot;</code>。 而<code>/(?&lt;!-)\d+/</code>匹配(-3),无结果，这是由于数字之前有 <code>-</code> 符号。