Le Type N’est Pas Toujours Retourné

<?php

class x implements y {
    function foo(): bool {
        throw new exception('Ah!');
    }
}

interface y {
    function foo(): bool;
}

?>

Une méthode peut afficher un type de retour sans jamais le retourner réellement. Cela se produit avec les exceptions, les erreurs, les yield et les boucles infinies. Le type ‘never’ serait peut-être un meilleur choix, si possible.

D’un autre côté, une fonction retournant ‘void’, c’est-à-dire ne retournant rien, ne devrait pas avoir d’instruction return, y compris celle implicite à la fin de la méthode.

See Also

• Déclarations de type (manuel PHP)
• Typed in interface, not available [Try me]

PHP Features

• type
• return-type
• never

Last updated: 11 October 2026