本篇文章給大家?guī)淼膬?nèi)容是關(guān)于規(guī)則引擎RulerZ用法及實(shí)現(xiàn)原理（代碼示例），有一定的參考價(jià)值，有需要的朋友可以參考一下，希望對你有所幫助。

廢話不多說，rulerz的官方地址是：https://github.com/K-Phoen/ru...

注意，本例中只拿普通數(shù)組做例子進(jìn)行分析

1. 簡介

RulerZ是一個(gè)用php實(shí)現(xiàn)的composer依賴包，目的是實(shí)現(xiàn)一個(gè)數(shù)據(jù)過濾規(guī)則引擎。RulerZ不僅支持?jǐn)?shù)組過濾，也支持一些市面上常見的ORM，如Eloquent、Doctrine等，也支持Solr搜索引擎。

這是一個(gè)缺少中文官方文檔的開源包，當(dāng)然由于star數(shù)比較少，可能作者也覺得沒必要。

2.安裝

在你的項(xiàng)目composer.json所在目錄下運(yùn)行：

composer require 'kphoen/rulerz'

3.使用 - 過濾

現(xiàn)有數(shù)組如下：

1. $players = [ 
2.  
3.     ['pseudo' => 'Joe',   'fullname' => 'Joe la frite',             'gender' => 'M', 'points' => 2500], 
4.  
5.     ['pseudo' => 'Moe',   'fullname' => 'Moe, from the bar!',       'gender' => 'M', 'points' => 1230], 
6.  
7.     ['pseudo' => 'Alice', 'fullname' => 'Alice, from... you know.', 'gender' => 'F', 'points' => 9001], 
8.  
9. ]; 

初始化引擎：

1. use RulerZ/Compiler/Compiler; 
2.  
3. use RulerZ/Target; 
4.  
5. use RulerZ/RulerZ; 
6.  
7. // compiler 
8.  
9. $compiler = Compiler::create(); 
10.  
11. // RulerZ engine 
12.  
13. $rulerz = new RulerZ( 
14.  
15.     $compiler, [ 
16.  
17.         new Target/Native/Native([ // 請注意，這里是添加目標(biāo)編譯器，處理數(shù)組類型的數(shù)據(jù)源時(shí)對應(yīng)的是Native 
18.  
19.             'length' => 'strlen' 
20.  
21.         ]), 
22.  
23.     ] 
24.  
25. ); 

創(chuàng)建一條規(guī)則：

$rule = "gender = :gender and points > :min_points'

將參數(shù)和規(guī)則交給引擎分析。

1. $parameters = [ 
2.  
3.     'min_points' => 30, 
4.  
5.     'gender'     => 'F', 
6.  
7. ]; 
8.  
9. $result = iterator_to_array( 
10.  
11.         $rulerz->filter($players, $rule, $parameters) // the parameters can be omitted if empty 
12.  
13.     ); 
14.  
15. // result 是一個(gè)過濾后的數(shù)組 
16.  
17. array:1 [▼ 
18.  
19.   0 => array:4 [▼ 
20.  
21.     "pseudo" => "Alice" 
22.  
23.     "fullname" => "Alice, from... you know." 
24. //Vevb.com 
25.     "gender" => "F" 
26.  
27.     "points" => 9001 
28.  
29.   ] 
30.  
31. ] 

4.使用 - 判斷是否滿足規(guī)則

$rulerz->satisfies($player, $rule, $parameters)；

// 返回布爾值，true表示滿足

5.底層代碼解讀

下面，讓我們看看從創(chuàng)建編譯器開始，到最后出結(jié)果的過程中發(fā)生了什么。

1.Compiler::create();

這一步是實(shí)例化一個(gè)FileEvaluator類，這個(gè)類默認(rèn)會將本地的系統(tǒng)臨時(shí)目錄當(dāng)做下一步臨時(shí)類文件讀寫所在目錄，文件類里包含一個(gè)has()方法和一個(gè)write()方法。文件類如下：

1. declare(strict_types=1); 
2.  
3. namespace RulerZ/Compiler; 
4.  
5. class NativeFilesystem implements Filesystem 
6.  
7. { 
8.  
9.     public function has(string $filePath): bool 
10.  
11.     { 
12.  
13.         return file_exists($filePath); 
14.  
15.     } 
16. //Vevb.com 
17.     public function write(string $filePath, string $content): void 
18.  
19.     { 
20.  
21.         file_put_contents($filePath, $content, LOCK_EX); 
22.  
23.     } 
24.  
25. } 

2.初始化RulerZ引擎，new RulerZ()

先看一下RulerZ的構(gòu)建方法：

