【php原理】狂言php常量

我们先看一个php常量的定义方法

<code style="font-size:14px; line-height:1.3em; border-left-width:4px; border-left-style:solid; border-left-color:rgb(0,136,0); display:block; padding:0.5em; color:rgb(0,0,0)">define(<span class="string" style="color:rgb(136,0,0)">'PRICE'</span>, <span class="number" style="color:rgb(0,136,0)">30</span>);</code>

之前，我一直把define和C中的宏定义理解一致，因此在使用的时候也只是将其当成简单地字符替换。后来研究了PHP内核以后，发现PHP中的常量和宏定义完全不是一回事。

在PHP脚本运行的过程中，zend引擎会维护一个常量列表，对于普通用户来说，可以对这个常量列表进行CRUD操作，api分别为

define()：定义一个常量

defined(): 判断一个常量是否存在

constant(): 得到一个常量的值

我们来看下PHP内核中常量的定义

<code style="font-size:14px; line-height:1.3em; border-left-width:4px; border-left-style:solid; border-left-color:rgb(0,136,0); display:block; padding:0.5em; color:rgb(0,0,0)"><span class="keyword" style="font-weight:bold">typedef</span> <span class="keyword" style="font-weight:bold">struct</span> _zend_constant{
zval value;
<span class="keyword" style="font-weight:bold">int</span> flags;
<span class="keyword" style="font-weight:bold">char</span> *name;
uint name_len;
<span class="keyword" style="font-weight:bold">int</span> module_number;} _zend_constant;</code>

其中value为普通的变量结构zval，在此基础上，常量还定义了标记，常量名和模块号三个属性。

1. 标记(flags)

首先看常量的标记属性flag，目前可供选择的几个可能值分别为

用户态（可通过define方法的第三个参数赋值）：

1: case sensitive

0: case insensitive

内核态：

CONST_PERSISTANT: persistent

CONST_CT_SUBST: allow compile-time substitution

用户定义的常量的标记默认为case sensitive, 也可通过define函数的第三个参数进行修改。对于内核态标记，CONST_PERSISTANT代表这个常量在内存申请的时候需要持久化。

上图是PHP脚本运行的的生命周期，我们知道多个request共享一次MINIT和MSHUTDOWN过程，而每个request有自己的RINIT和RSHUTDOWN过程，因此在MINIT中初始化的变量会常驻内存当中。这样被标记为CONST_PERSISTANT的常量只会在MSHUTDOWN中才会被析构掉。这也就不难理解，在内核C代码中，一些字符串和数字作为代码的一部分也被定义为PHP内核中的常量，它们通常就会被标记为CONST_PERSISTENT常量。

而CONST_CT_SUBST目前在内核里只有5个（TRUE, FALSE, NULL, ZEND_THREAD_SAFE, ZEND_DEBUG_BUILD）,

2.模块号(module_number)

模块号同样分为用户态和内核态，确切的说，模块号就是用来做此区分的。用户定义的常量均为PHP_USER_CONSTANT, 除此以外，还有一些PHP内置的标准常量，例如E_ALL, E_WARNING等。在zend引擎启动以后，zend会进行标准常量的注册工作（zend_register_standard_constants()），一般来说，这些标准常量都被标记为持久化常量，即CONST_PERSISTENT

3. define()函数

define是PHP的内置接口，用户会通过define来定义常量，其实该方法过程如下

4. 魔术常量

PHP中还提供了一种魔术常量，他们的值是随着外部环境的变化而变化的，例如

__LINE__ 当前文件的行号

__FILE__ 文件的完整路径

这些魔术常量不是真正的常量(_zend_constants)，PHP内核在此法解析的时候就会将其替换掉。

最后附上define的源码（在Zend/zend_builtin_functions.c中）：

