本文详解如何利用 pcre 的 `(?r)` 递归机制与命名捕获组，构建高性能、无回溯灾难的正则表达式，准确提取最外层嵌套的 `[if]…[/if]` 结构（含 `[elseif]` 和 `[else]` 分支），适用于 php 模板解析等场景。

在 PHP 的模板引擎或轻量级标记解析中，常需处理形如 [if cond][if …][/if][else]…[/if] 的嵌套条件语法。若仅用普通正则（如 //[if.*?/].*?/[//if/]/s），极易因贪婪匹配、分支混淆或深度嵌套导致部分匹配、错位闭合、甚至 catastrophically backtracking（灾难性回溯）——尤其当输入文本较长时，性能断崖式下降。

PCRE（PHP 默认正则引擎）支持真正的递归子模式（(?R)）和命名子组引用（/g），这为安全、精确地解析嵌套结构提供了原生方案。核心思路是：将整个 [if]…[/if] 结构定义为一个可递归调用的“语法单元”，并严格区分「起始标签」「内容区」「结束分支」三部分，避免模糊匹配。

以下是一个经过生产验证的优化正则表达式（启用 x 修饰符以支持注释与空白）：

~
/[if /s+ (?[^]]*) ]

(?
    [^[]*+                     # 匹配非 '[' 字符（原子组，防回溯）
    (?:                        # 非捕获组：允许递归或跳过干扰标签
        (?R) [^[]*              # 递归匹配整个模式（即内层 if 块），后接非 '[' 内容
        |                      # 或
        /[ (?! /if] | else (?:if)? /b) [^[]*  # 匹配非终结标签（如 [img], [url]），防误吞
    )*+
)

(?
    (?: /[elseif /s+ [^]]* ] /g )*+   # 零或多个 elseif 分支
    (?: /[else] /g )?+                # 可选 else 分支
    /[/if]                                     # 必须以 [/if] 结束
)
~x

✅ 关键设计说明：

• (?[^]]*) 精确捕获条件内容，避免跨 ]；
• [^[]*+ 使用原子组（possessive quantifier），彻底禁用回溯，大幅提升长文本稳定性；
• (?R) 表示“递归调用整个正则模式”，天然支持任意深度嵌套；
• /g 复用已定义的 content 子组逻辑，保持分支结构一致性；
• (?! /if] | else (?:if)? /b) 是负向先行断言，确保 [ 后不紧跟 /if] 或 else[if]?，防止将结束标签误判为内容；
• x 修饰符启用“忽略空白与注释”模式，使正则具备可读性与可维护性。

? 使用示例（PHP）：

$text = '[if user.is_admin]
    Hello admin!
    [if user.has_premium]
        Welcome VIP!
    [/if]
[else]
    Hello guest.
[/if]';

if (preg_match('~/[if /s+ (?[^]]*) ] (?[^[]*+(?: (?R) [^[]* | /[ (?! /if] | else (?:if)? /b) [^[]* )*+) (?(?: /[elseif /s+ [^]]* ] /g )*+ (?: /[else] /g )?+ /[/if])~x', $text, $matches)) {
    echo "Condition: " . $matches['cond'] . "/n"; // → user.is_admin
    echo "Content: " . trim($matches['content']) . "/n"; // → Hello admin! .../n    [if user.has_premium].../n    [/if]
    echo "Full block: " . $matches[0] . "/n";
}

⚠️ 重要注意事项：

• 此方案仅适用于 PCRE（PHP >= 7.3 推荐），不兼容 JavaScript 或 Python 的 re 模块；
• 若模板中存在大量非结构化 [（如代码块、URL），需扩展负向断言逻辑，或预处理转义；
• 尽管性能远超 strpos 循环，但极度复杂的嵌套仍建议改用递归下降解析器（如自定义状态机），正则并非万能；
• 测试务必覆盖边界用例：空内容、连续 [else]、缺失 [/if]、深层嵌套（10+ 层）等。

总结而言，合理运用 (?R) 与命名子组，配合原子量化与精准断言，可让正则从“脆弱的字符串切片工具”升级为可靠的轻量级语法分析器——这正是 PHP 原生正则能力的高阶实践价值所在。

https://www.php.cn/faq/1991595.html