array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'fr', ), 'this' => array ( 0 => 'language.types.never.php', 1 => 'Never', 2 => 'Never', ), 'up' => array ( 0 => 'language.types.php', 1 => 'Les types', ), 'prev' => array ( 0 => 'language.types.void.php', 1 => 'Void', ), 'next' => array ( 0 => 'language.types.relative-class-types.php', 1 => 'Types de classes relatives', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'fr', 'path' => 'language/types/never.xml', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

Never

never est uniquement un type de retour indiquant que la fonction ne se termine pas. Cela signifie qu'elle appelle exit(), lève une exception, ou est une boucle infinie. Elle ne peut donc pas faire partie d'une déclaration de type union. Disponible à partir de PHP 8.1.0.

never est, dans le langage de la théorie des types, le type vide. Cela signifie qu'il est le sous-type de tous les autres types et qu'il peut remplacer n'importe quel autre type de retour lors de l'héritage.