Opcode Descriptions and Examples
PHP 手册

CAST

PHP code

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

PHP opcodes

Function name: (null)

Compiled variables: none

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

Opcode Descriptions and Examples
PHP 手册