В этой статье мы посмотрим, что находится под капотом у PHP циклов, а точнее сравним их опкоды.
\nА вот начнём с самого НЕ часто используемого вида циклов
\n<?php\n\nfor ($i = 0; $i < 10; $i++) {\n}Для вытаскивания опкодов изначально хотел использовать расширение vld.\nНо как оказалось выводит оно не правильный опкод, по этому обойдёмся стандартными методами php 7.
\nСейчас приведу полный вывод (до оптимизации). В дальнейшем только те части, которые нас интересуют.
\n➜ ~ php -d opcache.opt_debug_level=0x10000 -d opcache.enable_cli=1 for.php\n\n$_main: ; (lines=7, args=0, vars=1, tmps=3)\n ; (before optimizer)\n ; /home/la/experiment/for.php:1-4\nL0 (3): ASSIGN CV0($i) int(0)\nL1 (3): JMP L4\nL2 (3): T2 = POST_INC CV0($i)\nL3 (3): FREE T2\nL4 (3): T3 = IS_SMALLER CV0($i) int(10)\nL5 (3): JMPNZ T3 L2\nL6 (4): RETURN int(1)Описание всех опкодов есть на офф сайте.
\nМои эксперименты происходят на версии 7.4.3
\nРазберём что происходит? На самом деле абсолютно ничего сверхестественного.\nПлотно разберём только первый цикл, остальные думаю будут понятно, в конце концов тут ничего сложного.
\nИтак, строка 0
\nL0: Присвоение в CV0 числа 0
\nТ.е. если бы мы написали в коде $i = 3, и $i была не первая переменная, а скажем вторая то строка в опкодах выглядела бы примерно так
L0 (3): ASSIGN CV1($i) int(3)L1: Прыжок (JMP) на строку 4 (L4)
\nL4: Переменная в CV0 меньше 10, если да то возвращает в T3 1 иначе 0
\nL5: А эта строка принимает то что возвратила предыдущая и если не 0 (JMPNZ, т.е jump if not zero) то прыжок на строку L2.
\nL2: POST_INC - INCрементируем то что лежит в CV0 и возвращаем в T2
\nL3: Так как не используем результат больше нигде, то освобождаем память выделенную для T2
\nДальше цикл повторяется, пока в строке L4 IS_SMALLER не вернёт 0. Как только это случится,
\nJPNNZ не отработает и мы просто переёдем на строку L6 c которой мы выйдем возвратив 1
Ничего сложного, правда?
\nДавайте теперь сравним с циклом while
\n<?php\n\n$i = 0;\nwhile ($i < 10) {\n $i++;\n}L0 (3): ASSIGN CV0($i) int(0)\nL1 (4): JMP L4\nL2 (5): T2 = POST_INC CV0($i)\nL3 (5): FREE T2\nL4 (4): T3 = IS_SMALLER CV0($i) int(2)\nL5 (4): JMPNZ T3 L2\nL6 (7): RETURN int(1)Выглядит знакомо? Да в точности так же!
\nЕдинственное, что можно заметить, это то что в скобках указаны другие строки. В варианте с for почти всё происходит в строке 3. Если бы в первом примере использовали цикл for так:
\n$i = 0;\nfor (; $i < 10; ) {\n $i++;\n}То по опкодам вы бы низачто не поняли, for это или while =) Он выглядел бы в точности так же как while.
\n<?php\n\n$i = 0;\ndo {\n $i++;\n} while($i < 10);L0 (3): ASSIGN CV0($i) int(0)\nL1 (5): T2 = POST_INC CV0($i)\nL2 (5): FREE T2\nL3 (6): T3 = IS_SMALLER CV0($i) int(10)\nL4 (6): JMPNZ T3 L1\nL5 (6): RETURN int(1)Обратите внимание, в этом варианте нет прыжка на условие, а сначала выполняется тело цикла, собственно как и должно быть) В остальном всё точно так же.
\nВ php 4 появился новый вид цикла, специально для переборки массива
\n<?php\n\n$i = [];\nforeach ($i as $value) {\n}Он конечно же сильно отличается
\nL0 (3): ASSIGN CV0($i) array(...)\nL1 (4): V3 = FE_RESET_R CV0($i) L4\nL2 (4): FE_FETCH_R V3 CV1($value) L4\nL3 (4): JMP L2\nL4 (4): FE_FREE V3\nL5 (5): RETURN int(1)\nLIVE RANGES:\n 3: L2 - L4 (loop)L1: создаём итератор V3 массива CV0. Если массив пуст, прыгаем на строку L4
\nL2: делаем шаг итерации итератора V3 извлекая значение в CV1. Если достигнули конец массива, прыгаем на строку L4
\nL3: Прыгаем на строку L2
\nЦикл будет повторяться пока в V3 есть что извлекать. Как только достигнем конец, прыгаем на L4
\nL4: Освобождаем V3
Это конечно не цикл.
\nК тому же так не следует делать, goto плохая практика в плане понимания кода в целом, но под капотом не сильно что меняется по сравнению с другими циклами.
\nДавайте сделаем подобие do-while
<?php\n\n$i = 0;\na:\n $i++;\nif ($i < 10) {\n goto a;\n}L0 (3): ASSIGN CV0($i) int(0)\nL1 (5): T2 = POST_INC CV0($i)\nL2 (5): FREE T2\nL3 (6): T3 = IS_SMALLER CV0($i) int(10)\nL4 (6): JMPZ T3 L6\nL5 (7): JMP L1\nL6 (8): RETURN int(1)По сравнению с опкодами do-while, различия в двух строках: L4 && L5
\nL4: Прыжок на L6 если в T3 ноль
\nL5: Безусловный переход на L1
Это почти всё, что я хотел сказать о циклах. Но пока мы ещё не закончили, давайте рассмотрим оптимизированную версию нашего цикла на do-while и goto
\nТ.е если в статье мы рассматривали опкод до оптимизации (Магическое число 0x10000 в opcache.opt_debug_level первого примера - это в \"переводе\" \"До оптимизации\") мы видили коды операций в том виде, в каком они были созданы компилятором PHP. Сейчас же мы рассмотрим код после оптимизации (0x20000)
do-while
\nL0 (3): ASSIGN CV0($i) int(0)\nL1 (5): PRE_INC CV0($i)\nL2 (6): T1 = IS_SMALLER CV0($i) int(10)\nL3 (6): JMPNZ T1 L1\nL4 (6): RETURN int(1)goto
\nL0 (3): ASSIGN CV0($i) int(0)\nL1 (5): PRE_INC CV0($i)\nL2 (6): T1 = IS_SMALLER CV0($i) int(10)\nL3 (6): JMPNZ T1 L1\nL4 (8): RETURN int(1)Можете не искать отличия, они одинаковы)
\nРазница с неоптимизированым кодом, в обоих случаях POST_INC заменили на PRE_INC,\nчто дало возможность отказаться от выделения памяти под результат и последующего высвобождения её.
\nИ в случае с goto инструкции JMPZ T3 L6 и JMP L1 превратились в JMPNZ T1 L1
На этом всё! Если заметили ошибку или неточности, не стесняйтесь писать мне на почту
","excerpt":"В этой статье мы посмотрим, что находится под капотом у PHP циклов, а точнее сравним их опкоды. А вот начнём с самого НЕ часто используемого…"}},"pageContext":{"isCreatedByStatefulCreatePages":false,"type":"posts","next":{"frontmatter":{"path":"/specified-key-was-too-long-max-key-length-is-767-bytes/","title":"Specified key was too long; max key length is 767 bytes","tags":["Laravel"]},"fileAbsolutePath":"/srv/www/softroot.ru/src/posts/2018-02-02-specified-key-was-too-long-max-key-length-is-767-bytes.md"},"previous":{"frontmatter":{"path":"/bolshaia-knigha-pro-vas-i-vashiegho-riebionka/","title":"Большая книга про вас и вашего ребёнка","tags":["Я читаю"]},"fileAbsolutePath":"/srv/www/softroot.ru/src/posts/2018-02-03-bolshaia-knigha-pro-vas-i-vashiegho-riebionka.md"}}}