PHP内核--静态变量,常量,魔术常量原理

2024-05-01 23:08

本文主要是介绍PHP内核--静态变量,常量,魔术常量原理,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

本篇通过PHP源码,从结构入手来对静态变量,常量,魔术常量进行分析。

1.静态变量
我们都知道,静态变量是在PHP脚本载入时就加载了,即1.不用new其对象就可以直接调用,2.并且静态变量存储在公共区域同一类的多个对象共同操作一个静态变量,3.静态变量只有在脚本结束后内存才会释放,针对这三个问题,想问一句,为什么?

下边展开叙述
先看其结构,更好进行分析了解。
静态变量是存储在函数结构体_zend_execute_data 中的,
而这个结构体中,有两个很关键的结构体,op_array和 symbol_table
1.*symbol_table 存放此类里边的各种变量等,每次new对象时,会开辟新的环境空间,详见PHP内核--浅谈PHP灵魂HashTble事例二,
2.函数编译后的opcode存储在*op_array;结构中,存储的也就是这个函数的逻辑,每次new对象时,公用一个空间逻辑,不会自己在独立开辟环境空间【很关键,实现静态根本原因】
Zend/zend_compiles.h 384行,执行环境结构体
struct _zend_execute_data {struct _zend_op *opline;zend_function_state function_state;zend_op_array *op_array;//!!!!!函数编译后的执行逻辑,编译后的opcode二进制代码,称为op_array,公用一个逻辑zval *object;HashTable *symbol_table;//!!!!!此函数的符号表地址,每次new会开辟一个新的空间《---------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;  struct _zend_op *fast_ret; /* used by FAST_CALL/FAST_RET (finally keyword) */call_slot *call_slots;call_slot *call;
};
Zend/zend_compiles.h 261行,op_array结构代码
struct _zend_op_array {/* Common elements */zend_uchar type;
...
/* static variables support */HashTable *static_variables;//294行 ,静态变量
...
}

举例:
t1() {
$a +=1 ;
static $b +=1;
t1();
t1();
} //加自身共调用3次
结果$a每回都是1,而$b = 1,2,3

原因如下:
三次调用函数开辟的符号表【3份
[t_3 execute_data] ---->[symbol_table_3]
[t_2 execute_data] ---->[symbol_table_2]
[t_1 execute_data] ---->[symbol_table_1]
*op_array->*静态变量表 【一份


结论
类的变量是存储在 *symbol_table中的,每个都有其作用域,每次实例化都会在开辟一个环境空间(详见Hashtable第二部分的举例);而静态变量不同,如代码所示,它存储在op_array里边,op_array是什么,编译生成的opcode代码,存储的是函数的逻辑,不管new多少个对象,这个逻辑是公用的,而静态变量也存储在这个结构中,所以实现了同一类的不同对象可以公用一个静态变量,也解释了在PHP层面,静态变量为什么不用new就直接调用。解释了问题一二,
因为静态变量存储在op_array里边,op_array是在脚本执行结束后释放,所以其也在这个时候释放.,解释问题三。

2.常量
首先看下常量与变量的区别,常量是在变量的zval结构的基础上添加了一额外的元素。如下所示为PHP中常量的内部结构。
常量的结构 (Zend/zend_constants.h文件的33行)
typedef struct _zend_constant {zval value; /* zval结构,PHP内部变量的存储结构 */char *name; /* 常量名称 */uint name_len;  int flags;  /* 常量的标记如 CONST_PERSISTENT | CONST_CS */int module_number;  /* 模块号 */
} zend_constant;
结构体如上,name,name_len一目了然,值得一提的是zval与变量中存储的zval结构一模一样,(详见PHP内核的存储机制(分离/改变))
主要解释下flagmodule_number
1.flags:
c.flags = case_sensitive / case insensitive ; //    1,0
  赋值给结构体字段是否开启大小写敏感
2.module_number:
1.PHP_USER_CONSTANT:用户定义的常量
(define函数定义的常量的模块编号都是)
2.REGISTER_MAIN_LONG_CONSTANT:PHP内置定义常量
  比如错误报告级别E_ALL, E_WARNING,PHP_VERSION等常量,都是持久化常量,最后才销毁

3.魔术常量
 说是常量,其实每次值在不同位置,可能是不相同的,原因是为什么呢?
PHP内核会在词法解析时将这些常量的内容赋值进行替换,而不是在运行时进行分析。 如下PHP代码:

以__FUNCTION__为例, 在Zend/zend_language_scanner.l文件中,__FUNCTION__是一个需要分析的元标记(token):

