Opcodeها
PHP Manual

CAST

کد PHP

<?php
/*
 * casts value1 as type value2 (?? Not certain about arguments ??)
 * opcode number: 21
 */
echo (int)1;
?>

opcodeهای PHP

نام تابع: (null)

متغیر ترجمه شده: none

line#op fetchextreturn operands
60 CAST   ~0 1
 1 ECHO     ~0
72 RETURN     1

Opcodeها
PHP Manual