TIPI: 深入理解PHP内核

实现自己的语法

经过前面对r2ex以及Bison的介绍，熟悉了PHP语法的实现，我们来动手自己实现一个语法吧。也就是对Zend引擎语法层面的实现。以此来对Zend引擎有更多的了解。

编程语言和社会语言一样都是会慢慢演进的，不同的语种就像我们的不同国家的语言一样，他们各有各的特点，语言通常也能反映出一个群体的特质，不同语言的社区氛围和文化也都会有很大的差异，和现实生活一样，我们也需要尽可能的去接触不同的文化，来开阔自己的视野和思维方式，所以我们也建议多学习不同的编程语言。

在这里简单提一下PHP语言的演进，PHP的语法继承自Perl的语法，这一点和自然语言也很类似，语言之间会互相影响，比如PHP5开始完善的面向对象机制，已经PHP5.4中增加的命名空间以及闭包等等功能。

PHP是个开源项目，它的发展是由社区来决定的，它也是开放的，如果你有想要改进它的愿望都可以加入到这个社区当中，当然也不是谁都可以改变PHP，重大改进都需要由社区确定，只有有限的人具有对代码库的修改权限，如果你发现了PHP的Bug可以去http://bugs.php.net提交Bug, 如果同时你也找到了Bug的原因那么你也可以同时附上对Bug的修复补丁，然后在PHP邮件组中进行一些讨论，如果没有问题那么有权限的成员就可以将你的补丁合并进入相应的版本内，更多内容可以参考附录D　怎样为PHP共享自己的力量。

在本小节中将要实现一个对PHP本身语言的一个“需求”：返回变量名称。
用一小段代码简单描述一下这个需求：

 [php]
 <?php 
 $demo = 'tipi';
 echo var_name($dema);   //执行结果，输出： demo
 ?>

经过前面的章节，我们了解到，一种PHP语法的内部实现，主要经历了以下步骤：

图7.2 Zend Opcodes执行

即:词法分析 => 语法分析 => 解释为Opocdes => 脚本具体执行

由此，我们还是要从词法和语法分析着手。

词法分析与语法分析

熟悉编译原理的朋友应该比较熟悉这两个概念，简而言之，就是在要运行的程序中，根据原来设定好的“关键字”（Tokens），将每条程序指令解释成为可以由语言解释器理解的操作。

在PHP中，可以使用token_get_all()函数来查看一段PHP代码生成的Tokens。

PHP的词法分析和语法分析的定位分别位于Zend目录下的zend_language_scanner.l和 zend_language_parser.y 中，但使用lex&yacc来实现。我们要做的，就是在PHP原有的词法和语法分析中，加入新的Token,在zend_language_scanner.l中加入以下内容：

"var_name" {
    return T_VARIABLE_NAME;
}

同样，在 zend_language_parser.y 的internal_functions_in_yacc代码块内，要加入对这个token的支持：

| T_VARIABLE_NAME '(' T_VARIABLE ')' { zend_do_variable_name(&$$, &$3 TSRMLS_CC); }
| T_VARIABLE_NAME T_VARIABLE { zend_do_variable_name(&$$, &$2 TSRMLS_CC); }

大家可以很容易理解第一行的定义，如果发现T_VARIABLE_NAME, 则使用zend_do_variable_name来处理， &$$表示返回值， &$3表示传入参数T_VARIABLE，这两个参数是可以使用vld工具查看到的。具体请参阅前面opcode章节。

加入OPCODE

关于opcode的内容可以参看前面的章节，这里我们介绍一下如何添加一个新的opcode。首先，我们在Zend/zend_vm_opcodes.h 为我们的新opcode 加入一个宏定义：

#define ZEND_VARIABLE_NAME 154

这个数字要求在0-255之间，并且不能与现有opcode重复。

第二步，在Zend/zend_compile.c中加入我们对OPCODE的处理，也就是将代码操作转化为op_array放入到opline中：

void zend_do_variable_name(znode *result, znode *variable TSRMLS_DC) /* {{{ */
{
    // 生成一条zend_op
    zend_op *opline = get_next_op(CG(active_op_array) TSRMLS_CC);
 
    // 因为我们需要有返回值, 并且返回值只作为中间值.所以就是一个临时变量
    opline->result.op_type = IS_TMP_VAR;
    opline->result.u.var = get_temporary_variable(CG(active_op_array));
 
    opline->opcode = ZEND_VARIABLE_NAME;
    opline->op1 = *variable;
 
    // 我们只需要一个操作数就好了
    SET_UNUSED(opline->op2);
    *result = opline->result;
}

这样，我们就完成了对opcode的定义。

内部处理逻辑的编写

经过在上面两个步骤中，我们已经完成了自定义PHP语法的入口。最后的工作，就是定义如何处理自定义的opcode，以及编写具体的代码逻辑。在前面关于如何找到opcode具体实现的小节，我们提到 Zend/zend_vm_execute.h中的zend_vm_get_opcode_handler()函数。这个函数就是用来获取opcode，本小节的opcode就是ZEND_VARIABLE_NAME, 也就是154的具体实现。

这个对应的关系，是根据一个公式来进行了，目的是将不同的参数类型分开，对应到多个处理函数，公式是这样的：

return zend_opcode_handlers[opcode * 25 + zend_vm_decode[op->op1.op_type] * 5 
    + zend_vm_decode[op->op2.op_type]];

从这个公式我们可以看出，最终的处理函数是与参数类型有关，根据计算，我们要满足所有类型的映射，尽管我们可以可以使用同一函数进行处理，于是，我们在zend_opcode_handlers这个数组的结尾，加上25个相同的函数定义：

void zend_init_opcodes_handlers(void)
{
    static const opcode_handler_t labels[] = {
    ....
    ZEND_VARIABLE_NAME_HANDLER,
    ....
    ZEND_VARIABLE_NAME_HANDLER
｝

如果我们不想支持某类型的数据，只需要将类型代入公式计算出的数字做为索引，使opcode_handler_t中相应的项为：ZEND_NULL_HANDLER

最后，我们在Zend/zend_vm_execute.h中编写返回变量名的具体实现：

static int ZEND_FASTCALL ZEND_VARIABLE_NAME_HANDLER(ZEND_OPCODE_HANDLER_ARGS)
{   
    zend_op *opline = EX(opline);
 
    // PHP中所有的变量在内部都是存储在zval结构中的. 
    zval *result = &EX_T(opline->result.u.var).tmp_var;
 
    // 把变量的名字赋给临时返回值
    Z_STRVAL(*result) = estrndup(opline->op1.u.constant.value.str.val, opline->op1.u.constant.value.str.len);
    Z_STRLEN(*result) = opline->op1.u.constant.value.str.len;
    Z_TYPE(EX_T(opline->result.u.var).tmp_var) = IS_STRING;
 
    ZEND_VM_NEXT_OPCODE();
}

进行完上面的修改之后，我们要删除lex&yacc已经编译好的原文件，即删除Zend/zend_language*.c文件以使新token生效。这样我们再次对PHP源码进行make时，会自动生成新的token处理文件，不过，编译环境要安装有lex&yacc和re2c。

从上面的步骤可以看出，php语法的扩展并不困难，而真正的难点在于如何在当前zend内核框架基础上进行的具体功能的实现，以及到底应该实现什么语法。特别是第两个问题，直接造就了PHP［rfc］及相关邮件组活跃与热烈的气氛。