PHP内核探索：常量的实现

脱离C语言和数学讨论底层都是耍流氓

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

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

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

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

常量，顾名思义是一个常态的量值。它与值只绑定一次，它的作用在于有肋于增加程序的可读性和可靠性。在PHP中，常量的名字是一个简单值的标识符，在脚本执行期间该值不能改变。和变量一样，常量默认为大小写敏感，但是按照我们的习惯常量标识符总是大写的。常量名和其它任何 PHP 标签遵循同样的命名规则。合法的常量名以字母或下划线开始，后面跟着任何字母，数字或下划线。

在设定以后，常量的值无法更改
常量名不需要开头的美元符号 ($)
作用域不影响对常量的访问
常量值只能是字符串或数字

在这一小节我们一起看下常量与我们常见的变量有啥区别，它在执行期间的不可改变的特性是如何实现的以及常量的定义过程。

首先看下常量与变量的区别，常量是在变量的zval结构的基础上添加了一额外的元素。如下所示为PHP中常量的内部结构。

常量的内部结构

typedef struct _zend_constant {
	zval value; /* zval结构，PHP内部变量的存储结构，在第一小节有说明 */
    int flags;  /* 常量的标记如 CONST_PERSISTENT | CONST_CS */
    char *name; /* 常量名称 */
    uint name_len;  
    int module_number;  /* 模块号 */
} zend_constant;

在Zend/zend_constants.h文件的33行可以看到如上所示的结构定义。在常量的结构中，除了与变量一样的zval结构，它还包括属于常量的标记，常量名以及常量所在的模块号。

在了解了常量的存储结构后，我们来看PHP常量的定义过程。一个例子。

define('NOWAMAGIC', 'www.nowamagic.net');

这是一个很常规的常量定义过程，它使用了PHP的内置函数define。常量名为NOWAMAGIC，值为一个字符串，存放在zval结构中。从这个例子出发，我们看下define定义常量的过程实现。

define定义常量

define是PHP的内置函数，在Zend/zend_builtin_functions.c文件中定义了此函数的实现。如下所示为部分源码：

/* {{{ proto bool define(string constant_name, mixed value, boolean case_insensitive=false)
   Define a new constant */
ZEND_FUNCTION(define)
{
        if (zend_parse_parameters(ZEND_NUM_ARGS() TSRMLS_CC, "sz|b", &name,
                &name_len, &val, &non_cs) == FAILURE) {
                return;
        }
 
        ... // 类常量定义 此处不做介绍
 
        ... // 值类型判断和处理
 
        c.value = *val;
        zval_copy_ctor(&c.value);
        if (val_free) {
                zval_ptr_dtor(&val_free);
        }
        c.flags = case_sensitive; /* non persistent */
        c.name = zend_strndup(name, name_len);
        c.name_len = name_len+1;
        c.module_number = PHP_USER_CONSTANT;
        if (zend_register_constant(&c TSRMLS_CC) == SUCCESS) {
                RETURN_TRUE;
        } else {
                RETURN_FALSE;
        }
}
/* }}} */

上面的代码已经对对象和类常量做了简化处理，其实现基本上是一个将传递的参数传递给新建的zend_constant结构，并将这个结构体注册到常量列表中的过程。关于大小写敏感，函数的第三个参数表示是否大小不敏感，默认为false（大小写敏感）。这个参数最后会赋值给zend_constant结构体的flags字段。其在函数中实现代码如下：

zend_bool non_cs = 0;   //  第三个参数的临时存储变量
int case_sensitive = CONST_CS;  //  是否大小写敏感，默认为1
 
if(non_cs) {    //  输入为真，大小写不敏感
    case_sensitive = 0;
}
 
c.flags = case_sensitive; //     赋值给结构体字段

从上面的define函数的实现来看，PHP对于常量的名称在定义时其实是没有所谓的限制。如下所示代码：

define('^_^', 'smile');
 
if (defined('^_^')) {
    echo 'yes';
}else{
    echo 'no';
}
//$var = ^_^;   //语法错误
$var = constant("^_^");

通过defined函数测试表示，‘^_^’这个常量已经定义好，这样的常量无法直接调用，只能使用constant语句来使用，否则在语法解析时会显示错误。在上面的代码中有用到一个判断常量是否定义的函数，下面我们看看这个函数是如何实现的。

判断常量是否设置

