PHP-Parse 簡介以及在 Hyperf 中的應(yīng)用

介紹

PHP-Parse 是分析 PHP 代碼生成 AST 的庫凡蚜,分析出可讀性很高的對象數(shù)據(jù)結(jié)構(gòu),方便后續(xù)的更新和遍歷恳谎。
PHP-Parse 的主要作用是修改原有代碼(比如插入自定義的代碼片段)肥荔,生成新的代理類 骇两〖咏停框架內(nèi)生成代理類拳喻,處理注入有用到哭当,比如 Hyperf 的 DI 組件利用反射和 PHP-Parse 實現(xiàn)了注入。

AST 的簡單介紹 具體搜索冗澈,資料很多钦勘,講得很好
比如下面 PHP 代碼會被解析成

// 04020b0b-ce35-4b4c-a688-d40a3c7dc4e2
<?php
namespace NameSpace;
class SomeClass
{
    protected function echo()
    {
        echo 'Hello';
    }
}
array(
    0: Stmt_Namespace(
        name: Name(
            parts: array(
                0: NameSpace
            )
        )
        stmts: array(
            0: Stmt_Class(
                attrGroups: array(
                )
                flags: 0
                name: Identifier(
                    name: SomeClass
                )
                extends: null
                implements: array(
                )
                stmts: array(
                    0: Stmt_ClassMethod(
                        attrGroups: array(
                        )
                        flags: MODIFIER_PROTECTED (2)
                        byRef: false
                        name: Identifier(
                            name: echo
                        )
                        params: array(
                        )
                        returnType: null
                        stmts: array(
                            0: Stmt_Echo(
                                exprs: array(
                                    0: Scalar_String(
                                        value: World
                                    )
                                )
                            )
                        )
                    )
                )
            )
        )
    )
)

大致對照看一下,解析后的對象對照源代碼亚亲,很清晰彻采。

其中 stmts 表示節(jié)點中包含的 PHP 語句。比如 Stmt_Namespace 對象(NameSpace 命名空間) 的 stmts 數(shù)組含有一個 Stmt_Class 對象(SomeClass 類名)捌归,Stmt_Class 對象的 stmts 數(shù)組含有一個 Stmt_ClassMethod(echo 方法)

以上執(zhí)行代碼在 https://github.com/bytehello/PHP-Parse-demo/blob/main/example1.php

節(jié)點類型

  1. statement node 沒有返回值肛响,不會出現(xiàn)在別的語句當中,比如說類定義陨溅,不會出現(xiàn)func(class A {});
  2. expr node 有返回值终惑,會出現(xiàn)在別的語句當中绍在。比如func()门扇、$foo
  3. scalar values 標量值,比如 'string' (PhpParser\Node\Scalar\String_)
  4. 還有一些其他分類:名字( PhpParser\Node\Name)偿渡,調(diào)用參數(shù)( PhpParser\Node\Arg)

其中
Node\Stmt\Expression 表示 expr;臼寄,Node\Expr 表示expr
區(qū)別是一個帶分號溜宽,一個不帶分號

操作節(jié)點

節(jié)點修改

節(jié)點的遍歷和修改修改是通過添加 visitor吉拳,原理就是在遍歷 AST 的時候,會調(diào)用到 visitor 中的方法适揉,我們想要修改節(jié)點只要實現(xiàn) visitor 中的方法即可留攒。具體的修改操作是在 visitor 這個對象內(nèi)完成

打個實際的例子 別墅(AST)需要裝修,管家(NodeTraverser)帶著裝修隊(visitor)去到別墅的房間一間一間瀏覽,在進入房間后(調(diào)用visitor的enterNode方法)嫉嘀,裝修隊會記錄房間的內(nèi)容(enterNode方法你自己的實現(xiàn)炼邀,當然也可以什么都不做),在離開房間后(調(diào)用visitor的leaveNode方法)剪侮,裝修隊開始施工(修改節(jié)點)

use PhpParser\NodeTraverser;
use PhpParser\ParserFactory;
use PhpParser\PrettyPrinter;

        $code = <<<'CODE'
<?php
echo 'Hello';
CODE;
        $parser = (new ParserFactory)->create(ParserFactory::PREFER_PHP7);
        $traverser = new NodeTraverser;
        // add your visitor
        $traverser->addVisitor(new MyNodeVisitor);
        $ast = $parser->parse($code);
        $traverser->traverse($ast);
        $prettyPrinter = new PrettyPrinter\Standard();
        echo $prettyPrinter->prettyPrintFile($ast);
use PhpParser\Node;
use PhpParser\NodeVisitorAbstract;

class MyNodeVisitor extends NodeVisitorAbstract
{
    public function leaveNode(Node $node) {
        if ($node instanceof Node\Scalar\String_) {
            $node->value = 'World';
        }
    }
}

執(zhí)行以上后會輸出

<?php
echo 'World';

