如何提取 PHP 函数体（包括普通函数与匿名函数）-php教程-PHP中文网

如何提取 PHP 函数体（包括普通函数与匿名函数）

本文详解如何通过正则表达式精准提取 php 中普通函数和变量赋值式匿名函数（lambda）的函数体代码，涵盖匹配原理、关键转义细节、递归匹配花括号嵌套，并提供健壮可复用的两个提取函数。

本文详解如何通过正则表达式精准提取 php 中普通函数和变量赋值式匿名函数（lambda）的函数体代码，涵盖匹配原理、关键转义细节、递归匹配花括号嵌套，并提供健壮可复用的两个提取函数。

在 PHP 源码解析或代码分析类场景中，常需从原始字符串中提取指定函数的函数体内容（即 {} 内部的完整逻辑块），而非函数声明本身。这适用于静态代码分析、文档生成、测试桩注入等需求。本文提供两套互补的正则提取方案：extractBody() 用于传统 function name() { ... } 声明；extractBody2() 专为 $var = function(...) { ... }; 形式的匿名函数设计。

✅ 正确匹配匿名函数的关键：变量符号 $ 必须转义

原始 extractBody2 失败的根本原因在于未对 $ 符号进行正则转义。在正则表达式中，$ 是行尾锚点元字符，直接写 "$my_function" 会导致匹配失败或语义错误。必须使用双反斜杠 \$（在 PHP 字符串中最终生成字面量 $）：

function extractBody2($functionName, $data) {
    // 注意：\$ 确保匹配字面量美元符号，而非正则中的行尾断言
    $pattern = "/\$" . preg_quote($functionName, '/') . "s+=s+functions*((?<param>[^)]*))s*(?{(?:[^{}]+|(?&body))*})/";
    $c = preg_match_all($pattern, $data, $matches);
    return $c > 0 ? $matches['body'] : null;
}

? 安全增强建议：使用 preg_quote($functionName, '/') 对函数名中可能含有的正则特殊字符（如 ., *, +, ? 等）进行转义，防止注入式正则破坏。

btpanel phpsite 宝塔面板PHP网站
宝塔面板 PHP 网站管理：站点创建、删除、启停、PHP 版本切换、域名管理、SSL证书管理、伪静态管理、数据库管理

下载

? 递归正则：正确处理嵌套花括号

两个函数均采用 PCRE 的命名子组 + 递归模式 (?&body) 来可靠匹配任意深度的 {} 嵌套（如 if{...}else{foreach{...}}）：

(?{(?:[^{}]+|(?&body))*})

(?...)：定义名为 body 的捕获组；
(?:[^{}]+|(?&body))*：非捕获组，重复匹配「非花括号字符」或「递归调用 body 组」；
(?&body)：递归引用自身，实现嵌套匹配。

此模式比简单 /{.*}/s 更健壮，避免因中间出现 } 导致过早截断。

? 完整可运行示例

<?php // 示例数据：匿名函数
$data2 = '<?php 
$my_function = function($param){
    if($param === true){
        // This is true
    }else if($param === false){
        // This is false
    }else{
        // This is not
        $nested = function() {
            return "deep";
        };
    }
}; ?>';

function extractBody2($functionName, $data) {
    $pattern = "/\$" . preg_quote($functionName, '/') . "s+=s+functions*((?<param>[^)]*))s*(?{(?:[^{}]+|(?&body))*})/";
    if (preg_match_all($pattern, $data, $matches)) {
        return $matches['body'][0]; // 返回首个匹配体
    }
    return null;
}

$body2 = extractBody2("my_function", $data2);
echo "Extracted body:
" . trim($body2) . "
";
// 输出包含完整嵌套结构的函数体
?>