1. public function __construct(Compiler $compiler, array $compilationTargets = []) 
2.  
3. { 
4.  
5.     $this->compiler = $compiler; 
6.  
7.  
8.  
9.     foreach ($compilationTargets as $targetCompiler) { 
10.  
11.         $this->registerCompilationTarget($targetCompiler); 
12.  
13.     } 
14.  
15. } 

這里的第一個(gè)參數(shù)，就是剛剛的編譯器類，第二個(gè)是目標(biāo)編譯器類（實(shí)際處理數(shù)據(jù)源的），因?yàn)槲覀冞x擇的是數(shù)組，所以這里的目標(biāo)編譯器是Native，引擎會將這個(gè)目標(biāo)編譯類放到自己的屬性$compilationTargets。

1. public function registerCompilationTarget(CompilationTarget $compilationTarget): void 
2.  
3. { 
4.  
5.     $this->compilationTargets[] = $compilationTarget; 
6.  
7. } 

3.運(yùn)用filter或satisfies方法

這一點(diǎn)便是核心了。

以filter為例：

1. public function filter($target, string $rule, array $parameters = [], array $executionContext = []) 
2.  
3. { 
4.  
5.     $targetCompiler = $this->findTargetCompiler($target, CompilationTarget::MODE_FILTER); 
6.  
7.     $compilationContext = $targetCompiler->createCompilationContext($target); 
8.  
9.     $executor = $this->compiler->compile($rule, $targetCompiler, $compilationContext); 
10.  
11.  
12.  
13.     return $executor->filter($target, $parameters, $targetCompiler->getOperators()->getOperators(), new ExecutionContext($executionContext)); 
14.  
15. } 

第一步會檢查目標(biāo)編譯器是否支持篩選模式。

第二步創(chuàng)建編譯上下文，這個(gè)一般統(tǒng)一是Context類實(shí)例

1. public function createCompilationContext($target): Context 
2.  
3. { 
4.  
5.     return new Context(); 
6.  
7. } 

第三步，執(zhí)行compiler的compile()方法

1.         public function compile(string $rule, CompilationTarget $target, Context $context): Executor 
2.  
3.     { 
4.  
5.         $context['rule_identifier'] = $this->getRuleIdentifier($target, $context, $rule); 
6.  
7.         $context['executor_classname'] = 'Executor_'.$context['rule_identifier']; 
8.  
9.         $context['executor_fqcn'] = '/RulerZ/Compiled/Executor//Executor_'.$context['rule_identifier']; 
10.  
11.  
12.  
13.         if (!class_exists($context['executor_fqcn'], false)) { 
14.  
15.             $compiler = function () use ($rule, $target, $context) { 
16.  
17.                 return $this->compileToSource($rule, $target, $context); 
18.  
19.             }; 
20.  
21.  
22.  
23.             $this->evaluator->evaluate($context['rule_identifier'], $compiler); 
24.  
25.         } 
26.  
27.  
28.  
29.         return new $context['executor_fqcn'](); 
30.  
31.     } 
32.  
33.         protected function getRuleIdentifier(CompilationTarget $compilationTarget, Context $context, string $rule): string 
34.  
35.     { 
36.  
37.         return hash('crc32b', get_class($compilationTarget).$rule.$compilationTarget->getRuleIdentifierHint($rule, $context)); 
38.  
39.     } 
40.  
41.       
42.  
43.         protected function compileToSource(string $rule, CompilationTarget $compilationTarget, Context $context): string 
44.  
45.     { 
46.  
47.         $ast = $this->parser->parse($rule); 
48.  
49.         $executorModel = $compilationTarget->compile($ast, $context); 
50.  
51.  
52.  
53.         $flattenedTraits = implode(PHP_EOL, array_map(function ($trait) { 
54.  
55.             return "/t".'use //'.ltrim($trait, '//').';'; 
56.  
57.         }, $executorModel->getTraits())); 
58.  
59.  
60.  
61.         $extraCode = ''; 
62.  
63.         foreach ($executorModel->getCompiledData() as $key => $value) { 
64.  
65.             $extraCode .= sprintf('private $%s = %s;'.PHP_EOL, $key, var_export($value, true)); 
66.  
67.         } 
68.  
69.  
70.  
71.         $commentedRule = str_replace(PHP_EOL, PHP_EOL.'    // ', $rule); 
72.  
73.  
74.  
75.         return <<<EXECUTOR 
76.  
77. namespace RulerZ/Compiled/Executor; 
78.  
79.  
80.  
81. use RulerZ/Executor/Executor; 
82.  
83.  
84.  
85. class {$context['executor_classname']} implements Executor 
86.  
87. { 
88.  
89.     $flattenedTraits 
90.  
91.  
92.  
93.     $extraCode 
94.  
95.  
96.  
97.     // $commentedRule 
98.  
99.     protected function execute(/$target, array /$operators, array /$parameters) 
100.  
101.     { 
102.  
103.         return {$executorModel->getCompiledRule()}; 
104.  
105.     } 
106.  
107. } 
108.  
109. EXECUTOR; 
110.  
111.     } 