在遍歷 AST 時拭宁,visitor 會調(diào)用多個方法:enterNode、leaveNode 等瓣俯,修改節(jié)點的操作通常都是在 leaveNode 中完成(這句話是重點杰标,下面會用到)。

以上執(zhí)行代碼在 https://github.com/bytehello/PHP-Parse-demo/blob/main/example2.php

參考 https://github.com/nikic/PHP-Parser/blob/master/doc/component/Walking_the_AST.markdown

代碼構(gòu)造

除了遍歷彩匕,還可以直接構(gòu)造 PHP 代碼腔剂,比如

use PhpParser\NodeDumper;
use PhpParser\BuilderFactory;
use PhpParser\PrettyPrinter;
use PhpParser\Node;
use PhpParser\Node\Expr;
use PhpParser\Node\Stmt\If_;
$factor = new BuilderFactory;
        $node = $factor->namespace('Name\Space')
            ->addStmt($factor->use('Tools'))
            ->addStmt($factor->class('SomeClass')
                ->addStmt($factor->method('check')
                    ->makeProtected()
                    ->addParam($factor->param('orderData')->setDefault(null))
                    ->addStmt(
                        new Node\Expr\Assign($factor->var('ttt'), new Expr\MethodCall(new Expr\Variable('this'),'check', [
                            new Node\Arg(new Node\Scalar\MagicConst\Class_())
                        ]))
                    )
                    ->addStmt(
                        new Node\Stmt\If_($factor->var('ttt'), [
                            'stmts' => array(
                                new Node\Stmt\Expression(new Node\Expr\Print_(new Node\Expr\Variable('someParam'))) // 1.
                            )
                        ])
                    )
                    )
                    )
            ->getNode();;
        $stmts = array($node);
        $prettyPrinter = new PrettyPrinter\Standard();
        echo $prettyPrinter->prettyPrintFile($stmts);

執(zhí)行上述代碼生成

<?php

namespace Name\Space;

use Tools;
class SomeClass
{
    protected function check($orderData = null)
    {
        $ttt = $this->check(__CLASS__);
        if ($ttt) {
            print $someParam;
        }
    }
}

試一試:大家可以試試 上述代碼標記為1的地方去掉new Node\Stmt\Expression()的包裹,試試看輸出驼仪,就能理解

Node\Stmt\Expression 表示 expr;Node\Expr 表示 expr

以上執(zhí)行代碼在 https://github.com/bytehello/PHP-Parse-demo/blob/main/example3.php

參考 https://github.com/nikic/PHP-Parser/blob/master/doc/component/AST_builders.markdown

實例講解

https://github.com/hyperf/hyperf-skeleton 的骨架講解

Image.png

項目啟動會在runtime下利用 AST 生成代理文件

代理文件內(nèi)容的部分如下

abstract class AbstractController
{
    use \Hyperf\Di\Aop\ProxyTrait;
    use \Hyperf\Di\Aop\PropertyHandlerTrait;
    function __construct()
    {
        self::__handlePropertyHandler(__CLASS__);
    }

新增的方法是 __handlePropertyHandler 方法桶蝎,同時還新增了use \Hyperf\Di\Aop\ProxyTrait 和 use \Hyperf\Di\Aop\PropertyHandlerTrait

下面詳解是如何新增的
1.從入口文件bin/hyperf.php中Hyperf\Di\ClassLoader::init() 開始 依次調(diào)用

2.vendor\hyperf\di\src\ClassLoader.php 的 __construct

3.vendor\hyperf\di\src\Aop\ProxyManager.php 的__construct驻仅,此構(gòu)造方法內(nèi)有生成代理類方法 generateProxyFiles

4.generateProxyFiles 內(nèi)調(diào)用 putProxyFile 生成代理文件

5.putProxyFile 方法內(nèi)部 其實調(diào)用了vendor\hyperf\di\src\Aop\Ast.php 的 proxy 方法,添加了若干的visitor登渣,比如"Hyperf\Di\Aop\PropertyHandlerVisitor"噪服、"Hyperf\Di\Aop\ProxyCallVisitor"

具體看 PropertyHandlerVisitor

public function leaveNode(Node $node)
    {
         // 僅提取了關(guān)鍵代碼
         $constructor = $this->buildConstructor(); 
         $constructor->stmts[] = $this->buildStaticCallStatement(); 
         $node->stmts = array_merge(/* 構(gòu)造了 Trait */, [$constructor], $node->stmts);
    }

protected function buildStaticCallStatement(): Node\Stmt\Expression
    {
        return new Node\Stmt\Expression(new Node\Expr\StaticCall(new Name('self'), '__handlePropertyHandler', [
            new Node\Arg(new Node\Scalar\MagicConst\Class_()),
        ]));
    }

一目了然,就是操作 node 的 stmts 數(shù)組胜茧。vendor\hyperf\di\src\Aop\PropertyHandlerVisitor.php buildStaticCallStatement 方法就是添加 __handlePropertyHandler 的地方
注:vendor\hyperf\di\src\Aop\PropertyHandlerVisitor.php 在 Hyperf 的 v2.0.19 的代碼與上述有出入粘优,具體看本人提的PR: https://github.com/hyperf/hyperf/pull/2788

總結(jié):

