PHP内核研究 静态变量

静态变量

它可以是 静态全局变量,如果不调用unset,那么这个静态变量会一直存在,直到程序退出时才由Zend内存管理来释放

它可以是 静态局部变量:在函数里定义,函数执行完后,该静态变量不会消失

它可以是 静态成员变量:在类里定义,它可以在所有类的对象中共享

例如

1. <?php
2. function test(){
3. static $a=1;
4. $a++;
5. }
6. test(); //$a=2
7. test();//$a=3
8. test();//$a=4

最后 $a=4了..

下面我们从内核里面分析它

static不是一个函数 ,它是一个关键字 ,所以只能从LEX语法分析中来查找

打开 zend/zend_language_scanner.l 查找 static

找到代码

1. <ST_IN_SCRIPTING>"static" {
2. return T_STATIC;
3. }

是一个宏
再打开 zend/zend_language_pareser.l
搜 T_STATIC
找到代码

1. T_STATIC static_var_list ';'

跟进 static_var_list
找到代码

1. static_var_list:
2. static_var_list ',' T_VARIABLE { zend_do_fetch_static_variable(&$3, NULL, ZEND_FETCH_STATIC TSRMLS_CC); }
3. |       static_var_list ',' T_VARIABLE '=' static_scalar { zend_do_fetch_static_variable(&$3, &$5, ZEND_FETCH_STATIC TSRMLS_CC); }
4. |       T_VARIABLE  { zend_do_fetch_static_variable(&$1, NULL, ZEND_FETCH_STATIC TSRMLS_CC); }
5. |       T_VARIABLE '=' static_scalar { zend_do_fetch_static_variable(&$1, &$3, ZEND_FETCH_STATIC TSRMLS_CC); }
6. ;

就是这里了..它由PHP的语法分析程序 解析成上面的代码
zend_do_fetch_static_variable 这个函数就是了
它在zend/zend_compile.c里定义
代码如下

1. void zend_do_fetch_static_variable(znode *varname, const znode *static_assignment, int fetch_type TSRMLS_DC)
2. {
3. zval *tmp;  //一个临时变量
4. zend_op *opline;
5. znode lval;
6. znode result;
7. ALLOC_ZVAL(tmp); //申请一块内存
8. if (static_assignment) {
9. *tmp = static_assignment->u.constant;
10. } else {
11. INIT_ZVAL(*tmp);
12. }
13. if (!CG(active_op_array)->static_variables) {//初始化静态变量的HASH 键值
14. ALLOC_HASHTABLE(CG(active_op_array)->static_variables);
15. //初始化HASH值
16. zend_hash_init(CG(active_op_array)->static_variables, 2, NULL, ZVAL_PTR_DTOR, 0);
17. }
18. zend_hash_update(CG(active_op_array)->static_variables, varname->u.constant.value.str.val, varname->u.constant.value.str.len+1, &tmp, sizeof(zval *), NULL);
19. if (varname->op_type == IS_CONST) {
20. if (Z_TYPE(varname->u.constant) != IS_STRING) {
21. convert_to_string(&varname->u.constant);
22. }
23. }
24. opline = get_next_op(CG(active_op_array) TSRMLS_CC);
25. opline->result.op_type = IS_VAR;
26. opline->result.u.EA.type = 0;
27. opline->result.u.var = get_temporary_variable(CG(active_op_array));
28. opline->op1 = *varname;
29. SET_UNUSED(opline->op2);
30. opline->op2.u.EA.type = ZEND_FETCH_STATIC;
31. result = opline->result;
32. if (varname->op_type == IS_CONST) {
33. zval_copy_ctor(&varname->u.constant);
34. }
35. fetch_simple_variable(&lval, varname, 0 TSRMLS_CC); /* Relies on the fact that the default fetch is BP_VAR_W */
36. if (fetch_type == ZEND_FETCH_LEXICAL) {
37. znode dummy;
38. zend_do_begin_variable_parse(TSRMLS_C);
39. zend_do_assign(&dummy, &lval, &result TSRMLS_CC);
40. zend_do_free(&dummy TSRMLS_CC);
41. } else {
42. zend_do_assign_ref(NULL, &lval, &result TSRMLS_CC);
43. }
44. CG(active_op_array)->opcodes[CG(active_op_array)->last-1].result.u.EA.type |= EXT_TYPE_UNUSED;
45. /*      zval_dtor(&varname->u.constant); */
46. }