<code style="font-size:14px; line-height:1.3em; border-left-width:4px; border-left-style:solid; border-left-color:rgb(0,136,0); display:block; padding:0.5em; color:rgb(0,0,0)"><span class="comment" style="color:rgb(136,136,136)">/* {{{ proto bool define(string constant_name, mixed value, boolean case_insensitive=false)   Define a new constant */</span>ZEND_FUNCTION(define){
<span class="keyword" style="font-weight:bold">char</span> *name;
<span class="keyword" style="font-weight:bold">int</span> name_len;
zval *val;
zval *val_free = NULL;
zend_bool non_cs = <span class="number" style="color:rgb(0,136,0)">0</span>;
<span class="keyword" style="font-weight:bold">int</span> case_sensitive = CONST_CS;
zend_constant c;
<span class="keyword" style="font-weight:bold">if</span> (zend_parse_parameters(ZEND_NUM_ARGS() TSRMLS_CC, <span class="string" style="color:rgb(136,0,0)">"sz|b"</span>, &name, &name_len, &val, &non_cs) == FAILURE) {
<span class="keyword" style="font-weight:bold">return</span>;
}
<span class="keyword" style="font-weight:bold">if</span>(non_cs) {
case_sensitive = <span class="number" style="color:rgb(0,136,0)">0</span>;
}
<span class="comment" style="color:rgb(136,136,136)">/* class constant, check if there is name and make sure class is valid & exists */</span>
<span class="keyword" style="font-weight:bold">if</span> (zend_memnstr(name, <span class="string" style="color:rgb(136,0,0)">"::"</span>, <span class="keyword" style="font-weight:bold">sizeof</span>(<span class="string" style="color:rgb(136,0,0)">"::"</span>) - <span class="number" style="color:rgb(0,136,0)">1</span>, name + name_len)) {
zend_error(E_WARNING, <span class="string" style="color:rgb(136,0,0)">"Class constants cannot be defined or redefined"</span>);
RETURN_FALSE;
}repeat:
<span class="keyword" style="font-weight:bold">switch</span> (Z_TYPE_P(val)) {
<span class="keyword" style="font-weight:bold">case</span> IS_LONG:
<span class="keyword" style="font-weight:bold">case</span> IS_DOUBLE:
<span class="keyword" style="font-weight:bold">case</span> IS_STRING:
<span class="keyword" style="font-weight:bold">case</span> IS_BOOL:
<span class="keyword" style="font-weight:bold">case</span> IS_RESOURCE:
<span class="keyword" style="font-weight:bold">case</span> IS_NULL:
<span class="keyword" style="font-weight:bold">break</span>;
<span class="keyword" style="font-weight:bold">case</span> IS_OBJECT:
<span class="keyword" style="font-weight:bold">if</span> (!val_free) {
<span class="keyword" style="font-weight:bold">if</span> (Z_OBJ_HT_P(val)->get) {
val_free = val = Z_OBJ_HT_P(val)->get(val TSRMLS_CC);
<span class="keyword" style="font-weight:bold">goto</span> repeat;
} <span class="keyword" style="font-weight:bold">else</span> <span class="keyword" style="font-weight:bold">if</span> (Z_OBJ_HT_P(val)->cast_object) {
ALLOC_INIT_ZVAL(val_free);
<span class="keyword" style="font-weight:bold">if</span> (Z_OBJ_HT_P(val)->cast_object(val, val_free, IS_STRING TSRMLS_CC) == SUCCESS) {
val = val_free;
<span class="keyword" style="font-weight:bold">break</span>;
}
}
}
<span class="comment" style="color:rgb(136,136,136)">/* no break */</span>
<span class="keyword" style="font-weight:bold">default</span>:
zend_error(E_WARNING,<span class="string" style="color:rgb(136,0,0)">"Constants may only evaluate to scalar values"</span>);
<span class="keyword" style="font-weight:bold">if</span> (val_free) {
zval_ptr_dtor(&val_free);
}
RETURN_FALSE;
}
c.value = *val;
zval_copy_ctor(&c.value);
<span class="keyword" style="font-weight:bold">if</span> (val_free) {
zval_ptr_dtor(&val_free);
}
c.flags = case_sensitive; <span class="comment" style="color:rgb(136,136,136)">/* non persistent */</span>
c.name = IS_INTERNED(name) ? name : zend_strndup(name, name_len);
<span class="keyword" style="font-weight:bold">if</span>(c.name == NULL) {
RETURN_FALSE;
}
c.name_len = name_len+<span class="number" style="color:rgb(0,136,0)">1</span>;
c.module_number = PHP_USER_CONSTANT;
<span class="keyword" style="font-weight:bold">if</span> (zend_register_constant(&c TSRMLS_CC) == SUCCESS) {
RETURN_TRUE;
} <span class="keyword" style="font-weight:bold">else</span> {
RETURN_FALSE;
}}<span class="comment" style="color:rgb(136,136,136)">/* }}} */</span></code>