  1. 了解了PHP-Parse的基本用法:解析、遍歷呻顽、修改

  2. 了解了PHP-Parse在Hyperf中的應(yīng)用場景

作為實踐雹顺,本人也寫了個小工具用戶生成 PHP 條件語句的代碼片段,有興趣的同學(xué)可以看看哈 https://github.com/bytehello/condition-builder

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
  • 序言:七十年代末廊遍,一起剝皮案震驚了整個濱河市嬉愧,隨后出現(xiàn)的幾起案子,更是在濱河造成了極大的恐慌喉前,老刑警劉巖没酣,帶你破解...
    沈念sama閱讀 206,602評論 6 481
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件,死亡現(xiàn)場離奇詭異卵迂,居然都是意外死亡裕便,警方通過查閱死者的電腦和手機,發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 88,442評論 2 382
  • 文/潘曉璐 我一進店門见咒,熙熙樓的掌柜王于貴愁眉苦臉地迎上來偿衰,“玉大人,你說我怎么就攤上這事改览∠卖幔” “怎么了?”我有些...
    開封第一講書人閱讀 152,878評論 0 344
  • 文/不壞的土叔 我叫張陵宝当,是天一觀的道長视事。 經(jīng)常有香客問我,道長今妄,這世上最難降的妖魔是什么郑口? 我笑而不...
    開封第一講書人閱讀 55,306評論 1 279
  • 正文 為了忘掉前任,我火速辦了婚禮盾鳞,結(jié)果婚禮上犬性,老公的妹妹穿的比我還像新娘。我一直安慰自己腾仅,他們只是感情好乒裆,可當我...
    茶點故事閱讀 64,330評論 5 373
  • 文/花漫 我一把揭開白布。 她就那樣靜靜地躺著推励,像睡著了一般鹤耍。 火紅的嫁衣襯著肌膚如雪肉迫。 梳的紋絲不亂的頭發(fā)上,一...
    開封第一講書人閱讀 49,071評論 1 285
  • 那天稿黄,我揣著相機與錄音喊衫,去河邊找鬼。 笑死杆怕,一個胖子當著我的面吹牛族购,可吹牛的內(nèi)容都是我干的。 我是一名探鬼主播陵珍,決...
    沈念sama閱讀 38,382評論 3 400
  • 文/蒼蘭香墨 我猛地睜開眼寝杖,長吁一口氣:“原來是場噩夢啊……” “哼!你這毒婦竟也來了互纯?” 一聲冷哼從身側(cè)響起瑟幕,我...
    開封第一講書人閱讀 37,006評論 0 259
  • 序言:老撾萬榮一對情侶失蹤,失蹤者是張志新(化名)和其女友劉穎留潦,沒想到半個月后只盹,有當?shù)厝嗽跇淞掷锇l(fā)現(xiàn)了一具尸體,經(jīng)...
    沈念sama閱讀 43,512評論 1 300
  • 正文 獨居荒郊野嶺守林人離奇死亡愤兵,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點故事閱讀 35,965評論 2 325
  • 正文 我和宋清朗相戀三年鹿霸,在試婚紗的時候發(fā)現(xiàn)自己被綠了排吴。 大學(xué)時的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片秆乳。...
    茶點故事閱讀 38,094評論 1 333
  • 序言:一個原本活蹦亂跳的男人離奇死亡,死狀恐怖钻哩,靈堂內(nèi)的尸體忽然破棺而出屹堰,到底是詐尸還是另有隱情,我是刑警寧澤街氢,帶...
    沈念sama閱讀 33,732評論 4 323
  • 正文 年R本政府宣布扯键,位于F島的核電站,受9級特大地震影響珊肃,放射性物質(zhì)發(fā)生泄漏荣刑。R本人自食惡果不足惜,卻給世界環(huán)境...
    茶點故事閱讀 39,283評論 3 307
  • 文/蒙蒙 一伦乔、第九天 我趴在偏房一處隱蔽的房頂上張望厉亏。 院中可真熱鬧,春花似錦烈和、人聲如沸爱只。這莊子的主人今日做“春日...
    開封第一講書人閱讀 30,286評論 0 19
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽恬试。三九已至窝趣,卻和暖如春,著一層夾襖步出監(jiān)牢的瞬間训柴,已是汗流浹背哑舒。 一陣腳步聲響...
    開封第一講書人閱讀 31,512評論 1 262
  • 我被黑心中介騙來泰國打工, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留幻馁,地道東北人散址。 一個月前我還...
    沈念sama閱讀 45,536評論 2 354
  • 正文 我出身青樓,卻偏偏與公主長得像宣赔,于是被迫代替她去往敵國和親预麸。 傳聞我的和親對象是個殘疾皇子,可洞房花燭夜當晚...
    茶點故事閱讀 42,828評論 2 345

推薦閱讀更多精彩內(nèi)容