<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$TOC_DEPRECATED = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/language.types.inc";
$setup = array (
  'home' => 
  array (
    0 => 'index.php',
    1 => 'PHP Manual',
  ),
  'head' => 
  array (
    0 => 'UTF-8',
    1 => 'zh',
  ),
  'this' => 
  array (
    0 => 'language.types.never.php',
    1 => 'Never',
    2 => 'Never',
  ),
  'up' => 
  array (
    0 => 'language.types.php',
    1 => '类型',
  ),
  'prev' => 
  array (
    0 => 'language.types.void.php',
    1 => 'Void',
  ),
  'next' => 
  array (
    0 => 'language.types.relative-class-types.php',
    1 => '相对类类型',
  ),
  'alternatives' => 
  array (
  ),
  'source' => 
  array (
    'lang' => 'zh',
    'path' => 'language/types/never.xml',
  ),
  'history' => 
  array (
  ),
);
$setup["toc"] = $TOC;
$setup["toc_deprecated"] = $TOC_DEPRECATED;
$setup["parents"] = $PARENTS;
manual_setup($setup);

contributors($setup);

?>
<div id="language.types.never" class="sect1">
 <h2 class="title">Never</h2>

 <p class="para">
  <span class="type"><a href="language.types.never.php" class="type never">never</a></span> 是仅用于返回的类型，表示函数不会终止。这意味着它要么调用
  <span class="function"><a href="function.exit.php" class="function">exit()</a></span>，要么抛出异常，要么无限循环。因此，它不能是<a href="language.types.type-system.php#language.types.type-system.composite.union" class="link">联合类型</a>声明的一部分。自
  PHP 8.1.0 起可用。
 </p>
 <p class="para">
  <span class="type"><a href="language.types.never.php" class="type never">never</a></span> 是类型理论中的最底层类型。这意味着它是其它所有类型的子类型，并在可以在继承期间替换其它任何返回类型。
 </p>

</div><?php manual_footer($setup); ?>