Backend DevelopmentPHP ProblemPHP implements functions similar to the Construct library in Python (3) Implements the if-else function
Introduction
In the article "php implements functions similar to the Construct library in python (1) Basic design ideas" introduces the basic idea of using php to parse binary data
In the article "php implements functions similar to the Construct library in python (2) Implementing the adapter function" explains how to implement the adapter function.
The above two articles analyze static data structures. Next, we need to gradually implement the analysis of dynamic data structures. In other words, the definition of the data structure is context-related and can only be truly determined during data parsing.
Recommended related PHP video tutorials: https://www.php.cn/course/list/29/type/2.html
What will be implemented this time is the if-else function.
Basic idea
1. Modify the lexical analysis rules so that they can accept the if and else keywords
2. Modify the syntax analysis rules so that they can accept if, else statements
3. Modify the encoder to generate runnable PHP target code
The main work content is to modify the syntax analysis rule file.
Implementation content
Structure definition file to be parsed
struct student
{
char name[2];
int num;
if(num.value==1 ){
int age;
}else{
char addr[3];
}
};In order to focus on the implementation of the if-else function, only one structure student is defined this time. The biggest difference from the previous static structure definition is the following definition
if(num.value==1 ){
int age;
}else{
char addr[3];
}If the value of the num field is 1 during the parsing process, an age field is defined, otherwise an addr field is defined.
The lexical rule file has not changed much, just add the matching of if and else keywords
['/^if\b/','_if' ,'i'], ['/^else\b/','_else' ,'e'],
There are many places that need to be changed in the grammatical rule file
First, add a processing function when symbols are moved in. The processing functions introduced earlier are all called during reduction, but for more complex situations, it is necessary to also process them during shift.
Let’s first take a look at the basic operations of move processing in script_parser.php
//移进
private function shift($token){
//处理记号栈
$this->tokenStack= $this->tokenStack.$token[0];
if($this->debugMode){
echo I('srcline:'),$token[2],I(' shifted :'),$this->tokenStack,"\n";
}
//处理语法栈,栈中元素为［记号名，记号值，起始位置，结束位置，[附加信息]]
array_push($this->syntaxStack, [$token[0],$token[1],$this->tokenIndex-1,$this->tokenIndex-1,[]]);
//调用规则处理中的移进处理函数
$extra=$this->rulesHandler->handleShift($token[0],$this->syntaxStack,$this->coder);
//在栈中保存附加信息
$this->syntaxStack[count($this->syntaxStack)-1][TokenExtraIndex]=$extra;
}A call to a hook function is placed in it
//调用规则处理中的移进处理函数 $extra=$this->rulesHandler->handleShift($token[0],$this->syntaxStack,$this->coder);
An empty handleShift method is defined in the base class of grammar rule processing.
What we need to do is to overload the handleShift method in the grammar rule processing class.
//处理移进,返回附加信息数组
function handleShift($tokenName,$stack,$coder){
if($tokenName=='_if'){
//插入一个空行，空行所在的序号存入附加信息数组，以后可以替换为正确的内容
return [$coder->pushLine('')];
}
if($tokenName=='_else'){
//插入一个空行，空行所在的序号存入附加信息数组，以后可以替换为正确的内容
return [$coder->pushLine('')];
}
return [];
}As can be seen from the above code, during the compilation process, if an if or else shift operation occurs, a blank line is inserted into the target code to be generated, and the address of this blank line is Save it and replace the blank lines with the finalized content when reducing the if-else statement.
Why do you do that?
Because in the if statement, the if or else block statement completes the reduction first, and the entire if statement completes the reduction after that. The target code is generated while reducing, so a position must be occupied first for if or else.
The following is the syntax rule processing function of if-else
// if {{{
function _ifStatement_0_ifStatement_else_blockStatement($stack,$coder){
//取出_else 记号中保存的空白行所在的地址，替换为正确的内容
$t1= $this->topItem($stack,2);
$lineIndex=$t1[TokenExtraIndex][0];
$content='else{';
$coder->resetLine($lineIndex,$content);
$coder->pushLine('}');
return $this->pass($stack,3);
}
function _ifStatement_0_if_wholeExpression_blockStatement($stack,$coder){
//取出_if 记号中保存的空白行所在的地址，替换为正确的内容
$t1= $this->topItem($stack,3);
$lineIndex=$t1[TokenExtraIndex][0];
$t2= $this->topItem($stack,2);
$condtionExp=$t2[TokenValueIndex];
$content='if'.$condtionExp.'{';
$coder->resetLine($lineIndex,$content);
$coder->pushLine('}');
return $this->pass($stack,3);
}
// if }}}Focus on the analysis of the processing of if statements. The processing function is as follows
function _ifStatement_0_if_wholeExpression_blockStatement($stack,$coder){
//取出_if 记号中保存的空白行所在的地址，替换为正确的内容
$t1= $this->topItem($stack,3);
$lineIndex=$t1[TokenExtraIndex][0];
$t2= $this->topItem($stack,2);
$condtionExp=$t2[TokenValueIndex];
$content='if'.$condtionExp.'{';
$coder->resetLine($lineIndex,$content);
$coder->pushLine('}');
return $this->pass($stack,3);
}The following statements
$t1= $this->topItem($stack,3);The meaning of
is to take the element from the top of the current syntax stack. The second parameter 3 indicates that the third element is taken from the top of the stack. Counting starts from 1
_ifStatement_0_if_wholeExpression_blockStatement
The syntax rules contained in it are:
When _if appears on the top of the stack, _wholeExpression, _blockStatement The three symbols are, these three symbols can be reduced to _ifStatement_0 is a delimited string that separates the left and right parts of the grammar rules .
A design technique used in the ADOS scripting language is to use production (grammar rules) as the name of the function, and the grammar rules and grammar rule processing functions are combined into one.
The advantage of this is that there is no need to maintain grammar rules and grammar rule processing functions separately, and there is no need to keep the two synchronized at all times.
$t1= $this->topItem($stack,3);
What is taken out is the corresponding content of the _if symbol in the syntax stack. As mentioned before, when the _if symbol is moved in, a blank line is inserted, and the address of this blank line is saved in the symbol plus information array. Take it out at this time.
$t2= $this->topItem($stack,2); $condtionExp=$t2[TokenValueIndex];
Take out the corresponding conditional expression from the corresponding syntax stack element of _wholeExpression, form a complete content and replace the previous blank line.
Please note that the content of the if statement block has been written into the target code at this time.
Next, add the end mark ‘}’ of an if statement block and it’s OK.
Next, we implement the processing of the attribute operator. In the example, it is the processing of expressions in the form of
num.value
The syntax rule processing function is as follows
function _term_0_term_dot_iden($stack,$coder){
$t1= $this->topItem($stack,3);
$obj = $t1[TokenValueIndex];
$t2= $this->topItem($stack,1);
$var = $t2[TokenValueIndex];
$exp = '$'.$obj.'[\''.$var.'\']';
return [$exp,[]];
}From the example, the source code is num.value, and the final target code is $num['value']
That is, the C-like source code is turned into PHP code
Next, we have to implement the processing of the comparison operator ==:
function _wholeExpression_0_wholeExpression_bieq_expression($stack,$coder){
return $this->biOpertors($stack,3,'==',1,$coder);
}
//二元操作符的通用处理函数
function biOpertors($stack,$op1Index,$op,$op2Index,$coder){
$t1= $this->topItem($stack,$op1Index);
$exp1=$t1[TokenValueIndex];
$t2= $this->topItem($stack,$op2Index);
$exp2=$t2[TokenValueIndex];
$s=$exp1.$op.$exp2;
return [$s,[]];
}The following is the content of the complete grammar rule processing file
0){
return intval($extraArray[0]);
}else{
return 0;
}
}
//二元操作符的通用处理函数
function biOpertors($stack,$op1Index,$op,$op2Index,$coder){
$t1= $this->topItem($stack,$op1Index);
$exp1=$t1[TokenValueIndex];
$t2= $this->topItem($stack,$op2Index);
$exp2=$t2[TokenValueIndex];
$s=$exp1.$op.$exp2;
return [$s,[]];
}
//处理移进,返回附加信息数组
function handleShift($tokenName,$stack,$coder){
if($tokenName=='_if'){
//插入一个空行，空行所在的序号存入附加信息数组，以后可以替换为正确的内容
return [$coder->pushLine('')];
}
if($tokenName=='_else'){
//插入一个空行，空行所在的序号存入附加信息数组，以后可以替换为正确的内容
return [$coder->pushLine('')];
}
return [];
}
//语法规则处理函数名由规则右边部分与规则左边部分拼接而成
//语法规则定义的先后决定了归约时匹配的顺序，要根据实际的语法安排
//如果不熟悉语法，随意调整语法规则的先后次序将有可能导致语法错误
// struct list {{{
function _structList_0_structList_struct($stack,$coder){
$coder->pushBlockTail();
return ['#',[]];
}
function _structList_0_struct($stack,$coder){
$coder->pushBlockTail();
return ['#',[]];
}
// struct list }}}
// struct {{{
function _struct_0_structName_blockStatement_semi($stack,$coder){
$t1= $this->topItem($stack,3);
$structName = $t1[TokenValueIndex];
$t2= $this->topItem($stack,2);
$extraArray=$t2[TokenExtraIndex];
return [$structName,$extraArray];
}
// struct }}}
// struct name {{{
function _structName_0_strukey_iden($stack,$coder){
$t1= $this->topItem($stack,1);
$structName = $t1[TokenValueIndex];
$coder->pushBlockHeader($structName);
return $this->pass($stack,1);
}
// struct name }}}
// blockStatement {{{
function _blockStatement_0_lcb_statementList_rcb($stack,$coder){
return $this->pass($stack,2);
}
// blockStatement }}}
// statement list {{{
function _statementList_0_statementList_statement($stack,$coder){
return $this->pass($stack,1);
}
function _statementList_0_statement($stack,$coder){
//此处0表示statementList是上一级节点，要做特殊处理
return $this->pass($stack,1);
}
// statement list }}}
// statement {{{
function _statement_0_wholeExpression_semi($stack,$coder){
$t1= $this->topItem($stack,2);
$elementName = $t1[TokenValueIndex];
$coder->pushCheckBody($elementName);
return $this->pass($stack,2);
}
function _statement_0_ifStatement($stack,$coder){
return $this->pass($stack,1);
}
// statement }}}
// if {{{
function _ifStatement_0_ifStatement_else_blockStatement($stack,$coder){
//取出_else 记号中保存的空白行所在的地址，替换为正确的内容
$t1= $this->topItem($stack,2);
$lineIndex=$t1[TokenExtraIndex][0];
$content='else{';
$coder->resetLine($lineIndex,$content);
$coder->pushLine('}');
return $this->pass($stack,3);
}
function _ifStatement_0_if_wholeExpression_blockStatement($stack,$coder){
//取出_if 记号中保存的空白行所在的地址，替换为正确的内容
$t1= $this->topItem($stack,3);
$lineIndex=$t1[TokenExtraIndex][0];
$t2= $this->topItem($stack,2);
$condtionExp=$t2[TokenValueIndex];
$content='if'.$condtionExp.'{';
$coder->resetLine($lineIndex,$content);
$coder->pushLine('}');
return $this->pass($stack,3);
}
// if }}}
// function expression {{{
//函数表达式
function _term_0_funcTerm($stack,$coder){
$t1= $this->topItem($stack,1);
$funcName=$t1[TokenValueIndex];
$paraArray=$t1[TokenExtraIndex];
$paras = implode(",", $paraArray);
$exp = $funcName.'('.$paras.')';
return [$exp,[]];
}
function _funcTerm_0_funcExpLp_rp($stack,$coder){
return $this->pass($stack,2);
}
function _funcTerm_0_funcExpLeft_rp($stack,$coder){
return $this->pass($stack,2);
}
function _funcExpLeft_0_funcExpLeft_comma_expression($stack,$coder){
$t1= $this->topItem($stack,3);
$t2= $this->topItem($stack,1);
//函数的参数列表存放在附加信息中
$paraArray=$t1[TokenExtraIndex];
array_push($paraArray, $t2[TokenValueIndex]);
return [$t1[TokenValueIndex],$paraArray];
}
function _funcExpLeft_0_funcExpLp_expression($stack,$coder){
$t1= $this->topItem($stack,2);
$t2= $this->topItem($stack,1);
//函数的参数列表存放在附加信息中
$paraArray=$t1[TokenExtraIndex];
array_push($paraArray, $t2[TokenValueIndex]);
return [$t1[TokenValueIndex],$paraArray];
}
function _funcExpLp_0_iden_lp($stack,$coder){
return $this->pass($stack,2);
}
// function expression }}}
// whole Expression {{{
function _wholeExpression_0_wholeExpression_bieq_expression($stack,$coder){
return $this->biOpertors($stack,3,'==',1,$coder);
}
function _wholeExpression_0_expression($stack,$coder){
return $this->pass($stack,1);
}
// whole Expression }}}
// Expression {{{
//表达式可以进行管道运算
function _expression_0_expression_pipe_factor($stack,$coder){
$t1= $this->topItem($stack,1);
$handlerName = $t1[TokenValueIndex];
$t2= $this->topItem($stack,3);
$elementName = $t2[TokenValueIndex];
$coder->pushPipeBody($handlerName,$elementName);
return $this->pass($stack,3);
}
function _expression_0_double_factor($stack,$coder){
$t1= $this->topItem($stack,1);
$elementName = $t1[TokenValueIndex];
$parseFuncName = 'parseDouble';
$coder->pushParseBody($parseFuncName,$elementName);
return $this->pass($stack,1);
}
function _expression_0_float_factor($stack,$coder){
$t1= $this->topItem($stack,1);
$elementName = $t1[TokenValueIndex];
$parseFuncName = 'parseFloat';
$coder->pushParseBody($parseFuncName,$elementName);
return $this->pass($stack,1);
}
function _expression_0_char_factor($stack,$coder){
$t1= $this->topItem($stack,1);
$elementName = $t1[TokenValueIndex];
$size = $this->elementSize($t1[TokenExtraIndex]);
$parseFuncName = 'parseFixStr';
$coder->pushParseBody($parseFuncName,$elementName,$size);
return $this->pass($stack,1);
}
function _expression_0_int_factor($stack,$coder){
$t1= $this->topItem($stack,1);
$elementName = $t1[TokenValueIndex];
$parseFuncName = 'parseInt';
$coder->pushParseBody($parseFuncName,$elementName,4);
return $this->pass($stack,1);
}
function _expression_0_factor($stack,$coder){
return $this->pass($stack,1);
}
// Expression }}}
// factor {{{
function _factor_0_term($stack,$coder){
return $this->pass($stack,1);
}
// factor }}}
// term {{{
function _term_0_lp_wholeExpression_rp($stack,$coder){
$t1= $this->topItem($stack,2);
$s='('.$t1[TokenValueIndex].')';
return [$s,[]];
}
function _term_0_term_dot_iden($stack,$coder){
$t1= $this->topItem($stack,3);
$obj = $t1[TokenValueIndex];
$t2= $this->topItem($stack,1);
$var = $t2[TokenValueIndex];
$exp = '$'.$obj.'[\''.$var.'\']';
return [$exp,[]];
}
function _term_0_iden($stack,$coder){
$t1= $this->topItem($stack,1);
//未指定数据长度时将长度值设为0
$valLen = '0';
$t2= $this->topItem($stack,2);
return [$t1[TokenValueIndex],[$valLen]];
}
function _term_0_num($stack,$coder){
return $this->pass($stack,1);
}
function _term_0_array($stack,$coder){
return $this->pass($stack,1);
}
// term }}}
// array {{{
function _array_0_arrayLb_num_rb($stack,$coder){
$t1= $this->topItem($stack,2);
$valLen = $t1[TokenValueIndex];
$t2= $this->topItem($stack,3);
//将数据长度放入附加信息
return [$t2[TokenValueIndex],[$valLen]];
}
function _arrayLb_0_iden_lb($stack,$coder){
return $this->pass($stack,2);
}
// array }}}
}// end of classThe following is the content of the improved encoder
<?php
/*!
* structwkr编码器，
*
* 45022300@qq.com
* Version 0.9.0
*
* Copyright 2019, Zhu Hui
* Released under the MIT license
*/
namespace Ados;
require_once __SCRIPTCORE__.'coder/base_coder.php';
require_once __STRUCT_PARSE_TEMP__.'templateReplaceFuncs.php';
class StructwkrCoder extends BaseCoder{
public function __construct($engine)
{
if($engine){
$this->engine = $engine;
}else{
exit('the engine is not valid in StructwkrCoder construct.');
}
}
//编译得到的最终结果
public function codeLines(){
if(count($this->codeLines)<1){
return '';
}
$script='';
for ($i=0;$i< count($this->codeLines);$i+=1) {
$script.=$this->codeLines[$i];
}
return $script;
}
//输出编译后的结果
public function printCodeLines(){
echo $this->codeLines();
}
//添加一个块解析函数头
public function pushLine($content){
array_push($this->codeLines, $content);
$lineIndex=$this->lineIndex;
$this->lineIndex+=1;
return $lineIndex;
}
//重置一行的内容
public function resetLine($lineIndex,$line){
$this->codeLines[$lineIndex]=$line;
}
//添加一个块解析函数头
public function pushBlockHeader($structName){
$structName=ucfirst($structName);
$content = makeBlockHeader($structName);
return $this->pushLine($content);
}
//添加一个块解析函数体
public function pushParseBody($parseFuncName,$filedName='',$filedSize=0){
$content = makeParseBody($parseFuncName,$filedName,$filedSize);
return $this->pushLine($content);
}
//添加一个管道处理
public function pushPipeBody($handler,$filedName=''){
$content = makePipeBody($handler,$filedName);
return $this->pushLine($content);
}
//添加一个检查结果值的body
public function pushCheckBody($filedName=''){
$content = makeCheckBody($filedName);
return $this->pushLine($content);
}
//添加一个块解析类的tail
public function pushBlockTail(){
$content = makeblockTail();
return $this->pushLine($content);
}
}实现结果
自动生成的测试文件如下
<?php
namespace Ados;
//加载常量定义文件
require_once 'const.php';
require_once __STRUCT_PARSE_TEMP__.'templateBuidinFuncs.php';
require_once __STRUCT_PARSE_ADAPTER__.'int2str.adapter.php';
require_once __STRUCT_PARSE_ADAPTER__.'intoffset.adapter.php';
$context['pos']=0;
$context['data']="\x41\x43\x01\x00\x00\x00\x02\x00\x00\x00\x41\x42\x43\x41\x42\x01\x00\x00\x00\x41\x42\x43";
$expRes = Student::parse($context);
$context['pos']+=$expRes['size'];
print_r($expRes);
/*
$expRes = Teacher::parse($context);
$context['pos']+=$expRes['size'];
print_r($expRes);
*/
class Student{
static function parse($context,$size=0){
$valueArray=[];
$totalSize = 0;
$name = parseFixStr($context,2);
if($name['error']==0){
$filed = 'name';
if($filed){
$valueArray[$filed]=$name['value'];
}else{
$valueArray[]=$name['value'];
}
$context['pos']+=$name['size'];
$totalSize+= $name['size'];
}else{
return ['value'=>False,'size'=>0,'error'=>$name['error'],'msg'=>$name['msg']];
}
$num = parseInt($context,4);
if($num['error']==0){
$filed = 'num';
if($filed){
$valueArray[$filed]=$num['value'];
}else{
$valueArray[]=$num['value'];
}
$context['pos']+=$num['size'];
$totalSize+= $num['size'];
}else{
return ['value'=>False,'size'=>0,'error'=>$num['error'],'msg'=>$num['msg']];
}
if($num['value']==1){
$age = parseInt($context,4);
if($age['error']==0){
$filed = 'age';
if($filed){
$valueArray[$filed]=$age['value'];
}else{
$valueArray[]=$age['value'];
}
$context['pos']+=$age['size'];
$totalSize+= $age['size'];
}else{
return ['value'=>False,'size'=>0,'error'=>$age['error'],'msg'=>$age['msg']];
}
}else{
$addr = parseFixStr($context,3);
if($addr['error']==0){
$filed = 'addr';
if($filed){
$valueArray[$filed]=$addr['value'];
}else{
$valueArray[]=$addr['value'];
}
$context['pos']+=$addr['size'];
$totalSize+= $addr['size'];
}else{
return ['value'=>False,'size'=>0,'error'=>$addr['error'],'msg'=>$addr['msg']];
}
}
return ['value'=>$valueArray,'size'=>$totalSize,'error'=>0,'msg'=>'ok'];
}
} 运行测试文件的结果
Array
(
[value] => Array
(
[name] => AC
[num] => 1
[age] => 2
)
[size] => 10
[error] => 0
[msg] => ok
)对比测试数据
$context['data']="\x41\x43\x01\x00\x00\x00\x02\x00\x00\x00\x41\x42\x43\x41\x42\x01\x00\x00\x00\x41\x42\x43";
由于字段 num的值为1，所以接下来产生了一个age字段，而并没有产生addr字段。
结论：if-else功能已经实现并通过了验证。
更多相关问题请访问PHP中文网：https://www.php.cn/
The above is the detailed content of PHP implements functions similar to the Construct library in Python (3) Implements the if-else function. For more information, please follow other related articles on the PHP Chinese website!
How to Implement message queues (RabbitMQ, Redis) in PHP?Mar 10, 2025 pm 06:15 PMThis article details implementing message queues in PHP using RabbitMQ and Redis. It compares their architectures (AMQP vs. in-memory), features, and reliability mechanisms (confirmations, transactions, persistence). Best practices for design, error
What Are the Latest PHP Coding Standards and Best Practices?Mar 10, 2025 pm 06:16 PMThis article examines current PHP coding standards and best practices, focusing on PSR recommendations (PSR-1, PSR-2, PSR-4, PSR-12). It emphasizes improving code readability and maintainability through consistent styling, meaningful naming, and eff
How Do I Work with PHP Extensions and PECL?Mar 10, 2025 pm 06:12 PMThis article details installing and troubleshooting PHP extensions, focusing on PECL. It covers installation steps (finding, downloading/compiling, enabling, restarting the server), troubleshooting techniques (checking logs, verifying installation,
How to Use Reflection to Analyze and Manipulate PHP Code?Mar 10, 2025 pm 06:12 PMThis article explains PHP's Reflection API, enabling runtime inspection and manipulation of classes, methods, and properties. It details common use cases (documentation generation, ORMs, dependency injection) and cautions against performance overhea
PHP 8 JIT (Just-In-Time) Compilation: How it improves performance.Mar 25, 2025 am 10:37 AMPHP 8's JIT compilation enhances performance by compiling frequently executed code into machine code, benefiting applications with heavy computations and reducing execution times.
How Do I Stay Up-to-Date with the PHP Ecosystem and Community?Mar 10, 2025 pm 06:16 PMThis article explores strategies for staying current in the PHP ecosystem. It emphasizes utilizing official channels, community forums, conferences, and open-source contributions. The author highlights best resources for learning new features and a
How to Use Asynchronous Tasks in PHP for Non-Blocking Operations?Mar 10, 2025 pm 04:21 PMThis article explores asynchronous task execution in PHP to enhance web application responsiveness. It details methods like message queues, asynchronous frameworks (ReactPHP, Swoole), and background processes, emphasizing best practices for efficien
How to Use Memory Optimization Techniques in PHP?Mar 10, 2025 pm 04:23 PMThis article addresses PHP memory optimization. It details techniques like using appropriate data structures, avoiding unnecessary object creation, and employing efficient algorithms. Common memory leak sources (e.g., unclosed connections, global v
Hot AI Tools
Undresser.AI Undress
AI-powered app for creating realistic nude photos
AI Clothes Remover
Online AI tool for removing clothes from photos.
Undress AI Tool
Undress images for free
Clothoff.io
AI clothes remover
AI Hentai Generator
Generate AI Hentai for free.
Hot Article
Hot Tools
Zend Studio 13.0.1
Powerful PHP integrated development environment
mPDF
mPDF is a PHP library that can generate PDF files from UTF-8 encoded HTML. The original author, Ian Back, wrote mPDF to output PDF files "on the fly" from his website and handle different languages. It is slower than original scripts like HTML2FPDF and produces larger files when using Unicode fonts, but supports CSS styles etc. and has a lot of enhancements. Supports almost all languages, including RTL (Arabic and Hebrew) and CJK (Chinese, Japanese and Korean). Supports nested block-level elements (such as P, DIV),
Notepad++7.3.1
Easy-to-use and free code editor
ZendStudio 13.5.1 Mac
Powerful PHP integrated development environment
VSCode Windows 64-bit Download
A free and powerful IDE editor launched by Microsoft
