[[...]]的所有实例，其中...可以是任何内容，包括其他括号（但它们不能嵌套; ]]在[[之后的第一个实例会结束匹配）。/\[\[.+?\]\]//\[\[(?:(?!\]\]).)+\]\]/\[匹配。
2. 原子#2 \[匹配。
3. 原子#3 .+?匹配 "a" 。
4. 原子#4 \]匹配。
5. 原子#5 \]失败，返回#3但保留字符串位置。
6. 原子#3 .+?匹配 "]" 。
7. 原子#4 \]失败，返回#3但保留字符串位置。
8. 原子#3 .+?匹配 "b" 。
9. 原子#4 \]匹配。
10. 原子#5 \]匹配。
11. 成功。\[匹配。
2. 原子#2 \[匹配。
3. 原子#4 (?!\]\])立即在 "a" 处成功（即不匹配），继续。
4. 原子#5 .匹配 "a" ，返回#3。
5. 原子#4 (?!\]\])在 "]" 处实现部分匹配。
6. 原子#4 (?!\]\])在 "b" 处成功（即不匹配），继续。
7. 原子#5 .匹配 "]" ，返回#3。
8. 原子#4 (?!\]\])立即在 "b" 处成功（即不匹配），继续。
9. 原子#5 .匹配 "b" ，返回#3。
10. 原子#4 (?!\]\])在 "]" 处实现部分匹配。
11. 原子#4 (?!\]\])在 "]" 处实现完全匹配，因此：#4失败，退出#3。
12. 原子#6 \]匹配。
13. 原子#7 \]匹配。
14. 成功。
看起来非贪婪量词的工作量要少一些。
免责声明：这只是一个人工示例，实际性能可能会有所不同，取决于输入、实际表达式和正则表达式引擎的实现。我只有98%的把握认为我在这里概述的是实际发生的事情，因此我愿意接受纠正。另外，就像所有性能提示一样，不要轻信这个结果，如果你想确定，可以进行自己的基准比较。
/\[\[((?:\]?[^]])+)]]/
该正则表达式既不使用非贪婪量词也不使用先行断言，它允许在任何非 ] 字符之前有一个单独的 ]。如果有两个连续的 ]，那么内部的重复将停止，并且匹配也会结束。\[\[(?:[^\]]++|\](?!\]))*+\]\]
[^\]]++会吞噬除了]以外的任何字符，并且不保存状态信息，因此无法回溯。如果它看到一个]，它会进行前瞻来查看是否还有另一个]。将整个内容包装在另一个占有量词中意味着只有在看到]时才进行前瞻，并且仅回溯一次：当它找到闭合的]]时。
Java、JGSoft、PCRE（PHP）、Oniguruma（Ruby 1.9）和Perl 5.12都支持占有量词。所有这些语言也支持原子组，可以用于实现相同的效果：
\[\[(?>(?:(?>[^\]]+)|\](?!\]))*)\]\]
.NET版本支持原子组，但不支持占有量词。
我认为最好使用非贪婪限定符。你确定你读的那篇文章不是在说“小心贪婪匹配”吗？
.*?的论点。 - Daniel Vandersluis