這段代碼會依照crc13算法生成一個(gè)哈希串和Executor拼接作為執(zhí)行器臨時(shí)類的名稱，并將執(zhí)行器相關(guān)代碼寫進(jìn)上文提到的臨時(shí)目錄中去。生成的代碼如下：

1. // /private/var/folders/w_/sh4r42wn4_b650l3pc__fh7h0000gp/T/rulerz_executor_ff2800e8 
2.  
3. <?php 
4.  
5. namespace RulerZ/Compiled/Executor;  
6.  
7. use RulerZ/Executor/Executor;  
8.  
9. class Executor_ff2800e8 implements Executor 
10.  
11. { 
12.  
13.         use /RulerZ/Executor/ArrayTarget/FilterTrait; 
14.  
15.     use /RulerZ/Executor/ArrayTarget/SatisfiesTrait; 
16.  
17.     use /RulerZ/Executor/ArrayTarget/ArgumentUnwrappingTrait;     
18.  
19.  
20.     // gender = :gender and points > :min_points and points > :min_points 
21.  
22.     protected function execute($target, array $operators, array $parameters) 
23.  
24.     { 
25.  
26.         return ($this->unwrapArgument($target["gender"]) == $parameters["gender"] && ($this->unwrapArgument($target["points"]) > $parameters["min_points"] && $this->unwrapArgument($target["points"]) > $parameters["min_points"])); 
27.  
28.     } 
29.  
30. } 

這個(gè)臨時(shí)類文件就是最后要執(zhí)行過濾動作的類。

FilterTrait中的filter方法是首先被執(zhí)行的，里面會根據(jù)execute返回的布爾值來判斷，是否通過迭代器返回符合條件的行。

execute方法就是根據(jù)具體的參數(shù)和操作符挨個(gè)判斷每行中對應(yīng)的cell是否符合判斷來返回true/false。

1. public function filter($target, array $parameters, array $operators, ExecutionContext $context) 
2.  
3. { 
4.  
5.     return IteratorTools::fromGenerator(function () use ($target, $parameters, $operators) { 
6.  
7.         foreach ($target as $row) { 
8.  
9.             $targetRow = is_array($row) ? $row : new ObjectContext($row); 
10.  
11.  
12.  
13.             if ($this->execute($targetRow, $operators, $parameters)) { 
14.  
15.                 yield $row; 
16.  
17.             } 
18.  
19.         } 
20.  
21.     }); 
22.  
23. } 

satisfies和filter基本邏輯類似，只是最后satisfies是執(zhí)行單條判斷。

有一個(gè)問題，我們的編譯器是如何知道我們設(shè)立的操作規(guī)則$rule的具體含義的，如何parse的？

這就涉及另一個(gè)問題了，抽象語法樹(AST)。

Go further - 抽象語法樹

我們都知道php zend引擎在解讀代碼的過程中有一個(gè)過程是語法和詞法分析，這個(gè)過程叫做parser，中間會將代碼轉(zhuǎn)化為抽象語法樹，這是引擎能夠讀懂代碼的關(guān)鍵步驟。

同樣，我們在寫一條規(guī)則字符串的時(shí)候，代碼如何能夠明白我們寫的是什么呢？那就是抽象語法樹。

以上面的規(guī)則為例：

gender = :gender and points > :min_points

這里， =、and、>都是操作符，但是機(jī)器并不知道他們是操作符，也不知道其他字段是什么含義。

于是rulerz使用自己的語法模板。

首先是默認(rèn)定義了幾個(gè)操作符。

