PHP内核探索：变量作用域

变量的作用域是变量的一个作用范围

在 2011年06月07日那天写的已经有 7809 次阅读了

感谢参考或原文 www.php-internal.com

服务器君一共花费了356.426 ms进行了5次数据库查询，努力地为您提供了这个页面。

试试阅读模式？希望听取您的建议

变量的作用域是变量的一个作用范围，在这个范围内变量为可见的，即可以访问该变量的代码区域，相反，如果不在这个范围内，变量是不可见的，无法被调用。（全局变量可以将作用范围看作为整个程序）如下面的例子：（会输出什么样的结果呢？）

<?php
    $foo = 'nowamagic';
    function variable_scope(){
        $foo = 'foo';
        print $foo ;
        print $bar ;
    }
?>

由此可见，变量的作用域是一个很基础的概念，在变量的实现中比较重要。

全局变量与局部变量

变量按作用域类型分为：全局变量和局部变量。全局变量是在整个程序中任何地方随意调用的变量，在PHP中，全局变量的“全局化”使用gloal语句来实现。相对于全局变量，局部变量的作用域是程序中的部分代码（如函数中），而不是程序的全部。

变量的作用域与变量的生命周期有一定的联系，如在一个函数中定义的变量，这个变量的作用域从变量声明的时候开始到这个函数结束的时候。这种变量我们称之为局部变量。它的生命周期开始于函数开始，结束于函数的调用完成之时。

变量的作用域决定其生命周期吗？程序运行到变量作用域范围之外，就会将变量进行销毁吗？

对于不同作用域的变量，如果存在冲突情况，就像上面的例子中，全局变量中有一个名为$bar的变量，在局部变量中也存在一个名为$bar的变量，此时如何区分呢？

对于全局变量，ZEND内核有一个_zend_executor_globals结构，该结构中的symbol_table就是全局符号表，其中保存了在顶层作用域中的变量。同样，函数或者对象的方法在被调用时会创建active_symbol_table来保存局部变量。当程序在顶层中使用某个变量时，ZE就会在symbol_table中进行遍历，同理，如果程序运行于某个函数中，Zend内核会遍历查询与其对应的active_symbol_table，而每个函数的active_symbol_table是相对独立的，由此而实现的作用域的独立。

展开来看，如果我们调用的一个函数中的变量，ZE使用_zend_execute_data来存储某个单独的op_array（每个函数都会生成单独的op_array)执行过程中所需要的信息，它的结构如下：

struct _zend_execute_data {
    struct _zend_op *opline;
    zend_function_state function_state;
    zend_function *fbc; /* Function Being Called */
    zend_class_entry *called_scope;
    zend_op_array *op_array;
    zval *object;
    union _temp_variable *Ts;
    zval ***CVs;
    HashTable *symbol_table;
    struct _zend_execute_data *prev_execute_data;
    zval *old_error_reporting;
    zend_bool nested;
    zval **original_return_value;
    zend_class_entry *current_scope;
    zend_class_entry *current_called_scope;
    zval *current_this;
    zval *current_object;
    struct _zend_op *call_opline;
};

函数中的局部变量就存储在_zend_execute_data的symbol_table中，在执行当前函数的op_array时，全局zend_executor_globals中的*active_symbol_table会指向当前_zend_execute_data中的*symbol_table。因为每个函数调用开始时都会重新初始化EG(active_symbol_table)为NULL，在这个函数的所有opcode的执行过程中这个全局变量会一直存在，并且所有的局部变量修改都是在它上面操作完成的，如前面的赋值操作等。而此时，其他函数中的symbol_table会存放在栈中，将当前函数执行完并返回时，程序会将之前保存的zend_execute_data恢复，从而其他函数中的变量也就不会被找到，局部变量的作用域就是以这种方式来实现的。相关操作在 Zend/zend_vm_execute.h 文件中定义的execute函数中一目了然，如下所示代码：

zend_vm_enter:
/* Initialize execute_data */
execute_data = (zend_execute_data *)zend_vm_stack_alloc(
    sizeof(zend_execute_data) +
    sizeof(zval**) * op_array->last_var * (EG(active_symbol_table) ? 1 : 2) +
    sizeof(temp_variable) * op_array->T TSRMLS_CC);
 
EX(symbol_table) = EG(active_symbol_table);
EX(prev_execute_data) = EG(current_execute_data);
EG(current_execute_data) = execute_data;

所以，变量的作用域是使用不同的符号表来实现的，于是顶层的全局变量在函数内部使用时，需要先使用global语句来将变量“挪”到函数独立的*active_symbol_table中，即变量的跨域操作。

在PHP的源码中，EX宏经常出现，它的作用是获取结构体zend_execute_data的字段值，它的实现是：#define EX(element) execute_data->element

延伸阅读

此文章所在专题列表如下：

本文地址：http://www.nowamagic.net/librarys/veda/detail/1420，欢迎访问原出处。

我喜欢

我的收藏夹

不打个分吗？

转载随意，但请带上本文地址：

http://www.nowamagic.net/librarys/veda/detail/1420

如果你认为这篇文章值得更多人阅读，欢迎使用下面的分享功能。

分享到：新浪微博腾讯微博 QQ空间人人网豆瓣网一键分享

小提示：您可以按快捷键 Ctrl + D，或点此加入收藏。

现代魔法研究协会欢迎你

阅读一百本计算机著作吧，少年

很多人觉得自己技术进步很慢，学习效率低，我觉得一个重要原因是看的书少了。多少是多呢？起码得看3、4、5、6米吧。给个具体的数量，那就100本书吧。很多人知识结构不好而且不系统，因为在特定领域有一个足够量的知识量+足够良好的知识结构，系统化以后就足以应对大量未曾遇到过的问题。

奉劝自学者：构建特定领域的知识结构体系的路径中再也没有比学习该专业的专业课程更好的了。如果我的知识结构体系足以囊括面试官的大部分甚至吞并他的知识结构体系的话，读到他言语中的一个词我们就已经知道他要表达什么，我们可以让他坐“上位”毕竟他是面试官，但是在知识结构体系以及心理上我们就居高临下。

所以，阅读一百本计算机著作吧，少年！

《敏捷软件开发(原则模式与实践)》马丁 (作者), 邓辉 (译者)

《敏捷软件开发：原则模式与实践》由享誉全球的软件开发专家和软件工程大师Robert C.Martin将向您展示如何解决软件开发人员、项目经理及软件项目领导们所面临的最棘手的问题。这本综合性、实用性的敏捷开发和极限编程方面的指南，是由敏捷开发的创始人之一所撰写的。1.讲述在预算和实践要求下，软件开发人员和项目经理如何使用敏捷开发完成项目；2.使用真实案例讲解如何用极限编程来设计、测试、重构和结对编程；3.包含了极具价值的可多次使用的C++和JAVA源代码；4.重点讲述了如何使用UML和设计模式解决面向客户系统的问题。

更多计算机宝库...

Veda 原型

成功，唯有积累，没有奇迹

PHP内核探索：变量作用域

全局变量与局部变量

延伸阅读

大家都在看

现代魔法研究协会欢迎你

阅读一百本计算机著作吧，少年

邮件订阅

扫码阅读

栏目最新博文

栏目博文推荐

ADS

大音声稀

晚八点

我的微博

文章分类

专题推荐

其它

按月归档

热门博文

最近发布

最热文章

关于网站与作者

图赏