array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'es', ), 'this' => array ( 0 => 'language.types.never.php', 1 => 'Never', 2 => 'Never', ), 'up' => array ( 0 => 'language.types.php', 1 => 'Los tipos', ), 'prev' => array ( 0 => 'language.types.void.php', 1 => 'Void', ), 'next' => array ( 0 => 'language.types.relative-class-types.php', 1 => 'Tipos de clases relativas', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'es', '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 es únicamente un tipo de retorno que indica que la función no se termina. Esto significa que llama a exit(), lanza una excepción, o es un bucle infinito. Por lo tanto, no puede formar parte de una declaración de type union Disponible a partir de PHP 8.1.0.

never es, en el lenguaje de la teoría de tipos, el tipo vacío. Esto significa que es el subtipo de todos los otros tipos y que puede reemplazar cualquier otro tipo de retorno durante la herencia.