1. <?php 
2.  
3.  
4.  
5. declare(strict_types=1); 
6.  
7.  
8.  
9. namespace RulerZ/Target/Native; 
10.  
11.  
12.  
13. use RulerZ/Target/Operators/Definitions; 
14.  
15.  
16.  
17. class NativeOperators 
18.  
19. { 
20.  
21.     public static function create(Definitions $customOperators): Definitions 
22.  
23.     { 
24.  
25.         $defaultInlineOperators = [ 
26.  
27.             'and' => function ($a, $b) { 
28.  
29.                 return sprintf('(%s && %s)', $a, $b); 
30.  
31.             }, 
32.  
33.             'or' => function ($a, $b) { 
34.  
35.                 return sprintf('(%s || %s)', $a, $b); 
36.  
37.             }, 
38.  
39.             'not' => function ($a) { 
40.  
41.                 return sprintf('!(%s)', $a); 
42.  
43.             }, 
44.  
45.             '=' => function ($a, $b) { 
46.  
47.                 return sprintf('%s == %s', $a, $b); 
48.  
49.             }, 
50.  
51.             'is' => function ($a, $b) { 
52.  
53.                 return sprintf('%s === %s', $a, $b); 
54.  
55.             }, 
56.  
57.             '!=' => function ($a, $b) { 
58.  
59.                 return sprintf('%s != %s', $a, $b); 
60.  
61.             }, 
62.  
63.             '>' => function ($a, $b) { 
64.  
65.                 return sprintf('%s > %s', $a, $b); 
66.  
67.             }, 
68.  
69.             '>=' => function ($a, $b) { 
70.  
71.                 return sprintf('%s >= %s', $a, $b); 
72.  
73.             }, 
74.  
75.             '<' => function ($a, $b) { 
76.  
77.                 return sprintf('%s < %s', $a, $b); 
78.  
79.             }, 
80.  
81.             '<=' => function ($a, $b) { 
82.  
83.                 return sprintf('%s <= %s', $a, $b); 
84.  
85.             }, 
86.  
87.             'in' => function ($a, $b) { 
88.  
89.                 return sprintf('in_array(%s, %s)', $a, $b); 
90.  
91.             }, 
92.  
93.         ]; 
94.  
95.  
96.  
97.         $defaultOperators = [ 
98.  
99.             'sum' => function () { 
100.  
101.                 return array_sum(func_get_args()); 
102.  
103.             }, 
104.  
105.         ]; 
106.  
107.  
108.  
109.         $definitions = new Definitions($defaultOperators, $defaultInlineOperators); 
110.  
111.  
112.  
113.         return $definitions->mergeWith($customOperators); 
114.  
115.     } 
116.  
117. } 

在RulerZParserParser中，有如下方法：

1. public function parse($rule) 
2.  
3. { 
4.  
5.     if ($this->parser === null) { 
6.  
7.         $this->parser = Compiler/Llk::load( 
8.  
9.             new File/Read(__DIR__.'/../Grammar.pp') 
10.  
11.         ); 
12.  
13.     } 
14.  
15.  
16.  
17.     $this->nextParameterIndex = 0; 
18.  
19.  
20.  
21.     return $this->visit($this->parser->parse($rule)); 
22.  
23. } 

這里要解讀一個(gè)核心語法文件：

