<?xml version="1.0" encoding="utf-8"?>

<!-- EN-Revision: 161dde4fe721309398dd324edbf02aec409f127b Maintainer: mowangjuanzi Status: ready -->

<sect1 xml:id="language.types.never">

<title>Never</title>

<para>

<type>never</type> 是仅用于返回的类型，表示函数不会终止。这意味着它要么调用

<function>exit</function>，要么抛出异常，要么无限循环。因此，它不能是<link

linkend="language.types.type-system.composite.union">联合类型</link>声明的一部分。自

PHP 8.1.0 起可用。

</para>

<para>

<type>never</type> 是类型理论中的最底层类型。这意味着它是其它所有类型的子类型，并在可以在继承期间替换其它任何返回类型。

</para>

</sect1>

<!-- Keep this comment at the end of the file

Local variables:

mode: sgml

sgml-omittag:t

sgml-shorttag:t

sgml-minimize-attributes:nil

sgml-always-quote-attributes:t

sgml-indent-step:1

sgml-indent-data:t

indent-tabs-mode:nil

sgml-parent-document:nil

sgml-default-dtd-file:"~/.phpdoc/manual.ced"

sgml-exposed-tags:nil

sgml-local-catalogs:nil

sgml-local-ecat-files:nil

End:

vim600: syn=xml fen fdm=syntax fdl=2 si

vim: et tw=78 syn=sgml

vi: ts=1 sw=1

-->