和define一样， defined的实现也在Zend/zend_builtin_functions.c文件，其实现是一个读取参数变量，调用 zend_get_constant_ex函数获取常量的值来判断常量是否存在的过程。而zend_get_constant_ex函数不仅包括了常规的常规的常量获取，还包括类常量的获取，最后是通过zend_get_constant函数获取常量的值。在zend_get_constant函数中，基本上是通过下面的代码来获取常量的值。

zend_hash_find(EG(zend_constants), name, name_len+1, (void **) &c)

除此之外，只是调用这个函数之前和之后对name有一些特殊的处理。

常量的初始化

以上通过define定义的常量的模块编号都是PHP_USER_CONSTANT，这表示是用户定义的常量。除此之外我们在平时使用较多的，如在显示所有级别错误报告时使用的E_ALL常量就有点不同了。这里我们以cgi模式为例说明标准常量的定义过程。整个调用顺序如下所示：

[php_cgi_startup() -> php_module_startup() -> zend_startup() -> zend_register_standard_constants()]

void zend_register_standard_constants(TSRMLS_D)
{
    ... //  若干常量以REGISTER_MAIN_LONG_CONSTANT设置，
    REGISTER_MAIN_LONG_CONSTANT("E_ALL", E_ALL, CONST_PERSISTENT | CONST_CS);
    ...
}

REGISTER_MAIN_LONG_CONSTANT宏展开是以zend_register_long_constant实现。 zend_register_long_constant函数将常量中值的类型，值，名称及模块号赋值给新的zend_constant。并调用zend_register_constant添加到全局的常量列表中。

[php_cgi_startup() -> php_module_startup() -> zend_startup() -> zend_register_standard_constants() -> zend_register_constant]

ZEND_API void zend_register_long_constant(const char *name, uint name_len,
        long lval, int flags, int module_number TSRMLS_DC)
{
    zend_constant c;
 
    c.value.type = IS_LONG;
    c.value.value.lval = lval;
    c.flags = flags;
    c.name = zend_strndup(name, name_len-1);
    c.name_len = name_len;
    c.module_number = module_number;
    zend_register_constant(&c TSRMLS_CC);
}

zend_register_constant函数首先根据常量中的c->flags判断是否区分大小写，如果不区分，则名字统一为小写，如果包含"\\"，也统一成小写。否则为定义的名字然后将调用下面的语句将当前常量添加到EG(zend_constants)。 EG(zend_constants)是一个HashTable（这在前面的章节中说明），下面的代码是将常量添加到这个HashTable中。

zend_hash_add(EG(zend_constants), name, c->name_len, (void *) c,
        sizeof(zend_constant), NULL)==FAILURE)

在php_module_startup函数中，除了zend_startup函数中有注册标准的常量，它本身体通过宏REGISTER_MAIN_LONG_CONSTANT等注册了一些常量，如：PHP_VERSION，PHP_OS等。

延伸阅读

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

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

我喜欢

我的收藏夹

不打个分吗？

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

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

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

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

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

八点

新时代严肃阅读指南：文本矩阵简述 3,983 views

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

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

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

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

《JavaScript高级程序设计(第2版)》尼古拉斯·泽卡斯(Nicholas C.Zakas) (作者), 李松峰 (译者), 曹力 (译者)

《JavaScript高级程序设计(第2版)》在上一版基础上进行了大幅度更新和修订，融入了近几年来JavaScript应用发展的最新成果，几乎涵盖了所有需要理解的重要概念和最新的JavaScript应用成果。从颇具深度的JavaScript语言基础到作用域(链)，从引用类型到面向对象编程，从极其灵活的匿名函数到闭包的内部机制，从浏览器对象模型(BOM)、文档对象模型(DOM)到基于事件的Web脚本设计，从XML(E4X)到Ajax及JSON，从高级前端开发技术到前沿的客户端存储，从最佳编程实践到即将成为现实的API，直至JavaScript未来的发展，全景式地展示了JavaScript高级程序设计的方方面面。

更多计算机宝库...

Veda 原型

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

PHP内核探索：常量的实现

常量的内部结构

define定义常量

判断常量是否设置

常量的初始化

延伸阅读

大家都在看

八点

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

邮件订阅

扫码阅读

栏目最新博文

栏目博文推荐

ADS

大音声稀

晚八点

我的微博

文章分类

专题推荐

其它

按月归档

热门博文

最近发布

最热文章

关于网站与作者

图赏