1. // 
2.  
3. // Hoa 
4.  
5. // 
6.  
7. // 
8.  
9. // @license 
10.  
11. // 
12.  
13. // New BSD License 
14.  
15. // 
16.  
17. // Copyright © 2007-2015, Ivan Enderlin. All rights reserved. 
18.  
19. // 
20.  
21. // Redistribution and use in source and binary forms, with or without 
22.  
23. // modification, are permitted provided that the following conditions are met: 
24.  
25. //     * Redistributions of source code must retain the above copyright 
26.  
27. //       notice, this list of conditions and the following disclaimer. 
28.  
29. //     * Redistributions in binary form must reproduce the above copyright 
30.  
31. //       notice, this list of conditions and the following disclaimer in the 
32.  
33. //       documentation and/or other materials provided with the distribution. 
34.  
35. //     * Neither the name of the Hoa nor the names of its contributors may be 
36.  
37. //       used to endorse or promote products derived from this software without 
38.  
39. //       specific prior written permission. 
40.  
41. // 
42.  
43. // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" 
44.  
45. // AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 
46.  
47. // IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 
48.  
49. // ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS AND CONTRIBUTORS BE 
50.  
51. // LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 
52.  
53. // CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 
54.  
55. // SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 
56.  
57. // INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 
58.  
59. // CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 
60.  
61. // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 
62.  
63. // POSSIBILITY OF SUCH DAMAGE. 
64.  
65. // 
66.  
67. // Inspired from /Hoa/Ruler/Grammar. 
68.  
69. // 
70.  
71. // @author     Stéphane Py <stephane.py@hoa-project.net> 
72.  
73. // @author     Ivan Enderlin <ivan.enderlin@hoa-project.net> 
74.  
75. // @author     Kévin Gomez <contact@kevingomez.fr> 
76.  
77. // @copyright  Copyright © 2007-2015 Stéphane Py, Ivan Enderlin, Kévin Gomez. 
78.  
79. // @license    New BSD License 
80.  
81.  
82.  
83.  
84.  
85. %skip   space         /s 
86.  
87.  
88.  
89. // Scalars. 
90.  
91. %token  true          (?i)true 
92.  
93. %token  false         (?i)false 
94.  
95. %token  null          (?i)null 
96.  
97.  
98.  
99. // Logical operators 
100.  
101. %token  not           (?i)not/b 
102.  
103. %token  and           (?i)and/b 
104.  
105. %token  or            (?i)or/b 
106.  
107. %token  xor           (?i)xor/b 
108.  
109.  
110.  
111. // Value 
112.  
113. %token  string        ("|')(.*?)(?<!//)/1 
114.  
115. %token  float         -?/d+/./d+ 
116.  
117. %token  integer       -?/d+ 
118.  
119. %token  parenthesis_  /( 
120.  
121. %token _parenthesis   /) 
122.  
123. %token  bracket_      /[ 
124.  
125. %token _bracket       /] 
126.  
127. %token  comma          , 
128.  
129. %token  dot           /. 
130.  
131.  
132.  
133. %token  positional_parameter /? 
134.  
135. %token  named_parameter      :[a-z-A-Z0-9_]+ 
136.  
137.  
138.  
139. %token  identifier    [^/s/(/)/[/],/.]+ 
140.  
141.  
142.  
143. #expression: 
144.  
145.     logical_operation() 
146.  
147.  
148.  
149. logical_operation: 
150.  
151.     operation() 
152.  
153.     ( ( ::and:: #and | ::or:: #or | ::xor:: #xor ) logical_operation() )? 
154.  
155.  
156.  
157. operation: 
158.  
159.     operand() ( <identifier> logical_operation() #operation )? 
160.  
161.  
162.  
163. operand: 
164.  
165.     ::parenthesis_:: logical_operation() ::_parenthesis:: 
166.  
167.   | value() 
168.  
169.  
170.  
171. parameter: 
172.  
173.     <positional_parameter> 
174.  
175.   | <named_parameter> 
176.  
177.  
178.  
179. value: 
180.  
181.     ::not:: logical_operation() #not 
182.  
183.   | <true> | <false> | <null> | <float> | <integer> | <string> 
184.  
185.   | parameter() 
186.  
187.   | variable() 
188.  
189.   | array_declaration() 
190.  
191.   | function_call() 
192.  
193.  
194.  
195. variable: 
196.  
197.     <identifier> ( object_access() #variable_access )* 
198.  
199.  
200.  
201. object_access: 
202.  
203.     ::dot:: <identifier> #attribute_access 
204.  
205.  
206.  
207. #array_declaration: 
208.  
209.     ::bracket_:: value() ( ::comma:: value() )* ::_bracket:: 
210.  
211.  
212.  
213. #function_call: 
214.  
215.     <identifier> ::parenthesis_:: 
216.  
217.     ( logical_operation() ( ::comma:: logical_operation() )* )? 
218.  
219.     ::_parenthesis:: 

上面Llk::load方法會加載這個(gè)基礎(chǔ)語法內(nèi)容并解析出片段tokens，tokens解析的邏輯就是正則匹配出我們需要的一些操作符和基礎(chǔ)標(biāo)識符，并將對應(yīng)的正則表達(dá)式提取出來：

1. array:1 [▼ 
2.  
3.   "default" => array:20 [▼ 
4.  
5.     "skip" => "/s" 
6.  
7.     "true" => "(?i)true" 
8.  
9.     "false" => "(?i)false" 
10.  
11.     "null" => "(?i)null" 
12.  
13.     "not" => "(?i)not/b" 
14.  
15.     "and" => "(?i)and/b" 
16.  
17.     "or" => "(?i)or/b" 
18.  
19.     "xor" => "(?i)xor/b" 
20.  
21.     "string" => "("|')(.*?)(?<!//)/1" 
22.  
23.     "float" => "-?/d+/./d+" 
24.  
25.     "integer" => "-?/d+" 
26.  
27.     "parenthesis_" => "/(" 
28.  
29.     "_parenthesis" => "/)" 
30.  
31.     "bracket_" => "/[" 
32.  
33.     "_bracket" => "/]" 
34.  
35.     "comma" => "," 
36.  
37.     "dot" => "/." 
38.  
39.     "positional_parameter" => "/?" 
40.  
41.     "named_parameter" => ":[a-z-A-Z0-9_]+" 
42.  
43.     "identifier" => "[^/s/(/)/[/],/.]+" 
44.  
45.   ] 
46.  
47. ] 

這一步也會生成一個(gè)rawRules

1. array:10 [▼ 
2.  
3.   "#expression" => " logical_operation()" 
4.  
5.   "logical_operation" => " operation() ( ( ::and:: #and | ::or:: #or | ::xor:: #xor ) logical_operation() )?" 
6.  
7.   "operation" => " operand() ( <identifier> logical_operation() #operation )?" 
8.  
9.   "operand" => " ::parenthesis_:: logical_operation() ::_parenthesis:: | value()" 
10.  
11.   "parameter" => " <positional_parameter> | <named_parameter>" 
12.  
13.   "value" => " ::not:: logical_operation() #not | <true> | <false> | <null> | <float> | <integer> | <string> | parameter() | variable() | array_declaration() | function_call( ?" 
14.  
15.   "variable" => " <identifier> ( object_access() #variable_access )*" 
16.  
17.   "object_access" => " ::dot:: <identifier> #attribute_access" 
18.  
19.   "#array_declaration" => " ::bracket_:: value() ( ::comma:: value() )* ::_bracket::" 
20.  
21.   "#function_call" => " <identifier> ::parenthesis_:: ( logical_operation() ( ::comma:: logical_operation() )* )? ::_parenthesis::" 
22.  
23. ] 

這個(gè)rawRules會通過analyzer類的analyzeRules方法解析替換里面的::表示的空位，根據(jù)$_ppLexemes屬性的值，Compiler/Llk/Lexer()詞法解析器會將rawRules數(shù)組每一個(gè)元素解析放入雙向鏈表?xiàng)?SplStack)中，然后再通過對該棧插入和刪除操作，形成一個(gè)包含所有操作符和token實(shí)例的數(shù)組$rules。

1. array:54 [▼ 
2.  
3.   0 => Concatenation {#64 ?} 
4.  
5.   "expression" => Concatenation {#65 ▼ 
6.  
7.     #_name: "expression" 
8.  
9.     #_children: array:1 [▼ 
10.  
11.       0 => 0 
12.  
13.     ] 
14.  
15.     #_nodeId: "#expression" 
16.  
17.     #_nodeOptions: [] 
18.  
19.     #_defaultId: "#expression" 
20.  
21.     #_defaultOptions: [] 
22.  
23.     #_pp: " logical_operation()" 
24.  
25.     #_transitional: false 
26.  
27.   } 
28.  
29.   2 => Token {#62 ?} 
30.  
31.   3 => Concatenation {#63 ▼ 
32.  
33.     #_name: 3 
34.  
35.     #_children: array:1 [▼ 
36.  
37.       0 => 2 
38.  
39.     ] 
40.  
41.     #_nodeId: "#and" 
42.  
43.     #_nodeOptions: [] 
44.  
45.     #_defaultId: null 
46.  
47.     #_defaultOptions: [] 
48.  
49.     #_pp: null 
50.  
51.     #_transitional: true 
52.  
53.   } 
54.  
55.   4 => Token {#68 ?} 
56.  
57.   5 => Concatenation {#69 ?} 
58.  
59.   6 => Token {#70 ?} 
60.  
61.   7 => Concatenation {#71 ?} 
62.  
63.   8 => Choice {#72 ?} 
64.  
65.   9 => Concatenation {#73 ?} 
66.  
67.   10 => Repetition {#74 ?} 
68.  
69.   "logical_operation" => Concatenation {#75 ?} 
70.  
71.   12 => Token {#66 ?} 
72.  
73.   13 => Concatenation {#67 ?} 
74.  
75.   14 => Repetition {#78 ?} 
76.  
77.   "operation" => Concatenation {#79 ?} 
78.  
79.   16 => Token {#76 ?} 
80.  
81.   17 => Token {#77 ?} 
82.  
83.   18 => Concatenation {#82 ?} 
84.  
85.   "operand" => Choice {#83 ?} 
86.  
87.   20 => Token {#80 ?} 
88.  
89.   21 => Token {#81 ▼ 
90.  
91.     #_tokenName: "named_parameter" 
92.  
93.     #_namespace: null 
94.  
95.     #_regex: null 
96.  
97.     #_ast: null 
98.  
99.     #_value: null 
100.  
101.     #_kept: true 
102.  
103.     #_unification: -1 
104.  
105.     #_name: 21 
106.  
107.     #_children: null 
108.  
109.     #_nodeId: null 
110.  
111.     #_nodeOptions: [] 
112.  
113.     #_defaultId: null 
114.  
115.     #_defaultOptions: [] 
116.  
117.     #_pp: null 
118.  
119.     #_transitional: true 
120.  
121.   } 
122.  
123.   "parameter" => Choice {#86 ?} 
124.  
125.   23 => Token {#84 ?} 
126.  
127.   24 => Concatenation {#85 ?} 
128.  
129.   25 => Token {#89 ?} 
130.  
131.   26 => Token {#90 ?} 
132.  
133.   27 => Token {#91 ?} 
134.  
135.   28 => Token {#92 ?} 
136.  
137.   29 => Token {#93 ?} 
138.  
139.   30 => Token {#94 ?} 
140.  
141.   "value" => Choice {#95 ?} 
142.  
143.   32 => Token {#87 ?} 
144.  
145.   33 => Concatenation {#88 ?} 
146.  
147.   34 => Repetition {#98 ?} 
148.  
149.   "variable" => Concatenation {#99 ?} 
150.  
151.   36 => Token {#96 ?} 
152.  
153.   37 => Token {#97 ?} 
154.  
155.   "object_access" => Concatenation {#102 ?} 
156.  
157.   39 => Token {#100 ?} 
158.  
159.   40 => Token {#101 ?} 
160.  
161.   41 => Concatenation {#105 ?} 
162.  
163.   42 => Repetition {#106 ?} 
164.  
165.   43 => Token {#107 ?} 
166.  
167.   "array_declaration" => Concatenation {#108 ?} 
168.  
169.   45 => Token {#103 ?} 
170.  
171.   46 => Token {#104 ?} 
172.  
173.   47 => Token {#111 ?} 
174.  
175.   48 => Concatenation {#112 ?} 
176.  
177.   49 => Repetition {#113 ?} 
178.  
179.   50 => Concatenation {#114 ?} 
180.  
181.   51 => Repetition {#115 ?} 
182.  
183.   52 => Token {#116 ?} 
184.  
185.   "function_call" => Concatenation {#117 ?} 
186.  
187. ] 

然后返回HoaCompilerLlkParser實(shí)例，這個(gè)實(shí)例有一個(gè)parse方法，正是此方法構(gòu)成了一個(gè)語法樹。

1. public function parse($text, $rule = null, $tree = true) 
2.  
3.     { 
4.  
5.         $k = 1024; 
6.  
7.  
8.  
9.         if (isset($this->_pragmas['parser.lookahead'])) { 
10.  
11.             $k = max(0, intval($this->_pragmas['parser.lookahead'])); 
12.  
13.         } 
14.  
15.  
16.  
17.         $lexer                = new Lexer($this->_pragmas); 
18.  
19.         $this->_tokenSequence = new Iterator/Buffer( 
20.  
21.             $lexer->lexMe($text, $this->_tokens), 
22.  
23.             $k 
24.  
25.         ); 
26.  
27.         $this->_tokenSequence->rewind(); 
28.  
29.  
30.  
31.         $this->_errorToken = null; 
32.  
33.         $this->_trace      = []; 
34.  
35.         $this->_todo       = []; 
36.  
37.  
38.  
39.         if (false === array_key_exists($rule, $this->_rules)) { 
40.  
41.             $rule = $this->getRootRule(); 
42.  
43.         } 
44.  
45.  
46.  
47.         $closeRule   = new Rule/Ekzit($rule, 0); 
48.  
49.         $openRule    = new Rule/Entry($rule, 0, [$closeRule]); 
50.  
51.         $this->_todo = [$closeRule, $openRule]; 
52.  
53.  
54.  
55.         do { 
56.  
57.             $out = $this->unfold(); 
58.  
59.  
60.  
61.             if (null  !== $out && 
62.  
63.                 'EOF' === $this->_tokenSequence->current()['token']) { 
64.  
65.                 break; 
66.  
67.             } 
68.  
69.  
70.  
71.             if (false === $this->backtrack()) { 
72.  
73.                 $token  = $this->_errorToken; 
74.  
75.  
76.  
77.                 if (null === $this->_errorToken) { 
78.  
79.                     $token = $this->_tokenSequence->current(); 
80.  
81.                 } 
82.  
83.  
84.  
85.                 $offset = $token['offset']; 
86.  
87.                 $line   = 1; 
88.  
89.                 $column = 1; 
90.  
91.  
92.  
93.                 if (!emptyempty($text)) { 
94.  
95.                     if (0 === $offset) { 
96.  
97.                         $leftnl = 0; 
98.  
99.                     } else { 
100.  
101.                         $leftnl = strrpos($text, "/n", -(strlen($text) - $offset) - 1) ?: 0; 
102.  
103.                     } 
104.  
105.  
106.  
107.                     $rightnl = strpos($text, "/n", $offset); 
108.  
109.                     $line    = substr_count($text, "/n", 0, $leftnl + 1) + 1; 
110.  
111.                     $column  = $offset - $leftnl + (0 === $leftnl); 
112.  
113.  
114.  
115.                     if (false !== $rightnl) { 
116.  
117.                         $text = trim(substr($text, $leftnl, $rightnl - $leftnl), "/n"); 
118.  
119.                     } 
120.  
121.                 } 
122.  
123.  
124.  
125.                 throw new Compiler/Exception/UnexpectedToken( 
126.  
127.                     'Unexpected token "%s" (%s) at line %d and column %d:' . 
128.  
129.                     "/n" . '%s' . "/n" . str_repeat(' ', $column - 1) . '↑', 
130.  
131.                     0, 
132.  
133.                     [ 
134.  
135.                         $token['value'], 
136.  
137.                         $token['token'], 
138.  
139.                         $line, 
140.  
141.                         $column, 
142.  
143.                         $text 
144.  
145.                     ], 
146.  
147.                     $line, 
148.  
149.                     $column 
150.  
151.                 ); 
152.  
153.             } 
154.  
155.         } while (true); 
156.  
157.  
158.  
159.         if (false === $tree) { 
160.  
161.             return true; 
162.  
163.         } 
164.  
165.  
166.  
167.         $tree = $this->_buildTree(); 
168.  
169.  
170.  
171.         if (!($tree instanceof TreeNode)) { 
172.  
173.             throw new Compiler/Exception( 
174.  
175.                 'Parsing error: cannot build AST, the trace is corrupted.', 
176.  
177.                 1 
178.  
179.             ); 
180.  
181.         } 
182.  
183. //Vevb.com 
184.  
185.         return $this->_tree = $tree; 
186.  
187.     } 

我們得到的一個(gè)完整的語法樹是這樣的：

1. Rule {#120 ▼ 
2.  
3.   #_root: Operator {#414 ▼ 
4.  
5.     #_name: "and" 
6.  
7.     #_arguments: array:2 [▼ 
8.  
9.       0 => Operator {#398 ▼ 
10.  
11.         #_name: "=" 
12.  
13.         #_arguments: array:2 [▼ 
14.  
15.           0 => Context {#396 ▼ 
16.  
17.             #_id: "gender" 
18.  
19.             #_dimensions: [] 
20.  
21.           } 
22.  
23.           1 => Parameter {#397 ▼ 
24.  
25.             -name: "gender" 
26.  
27.           } 
28.  
29.         ] 
30.  
31.         #_function: false 
32.  
33.         #_laziness: false 
34.  
35.         #_id: null 
36.  
37.         #_dimensions: [] 
38.  
39.       } 
40.  
41.       1 => Operator {#413 ▼ 
42.  
43.         #_name: "and" 
44.  
45.         #_arguments: array:2 [▼ 
46.  
47.           0 => Operator {#401 ▼ 
48.  
49.             #_name: ">" 
50.  
51.             #_arguments: array:2 [▼ 
52.  
53.               0 => Context {#399 ?} 
54.  
55.               1 => Parameter {#400 ?} 
56.  
57.             ] 
58.  
59.             #_function: false 
60.  
61.             #_laziness: false 
62.  
63.             #_id: null 
64.  
65.             #_dimensions: [] 
66.  
67.           } 
68.  
69.           1 => Operator {#412 ?} 
70.  
71.         ] 
72.  
73.         #_function: false 
74.  
75.         #_laziness: true 
76.  
77.         #_id: null 
78.  
79.         #_dimensions: [] 
80.  
81.       } 
82.  
83.     ] 
84.  
85.     #_function: false 
86.  
87.     #_laziness: true 
88.  
89.     #_id: null 
90.  
91.     #_dimensions: [] 
92.  
93.   } 
94.  
95. } 

這里有根節(jié)點(diǎn)、子節(jié)點(diǎn)、操作符參數(shù)以及HoaRulerModelOperator實(shí)例。

這時(shí)$executorModel = $compilationTarget->compile($ast, $context);就可以通過NativeVisitor的visit方法對這個(gè)語法樹進(jìn)行訪問和分析了。

這一步走的是visitOperator()

1. /** 
2.  
3.  * {@inheritdoc} 
4.  
5.  */ 
6.  
7. public function visitOperator(AST/Operator $element, &$handle = null, $eldnah = null) 
8.  
9. { 
10.  
11.     $operatorName = $element->getName(); 
12.  
13.  
14.  
15.     // the operator does not exist at all, throw an error before doing anything else. 
16.  
17.     if (!$this->operators->hasInlineOperator($operatorName) && !$this->operators->hasOperator($operatorName)) { 
18.  
19.         throw new OperatorNotFoundException($operatorName, sprintf('Operator "%s" does not exist.', $operatorName)); 
20.  
21.     } 
22.  
23.  
24.  
25.     // expand the arguments 
26.  
27.     $arguments = array_map(function ($argument) use (&$handle, $eldnah) { 
28.  
29.         return $argument->accept($this, $handle, $eldnah); 
30.  
31.     }, $element->getArguments()); 
32.  
33.  
34.  
35.     // and either inline the operator call 
36.  
37.     if ($this->operators->hasInlineOperator($operatorName)) { 
38.  
39.         $callable = $this->operators->getInlineOperator($operatorName); 
40.  
41.  
42.  
43.         return call_user_func_array($callable, $arguments); 
44.  
45.     } 
46.  
47.  
48.  
49.     $inlinedArguments = emptyempty($arguments) ? '' : ', '.implode(', ', $arguments); 
50.  
51.  
52.  
53.     // or defer it. 
54.  
55.     return sprintf('call_user_func($operators["%s"]%s)', $operatorName, $inlinedArguments); 
56.  
57. } 

返回的邏輯代碼可以通過得到：

$executorModel->getCompiledRule()