四川盐亭网站制作公司

变量改变时PHP内核做了哪些工作

本篇内容主要讲解“变量改变时PHP内核做了哪些工作”，感兴趣的朋友不妨来看看。本文介绍的方法操作简单快捷，实用性强。下面就让小编来带大家学习“变量改变时PHP内核做了哪些工作”吧!

创新互联建站从2013年成立，是专业互联网技术服务公司，拥有项目网站设计、做网站网站策划，项目实施与项目整合能力。我们以让每一个梦想脱颖而出为使命，1280元临淄做网站,已为上家服务,为临淄各地企业和个人服务,联系电话:13518219792

看下面的内容之前先对zval这个结构体做个了解

typedef struct _zval_struct {     zvalue_value value;     zend_uint refcount;     zend_uchar type;     zend_uchar is_ref; } zval;

zval结构体中共有4个元素，value是一个联合体，用来真正的存储zval的值，refcount用来计数该zval被多少个变量使用，type表示zval所存储的数据类型，is_ref用来标志该zval是否被引用。

引用计数

我们一起来剖析下上面这段代码：

  • $a = 'Hello World';首先这句代码被执行，内核创建一个变量，并分配12字节的内存去存储字符串'Hello World'和末尾的NULL。

  • $b = $a;接着执行这句代码，执行这句的时候内核里面发生了什么呢？

    • 对$a所指向的zval中的refcount进行加1操作。

    • 将变量$b指向$a所指向的zval。
      在内核中大概是这样的，其中active_symbol_table是当前的变量符号表


    1. { 

    2.     zval *helloval; 

    3.     MAKE_STD_ZVAL(helloval); 

    4.     ZVAL_STRING(helloval, "Hello World", 1); 

    5.     zend_hash_add(EG(active_symbol_table), "a", sizeof("a"), 

    6.                                         &helloval, sizeof(zval*), NULL); 

    7.     ZVAL_ADDREF(helloval); 

    8.     zend_hash_add(EG(active_symbol_table), "b", sizeof("b"), 

    9.                                         &helloval, sizeof(zval*), NULL); 

    10. } 

  • unset($a);这句代码执行后，内核会将a对应的zval结构体中的refcount计数减一，b还和原来一样

写时复制

上面这段代码执行完之后，一般肯定希望$a=1,$b=6,但是如果像引用计数那样，$a和$b指向相同的zval，修改$b之后$a不是也变了？
这个具体是怎么实现的呢，我们一起来看下：

  • $a = 1;内核创建一个zval，并分配4个字节存储数字1。

  • $b = $a;这一步和引用计数中的第二步一样，将$b指向和$a相同的zval，并将zval中的引用计数值refcount加1。

  • $b += 5;关键是这一步，这一步骤发生了什么呢，怎么确保修改之后不影响$a。

    • 其实Zend内核在改变zval之前都会去进行get_var_and_separete操作，如果recfount>1,就需要分离就创建新的zval返回，否则直接返回变量所指向的zval，下面看看如何分离产生新的zval。

    • 复制一个和$b所指向zval一样的zval。

    • 将$b所指向的zval中的refcount计数减1。

    • 初始化生成的新zval，设置refcount=1，is_ref=0。

    • 让$b指向新生成的zval。

    • 对新生成的zval进行操作，这就是写时复制。
      下面看看内核中分离时的主要代码：


    1. zval *get_var_and_separate(char *varname, int varname_len TSRMLS_DC) 

    2. { 

    3.     zval **varval, *varcopy; 

    4.     if (zend_hash_find(EG(active_symbol_table), 

    5.                     varname, varname_len + 1, (void**)&varval) == FAILURE) { 

    6.     /* Variable doesn't actually exist  fail out */ 

    7.     return NULL; 

    8. } 

    9. if ((*varval)->is_ref || (*varval)->refcount < 2) { 

    10.     /* varname is the only actual reference, 

    11.     * or it's a full reference to other variables 

    12.     * either way: no separating to be done 

    13.     */ 

    14.     return *varval; 

    15. } 

    16. /* Otherwise, make a copy of the zval* value */ 

    17. MAKE_STD_ZVAL(varcopy); 

    18. varcopy = *varval; 

    19. /* Duplicate any allocated structures within the zval* */ 

    20. zval_copy_ctor(varcopy); 

    21.  

    22. /* Remove the old version of varname 

    23. * This will decrease the refcount of varval in the process 

    24. */ 

    25. zend_hash_del(EG(active_symbol_table), varname, varname_len + 1); 

    26.  

    27. /* Initialize the reference count of the 

    28. * newly created value and attach it to 

    29. * the varname variable 

    30. */ 

    31. varcopy->refcount = 1; 

    32. varcopy->is_ref = 0; 

    33. zend_hash_add(EG(active_symbol_table), varname, varname_len + 1, 

    34.                                         &varcopy, sizeof(zval*), NULL); 

    35. /* Return the new zval* */ 

    36. return varcopy; 

    37. } 

写时改变

上面这段代码执行完之后一般希望是：$a == $b == 1。这个又是怎么实现的呢？

  • $a = 1;这一步骤和写时复制中的***步一样。

  • $b = &$a;这一步骤内核会将$b指向$a所指向的zval，将zval中的refcount加1，并将zval中的is_ref置为1。

  • $b += 5;这一步骤和写时复制中的第三步骤一样，但是内核中发生的事情却不一样。

    • 内核看到$b进行变化的时候，也会执行get_var_and_separate函数，看是否需要分离。

    • 如果(*varval)->is_ref的话也会直接返回$b所指向的zval，不去分离产生新的zval，不管zval的refcount是否>1。

    • 这时候再去修改$b值，$a的值也就改变了，因为他们指向相同的zval。

分离的问题

说道现在聪明的你可能已经看出点问题了，如果一个zval结构体既有refcount计数又有is_ref引用这个时候怎么办？

如果出现上面这种情况的时候，如果$a、$b、$c指向同一个zval结构体，进行改变的时候Zend到底去听谁的？其实这个地方不会指向同一个zval了。
如果对一个is_ref = 0 && refcount >1的zval进行写时改变这种赋值形式(就是引用赋值)的时候，Zend会将等号右边的变量分离出来一个新的zval，
对这个zval进行初始化，对之前的zval的refcount进行减1操作，让等号左边的变量指向这个新的zval，refcount进行加1操作，is_ref=1。看看下面这张图片

变量改变时PHP内核做了哪些工作

上面这又是另外一种情况，在is_ref = 1的情况下，试图单纯的进行refcount+1操作的时候会分离出来一个新的zval给等号左边的变量，并初始化他，看看下面这张图片

变量改变时PHP内核做了哪些工作

到此，相信大家对“变量改变时PHP内核做了哪些工作”有了更深的了解，不妨来实际操作一番吧！这里是创新互联网站，更多相关内容可以进入相关频道进行查询，关注我们，继续学习！


分享名称：变量改变时PHP内核做了哪些工作
标题网址：http://scyanting.com/article/pdsgii.html

其他资讯