就是这里,当当前中间代码处于一个函数中时,则将当前函数名赋值给zendlval(也就是token T_FUNC_C的值内容), 如果没有,则将空字符串赋值给zendlval(因此在顶级作用域名中直接打印__FUNCTION__会输出空格)。 这个值在语法解析时会直接赋值给返回值。这样我们就在生成的中间代码中看到了这些常量的位置都已经赋值好了。
只要记住,上边代码实现的功能,将__FUNCTION__在词法分析时,转换成当时对应的值。
(php中有CG和EG两个宏,分别获取compile_global数据和excutor_global的数据,它们分别有各自的function_table和class_table,
另外php中的require是作为函数来执行的,因此这个时候需要知道EG和CG之间是如何转换的。)



这篇关于PHP内核--静态变量,常量,魔术常量原理的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/952893

相关文章

深入探索协同过滤:从原理到推荐模块案例

文章目录 前言一、协同过滤1. 基于用户的协同过滤(UserCF)2. 基于物品的协同过滤(ItemCF)3. 相似度计算方法 二、相似度计算方法1. 欧氏距离2. 皮尔逊相关系数3. 杰卡德相似系数4. 余弦相似度 三、推荐模块案例1.基于文章的协同过滤推荐功能2.基于用户的协同过滤推荐功能 前言     在信息过载的时代,推荐系统成为连接用户与内容的桥梁。本文聚焦于

变量与命名

引言         在前两个课时中,我们已经了解了 Python 程序的基本结构,学习了如何正确地使用缩进来组织代码,并且知道了注释的重要性。现在我们将进一步深入到 Python 编程的核心——变量与命名。变量是我们存储数据的主要方式,而合理的命名则有助于提高代码的可读性和可维护性。 变量的概念与使用         在 Python 中,变量是一种用来存储数据值的标识符。创建变量很简单,

hdu4407(容斥原理)

题意:给一串数字1,2,......n,两个操作:1、修改第k个数字,2、查询区间[l,r]中与n互质的数之和。 解题思路:咱一看,像线段树,但是如果用线段树做,那么每个区间一定要记录所有的素因子,这样会超内存。然后我就做不来了。后来看了题解,原来是用容斥原理来做的。还记得这道题目吗?求区间[1,r]中与p互质的数的个数,如果不会的话就先去做那题吧。现在这题是求区间[l,r]中与n互质的数的和

内核启动时减少log的方式

内核引导选项 内核引导选项大体上可以分为两类:一类与设备无关、另一类与设备有关。与设备有关的引导选项多如牛毛,需要你自己阅读内核中的相应驱动程序源码以获取其能够接受的引导选项。比如,如果你想知道可以向 AHA1542 SCSI 驱动程序传递哪些引导选项,那么就查看 drivers/scsi/aha1542.c 文件,一般在前面 100 行注释里就可以找到所接受的引导选项说明。大多数选项是通过"_

hdu4407容斥原理

题意: 有一个元素为 1~n 的数列{An},有2种操作(1000次): 1、求某段区间 [a,b] 中与 p 互质的数的和。 2、将数列中某个位置元素的值改变。 import java.io.BufferedInputStream;import java.io.BufferedReader;import java.io.IOException;import java.io.Inpu

hdu4059容斥原理

求1-n中与n互质的数的4次方之和 import java.io.BufferedInputStream;import java.io.BufferedReader;import java.io.IOException;import java.io.InputStream;import java.io.InputStreamReader;import java.io.PrintWrit

Thymeleaf:生成静态文件及异常处理java.lang.NoClassDefFoundError: ognl/PropertyAccessor

我们需要引入包: <dependency><groupId>org.springframework.boot</groupId><artifactId>spring-boot-starter-thymeleaf</artifactId></dependency><dependency><groupId>org.springframework</groupId><artifactId>sp

寻迹模块TCRT5000的应用原理和功能实现(基于STM32)

目录 概述 1 认识TCRT5000 1.1 模块介绍 1.2 电气特性 2 系统应用 2.1 系统架构 2.2 STM32Cube创建工程 3 功能实现 3.1 代码实现 3.2 源代码文件 4 功能测试 4.1 检测黑线状态 4.2 未检测黑线状态 概述 本文主要介绍TCRT5000模块的使用原理,包括该模块的硬件实现方式,电路实现原理,还使用STM32类

笔记整理—内核!启动!—kernel部分(2)从汇编阶段到start_kernel

kernel起始与ENTRY(stext),和uboot一样,都是从汇编阶段开始的,因为对于kernel而言,还没进行栈的维护,所以无法使用c语言。_HEAD定义了后面代码属于段名为.head .text的段。         内核起始部分代码被解压代码调用,前面关于uboot的文章中有提到过(eg:zImage)。uboot启动是无条件的,只要代码的位置对,上电就工作,kern