Revelando o papel dos tipos estritos no PHP

O conceito de tipos estritos no PHP, introduzido na versão 7, atraiu a atenção dos desenvolvedores . Este artigo tem como objetivo desmistificar o propósito e o impacto dos tipos estritos, fornecendo uma compreensão abrangente de seus benefícios e utilidade.

O que são tipos estritos?

No PHP 7 e posteriormente, tipos escalares (int, float, string e bool) podem ser adicionados aos argumentos da função e aos valores de retorno, impondo uma verificação de tipo mais rigorosa. Ao habilitar requisitos estritos por meio da instrução declare(strict_types = 1), os desenvolvedores ganham maior controle sobre seu código e melhoram sua clareza.

Como funcionam os tipos estritos

Por padrão , o PHP converte automaticamente valores no tipo escalar esperado ao encontrar tipos incompatíveis. Por exemplo, se uma função requer um número inteiro, mas recebe uma string, o PHP converte a string em um número inteiro, se possível.

No entanto, com tipos estritos habilitados, o PHP não executará a coerção automática de tipos. Se a declaração de tipo de um parâmetro não corresponder ao valor real, uma exceção TypeError será lançada, a menos que o valor seja um número inteiro atribuído a um parâmetro float.

Benefícios de tipos estritos

A aplicação de tipos estritos traz vários benefícios:

• Verificação de tipo aprimorada: Evita digitação não intencional conversões, garantindo que variáveis ​​e argumentos de função sigam seus tipos declarados.
• Tratamento de erros aprimorado: TypeErrors são gerados quando os tipos são incompatíveis, facilitando a detecção precoce de possíveis problemas.
• Código de autodocumentação aprimorado: Com declarações de tipo explícitas, o código se torna mais informativo e mais fácil de entender, reduzindo a necessidade de informações adicionais comentários.

Implementação e exemplos

Para ativar tipos estritos para um arquivo inteiro, inclua a seguinte linha no início do script PHP:

declare(strict_types = 1);

Considere os exemplos a seguir para ilustrar o efeito de strict tipos:

Sem tipos estritos:

function addIntAndFloat($a, $b) : int
{
    return $a   $b;
}

$result = addIntAndFloat(1.4, '2');
echo $result; // Output: 3

Aqui, o PHP converte automaticamente o float 1.4 em um int 1 e a string '2' em um float 2.0, resultando em um valor int de 3.

Com tipos estritos:

declare(strict_types = 1);

function addIntAndFloat(int $a, float $b) : int
{
    return $a   $b;
}

$result = addIntAndFloat(1.4, '2');

A ativação de tipos estritos aciona uma exceção TypeError, impedindo a execução do código. Isso demonstra a importância das declarações de tipo explícitas e de evitar conversões de tipo inesperadas.

Em resumo, tipos estritos em PHP impõem verificação de tipo estrita, promovendo a qualidade do código e reduzindo o risco de problemas causados ​​por conversões de tipo não intencionais. Ao compreender como funcionam os tipos estritos e seus benefícios, os desenvolvedores podem tomar decisões informadas e aproveitá-las para melhorar a robustez e a capacidade de manutenção de seu código.