/^(?:body|html)$/i

你确定是这么写的表达式么？虽然它是有效的但不是科学的写法。它能匹配到整行的body和html，但是没这么干的，如果想匹配body和html应该是

/^(body|html)$/i

?:和?=都用于子表达式里面，?:表示匹配且获取，?=表示匹配但不获取。

/1(?:2)/匹配12

/1(?=2)/匹配1，而且是后面有2的那个1

直接搜《正则表达式30分钟入门教程》自己去看吧

(pattern) 匹配pattern并获取这一匹配。所获取的匹配可以从产生的Matches集合得到，在VBScript中使用SubMatches集合，在JScript中则使用$0…$9属性。要匹配圆括号字符，请使用“(”或“)”。

(?:pattern) 匹配pattern但不获取匹配结果，也就是说这是一个非获取匹配，不进行存储供以后使用。这在使用或字符“(|)”来组合一个模式的各个部分是很有用。例如“industr(?:y|ies)”就是一个比“industry|industries”更简略的表达式。

(?=pattern) 正向肯定预查，在任何匹配pattern的字符串开始处匹配查找字符串。这是一个非获取匹配，也就是说，该匹配不需要获取供以后使用。例如，“Windows(?=95|98|NT|2000)”能匹配“Windows2000”中的“Windows”，但不能匹配“Windows3.1”中的“Windows”。预查不消耗字符，也就是说，在一个匹配发生后，在最后一次匹配之后立即开始下一次匹配的搜索，而不是从包含预查的字符之后开始。

(?!pattern) 正向否定预查，在任何不匹配pattern的字符串开始处匹配查找字符串。这是一个非获取匹配，也就是说，该匹配不需要获取供以后使用。例如“Windows(?!95|98|NT|2000)”能匹配“Windows3.1”中的“Windows”，但不能匹配“Windows2000”中的“Windows”。预查不消耗字符，也就是说，在一个匹配发生后，在最后一次匹配之后立即开始下一次匹配的搜索，而不是从包含预查的字符之后开始

/^(?:body|html)$/i 匹配'html'或'body'
/^(?=body|html)$/i 什么都不匹配，它要求'html'或'body'前面什么都没有且后面什么都没有  并且   $（结束）前面就是^（开始），所以是矛盾的。

(?:) 是非捕获分组，当你需要进行分组，但不需要捕获的时候使用，有助于提高性能。

?=实际上应算是匹配预查。str(?=condition) 后面的应该只能算是匹配的条件。意思就是只有满足condition条件的str才能被匹配到。

?=还有一个兄弟叫做!?，作用相反，只有在不满足条件的str才能被匹配到。

?:就是直接匹配str + conidtion

以上三个都是非获取匹配，意思就是condition匹配到的内容并不会存储到Matches里。

例如：

var str = "dadiao 2333";
str.match(/dadiao (?:2222|2333|1211)/)  //['dadiao 2333'];
str.match(/dadiao (?=2222|2333|1211/) // ['dadiao '];

str.match(/dadiao (?!=2222)/) //['dadiao ']

str.match(/dadiao (2222|2333|1211)/) //['dadiao 2333', '2333'];