array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'es', ), 'this' => array ( 0 => 'language.types.type-system.php', 1 => 'Sistema de tipos', 2 => 'Sistema de tipos', ), 'up' => array ( 0 => 'language.types.php', 1 => 'Los tipos', ), 'prev' => array ( 0 => 'language.types.intro.php', 1 => 'Introducción', ), 'next' => array ( 0 => 'language.types.null.php', 1 => 'NULL', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'es', 'path' => 'language/types/type-system.xml', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

Sistema de tipos

PHP utiliza un sistema de tipos nominal con una fuerte relación de subtipado comportamental. La relación de subtipado se verifica en la compilación, mientras que la verificación de tipos se verifica dinámicamente en el momento de la ejecución.

El sistema de tipos de PHP soporta varios tipos atómicos que pueden ser compuestos juntos para crear tipos más complejos. Algunos de estos tipos pueden ser escritos en forma de declaración de tipo.

Tipos atómicos

Algunos tipos atómicos son tipos que están estrechamente integrados en el lenguaje y no pueden ser reproducidos con tipos definidos por el usuario.

La lista de tipos básicos es la siguiente:

Tipos escalares

Un valor se considera escalar si es de tipo int, float, string o bool.

Tipos definidos por el usuario

Es posible definir tipos personalizados con interfaces, clases y enumeraciones. Estos se consideran tipos definidos por el usuario, o tipos de clase. Por ejemplo, una clase llamada Elephant puede ser definida, luego objetos de tipo Elephant pueden ser instanciados, y una función puede requerir un argumento de tipo Elephant.

Tipos compuestos

Es posible combinar varios tipos atómicos en tipos compuestos. PHP permite combinar los tipos de la siguiente manera:

Intersección de tipos

Un tipo de intersección acepta valores que satisfacen varias declaraciones de tipo de clase, en lugar de una sola. Los tipos individuales que forman el tipo de intersección están unidos por el símbolo &. Por lo tanto, un tipo de intersección compuesto por los tipos T, U y V se escribe T&U&V.

Tipos de unión

Un tipo de unión acepta valores de varios tipos diferentes, en lugar de uno solo. Los tipos individuales que forman el tipo de unión están unidos por el símbolo |. Por lo tanto, un tipo de unión compuesto por los tipos T, U y V se escribe T|U|V. Si uno de los tipos es un tipo de intersección, debe ser puesto entre paréntesis para ser escrito en DNF. T|(X&Y).

Alias de tipo

PHP soporta dos alias de tipo: mixed y iterable que corresponde al tipo tipo de unión de object|resource|array|string|float|int|bool|null y Traversable|array respectivamente.

Nota: PHP no soporta alias de tipo definidos por el usuario.