mirror of
https://github.com/php/doc-ja.git
synced 2026-03-24 07:02:08 +01:00
44 lines
1.4 KiB
XML
44 lines
1.4 KiB
XML
<?xml version="1.0" encoding="utf-8"?>
|
|
<!-- $Revision$ -->
|
|
<!-- EN-Revision: 161dde4fe721309398dd324edbf02aec409f127b Maintainer: mumumu 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">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
|
|
-->
|