ترتيب التقييم في PHP

^{ملاحظة المترجم. قدم نيكيتا بوبوف ولا يزال يقدم مساهمة كبيرة في تطوير لغة PHP. إنه يفهم الأجزاء الداخلية لمحرك PHP جيدًا وفي هذه المقالة يشرح بعض ميزات PHP من حيث ترتيب تقييم التعبير ، والتي ، ربما ، لا توجد بشكل خاص في أي مكان. يبلغ عمر هذه المقالة حوالي 7 سنوات ولم تفقد أهميتها عمليًا ، ومع ذلك ، من الصعب العثور عليها ، لأنها ليست في مدونة نيكيتا بوبوف ، ولكنها منشورة في جوهره على جيثب. أعتقد أنه سيكون من المفيد تقديمه إلى المجتمع باللغة الروسية.}

في مجتمع reddit المفضل لدي ، صادفت منشورًا يفاجأ فيه الناس بنتيجة الكود التالي:

<?php

$a = 1;
$c = $a + $a++;
var_dump($c); // int(3)

$a = 1;
$c = $a + $a + $a++;
var_dump($c); // int(3)

كما ترون، وتعبيرات ($a + $a++)و ($a + $a + $a++)تعطي نفس النتيجة، وهي غير متوقع تماما. ماذا يحدث هنا؟

أسبقية العامل وترابطه

يعتقد الكثير من الناس أن الترتيب الذي يتم تقييم التعبير به يتم تحديده من خلال أسبقية وترابط المشغلين ، ولكن هذا ليس هو الحال. تحدد الأولوية والترابط فقط الترتيب الذي يتم فيه تجميع العمليات في تعبير.

في التعبير الأول ، $c = $a + $a++;بعد الزيادة "++" لها الأسبقية على "+" ، لذا فإن $ a ++ مجموعة منفصلة:

$c = $a + ($a++);

$c = $a + $a + $a++; - "++" , "+":

$c = $a + $a + ($a++);

"+" - , "+" :

$c = ($a + $a) + ($a++);

^{: , .}

? . , , . , , ($a + $a), ($a++) .

PHP . PHP , — . , - .

CV

-, , PHP , , ( PHP).

(compiled variables, CV), PHP 5.1. (, $a, $a->b $a['b']) . — , PHP , Zend VM ( Zend). 2 .

, .

$a + $a + $a++:

// code:
$a = 1;
$c = ($a + $a) + ($a++);

// opcodes:
         ASSIGN   $a, 1
$tmp_1 = ADD      $a, $a
$tmp_2 = POST_INC $a
$tmp_3 = ADD      $tmp_1, $tmp_2
         ASSIGN   $c, $tmp_3

:

• $a = 1,
• — $a + $a $tmp_1,
• - $a $tmp_2,
• , , $c.

( $a + $a, $a++), , , .

$a + $a++:

// code:
$a = 1;
$c = $a + ($a++);

// opcodes:
         ASSIGN   $a, 1
$tmp_1 = POST_INC $a
$tmp_2 = ADD      $a, $tmp_1
         ASSIGN   $c, $tmp_2

, POST_INC ($a++) , $a ADD. ? . . CV .

CV

^{: , CV - @. PHP 5.x, PHP 7 . , PHP 5 , , - - CV CV.}

<?php

$a = 1;
@ $c = $a + $a++;
var_dump($c); // int(2)

         ASSIGN        $a, 1
$tmp_1 = BEGIN_SILENCE
$var_3 = FETCH_R       'a'
$tmp_4 = POST_INC      $a
$tmp_5 = ADD           $var_3, $tmp_4
$var_2 = FETCH_W       'c'
         ASSIGN        $var_2, $tmp_5
         END_SILENCE   $tmp_1

CV , , .

. $a + $a++, :

<?php

$a = [1];
$c = $a[0] + $a[0]++;
var_dump($c); // int(2)

, , 3 2. , :

         ASSIGN        $a, [1]
$tmp_3 = FETCH_DIM_R   'a', 0
$var_4 = FETCH_DIM_RW  'a', 0
$tmp_5 = POST_INC      $var_4
$tmp_6 = ADD           $tmp_3, $tmp_5
         ASSIGN        $c, $tmp_6

, FETCH_DIM_R ( ) FETCH_DIM_RW ( /) .

, , , .

, . 3v4l.org.

- , :

1. . .
2. يقوم المشغل @بتعطيل تحسين السيرة الذاتية ويقلل من الأداء نتيجة لذلك. المشغل ، من @حيث المبدأ ، سيء للأداء.

~ نيكيك

^{ملاحظة المترجم: كما هو مذكور أعلاه ، فإنه @يعطل تحسينات السيرة الذاتية فقط في 5.x ، في PHP 7 يتم إجراء تحسينات السيرة الذاتية حتى إذا تم استخدام عامل قمع الخطأ (ولكن ربما لا يحدث هذا في جميع الحالات). لدى Nikita Popov منشور مدونة مثير للاهتمام ، Static Optimization في PHP 7 ، في حالة رغبة شخص ما في التعمق في موضوع التحسين.}