PHP moderno soporta declaraciones de tipo en parámetros de función, valores de retorno y propiedades de clase — y declare(strict_types=1) para aplicarlas de manera estricta. Juntas aportan gran parte de la seguridad de lenguajes tipados estáticamente a PHP, detectando errores tempranamente.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Puedes tipificar parámetros, valores de retorno y propiedades de clase. Los tipos incluyen escalares (int, float, string, bool), clases/interfaces, array, ?Type (nullable) y void.
function process(int|string $id): User|null { } // union type — int OR string
function handle(Countable&Iterator $x): void { } // intersection (PHP 8.1) — BOTH
function get(): static { } // return the called class's type
function nothing(): never { } // never returns (throws/exits, PHP 8.1)
PHP 8 añadió tipos union (int|string), tipos intersection y tipos de retorno especiales (static, never).
<?php
declare(strict_types=1); // MUST be the first statement in the file
function add(int $a, int $b): int { return $a + $b; }
add(5, 3); // ✅ 8
add("5", 3); // ❌ TypeError — strict_types REJECTS the string (no coercion)
WITHOUT strict_types (default "coercive" mode):
add("5", 3) → "5" is silently coerced to int 5 → returns 8 (lenient, can hide bugs)
WITH strict_types=1:
add("5", 3) → TypeError immediately (must pass the exact declared type)
declare(strict_types=1) cambia de coerción indulgente a aplicación estricta — PHP rechaza desajustes de tipo en lugar de convertirlos silenciosamente. Esto detecta errores que la coerción ocultaría.
Las declaraciones de tipo y los tipos estrictos son importantes para escribir PHP moderno robusto y mantenible, y representan una evolución mayor del lenguaje más allá de sus orígenes débilmente tipados.
Las declaraciones de tipo en parámetros, retornos y propiedades hacen el código autodocumentado (las firmas declaran claramente las expectativas) y permiten que PHP detecte errores de tipo automáticamente, mientras que las adiciones modernas (tipos union, tipos nullable) hacen las firmas precisas.
La práctica más importante es declare(strict_types=1): cambia PHP de coerción indulgente (donde "5" se convierte silenciosamente en 5, potencialmente ocultando errores) a aplicación estricta (rechazando tipos desajustados con un claro TypeError) — una herramienta clave para detectar errores tempranamente y escribir código confiable, y el estándar moderno recomendado.
Comprender las declaraciones de tipo y usar tipos estrictos es conocimiento profesional, cotidiano para el desarrollo moderno de PHP — aporta gran parte de la seguridad de lenguajes tipados estáticamente a PHP, haciendo el código más robusto y fácil de mantener.
Ya que los frameworks PHP modernos y las bases de código bien escritas usan tipificación extensivamente (y tipos estrictos en todas partes), dominar esto es esencial para escribir y trabajar con PHP contemporáneo de calidad, distinguiendo código moderno type-safe del estilo débilmente tipado propenso a errores del PHP antiguo.