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

相关文章

IDEA编译报错“java: 常量字符串过长”的原因及解决方法

《IDEA编译报错“java:常量字符串过长”的原因及解决方法》今天在开发过程中,由于尝试将一个文件的Base64字符串设置为常量,结果导致IDEA编译的时候出现了如下报错java:常量字符串过长,... 目录一、问题描述二、问题原因2.1 理论角度2.2 源码角度三、解决方案解决方案①:StringBui

MySQL中的MVCC底层原理解读

《MySQL中的MVCC底层原理解读》本文详细介绍了MySQL中的多版本并发控制(MVCC)机制,包括版本链、ReadView以及在不同事务隔离级别下MVCC的工作原理,通过一个具体的示例演示了在可重... 目录简介ReadView版本链演示过程总结简介MVCC(Multi-Version Concurr

解读静态资源访问static-locations和static-path-pattern

《解读静态资源访问static-locations和static-path-pattern》本文主要介绍了SpringBoot中静态资源的配置和访问方式,包括静态资源的默认前缀、默认地址、目录结构、访... 目录静态资源访问static-locations和static-path-pattern静态资源配置

浅析Rust多线程中如何安全的使用变量

《浅析Rust多线程中如何安全的使用变量》这篇文章主要为大家详细介绍了Rust如何在线程的闭包中安全的使用变量,包括共享变量和修改变量,文中的示例代码讲解详细,有需要的小伙伴可以参考下... 目录1. 向线程传递变量2. 多线程共享变量引用3. 多线程中修改变量4. 总结在Rust语言中,一个既引人入胜又可

Redis主从/哨兵机制原理分析

《Redis主从/哨兵机制原理分析》本文介绍了Redis的主从复制和哨兵机制,主从复制实现了数据的热备份和负载均衡,而哨兵机制可以监控Redis集群,实现自动故障转移,哨兵机制通过监控、下线、选举和故... 目录一、主从复制1.1 什么是主从复制1.2 主从复制的作用1.3 主从复制原理1.3.1 全量复制

Redis主从复制的原理分析

《Redis主从复制的原理分析》Redis主从复制通过将数据镜像到多个从节点,实现高可用性和扩展性,主从复制包括初次全量同步和增量同步两个阶段,为优化复制性能,可以采用AOF持久化、调整复制超时时间、... 目录Redis主从复制的原理主从复制概述配置主从复制数据同步过程复制一致性与延迟故障转移机制监控与维

SpringCloud配置动态更新原理解析

《SpringCloud配置动态更新原理解析》在微服务架构的浩瀚星海中,服务配置的动态更新如同魔法一般,能够让应用在不重启的情况下,实时响应配置的变更,SpringCloud作为微服务架构中的佼佼者,... 目录一、SpringBoot、Cloud配置的读取二、SpringCloud配置动态刷新三、更新@R

Linux内核之内核裁剪详解

《Linux内核之内核裁剪详解》Linux内核裁剪是通过移除不必要的功能和模块,调整配置参数来优化内核,以满足特定需求,裁剪的方法包括使用配置选项、模块化设计和优化配置参数,图形裁剪工具如makeme... 目录简介一、 裁剪的原因二、裁剪的方法三、图形裁剪工具四、操作说明五、make menuconfig

Redis主从复制实现原理分析

《Redis主从复制实现原理分析》Redis主从复制通过Sync和CommandPropagate阶段实现数据同步,2.8版本后引入Psync指令,根据复制偏移量进行全量或部分同步,优化了数据传输效率... 目录Redis主DodMIK从复制实现原理实现原理Psync: 2.8版本后总结Redis主从复制实

如何安装HWE内核? Ubuntu安装hwe内核解决硬件太新的问题

《如何安装HWE内核?Ubuntu安装hwe内核解决硬件太新的问题》今天的主角就是hwe内核(hardwareenablementkernel),一般安装的Ubuntu都是初始内核,不能很好地支... 对于追求系统稳定性,又想充分利用最新硬件特性的 Ubuntu 用户来说,HWEXBQgUbdlna(Har