O PHP moderno suporta declarações de tipo em parâmetros de função, valores de retorno e propriedades de classe — e declare(strict_types=1) para aplicá-las estritamente. Juntos, trazem muita da segurança de linguagens estaticamente tipadas para o PHP, capturando bugs cedo.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Você pode tipar parâmetros, valores de retorno e propriedades de classe. Os tipos incluem escalares (int, float, string, bool), classes/interfaces, array, ?Type (anulável) e 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)
O PHP 8 adicionou tipos union (int|string), tipos intersection e tipos de retorno especiais (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) muda de coerção leniente para aplicação estrita — o PHP rejeita incompatibilidades de tipo em vez de convertê-las silenciosamente. Isso captura bugs que a coerção ocultaria.
Declarações de tipo e tipos estritos são importantes para escrever PHP moderno robusto e mantível, e representam uma evolução major da linguagem além de suas origens fracamente tipadas.
Declarações de tipo em parâmetros, retornos e propriedades tornam o código autodocumentado (assinaturas indicam claramente as expectativas) e permitem que o PHP capture erros de tipo automaticamente, enquanto adições modernas (tipos union, tipos anuláveis) tornam as assinaturas precisas.
A prática mais importante é declare(strict_types=1): ela muda o PHP de coerção leniente (onde "5" silenciosamente se torna 5, potencialmente ocultando bugs) para aplicação estrita (rejeitando tipos incompatíveis com um claro TypeError) — uma ferramenta-chave para capturar bugs cedo e escrever código confiável, e o padrão moderno recomendado.
Compreender declarações de tipo e usar tipos estritos é conhecimento profissional e cotidiano para desenvolvimento PHP moderno — traz muita da segurança de linguagens estaticamente tipadas para o PHP, tornando o código mais robusto e mais fácil de manter.
Como frameworks PHP modernos e codebases bem escritas usam tipagem extensivamente (e tipos estritos em toda parte), dominar isso é essencial para escrever e trabalhar com PHP contemporâneo de qualidade, distinguindo código moderno type-safe do estilo fracamente tipado propenso a erros do PHP mais antigo.