<?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.type-system.php',
    1 => '类型系统',
    2 => '类型系统',
  ),
  'up' => 
  array (
    0 => 'language.types.php',
    1 => '类型',
  ),
  'prev' => 
  array (
    0 => 'language.types.intro.php',
    1 => '简介',
  ),
  'next' => 
  array (
    0 => 'language.types.null.php',
    1 => 'NULL',
  ),
  'alternatives' => 
  array (
  ),
  'source' => 
  array (
    'lang' => 'zh',
    'path' => 'language/types/type-system.xml',
  ),
  'history' => 
  array (
  ),
);
$setup["toc"] = $TOC;
$setup["toc_deprecated"] = $TOC_DEPRECATED;
$setup["parents"] = $PARENTS;
manual_setup($setup);

contributors($setup);

?>
<div id="language.types.type-system" class="sect1">
 <h2 class="title">类型系统</h2>

 <p class="para">
  PHP 采用名义类型系统，并具有强行为的子类型关系。子类型关系在编译时检查，而类型验证则在运行时动态进行。
 </p>

 <p class="para">
  PHP 的类型系统支持各种原子类型，可以组合在一起创建更加复杂的类型。其中一些类型可以写成<a href="language.types.declarations.php" class="link">类型声明</a>。
 </p>

 <div class="sect2" id="language.types.type-system.atomic">
  <h3 class="title">原子类型</h3>
  <p class="para">
   一些原子类型是内置类型，跟语言紧密集成，不能用用户定义类型重现（reproduced）。
  </p>

  <p class="para">
   基础类型列表是：
   <ul class="itemizedlist">
    <li class="listitem">
     <span class="simpara">内置类型</span>
     <ul class="itemizedlist">
      <li class="listitem">
       <span class="simpara">
        标量类型：
       </span>
       <ul class="itemizedlist">
        <li class="listitem">
         <span class="simpara"><span class="type"><a href="language.types.boolean.php" class="type bool">bool</a></span> 类型</span>
        </li>
        <li class="listitem">
         <span class="simpara"><span class="type"><a href="language.types.integer.php" class="type int">int</a></span> 类型</span>
        </li>
        <li class="listitem">
         <span class="simpara"><span class="type"><a href="language.types.float.php" class="type float">float</a></span> 类型</span>
        </li>
        <li class="listitem">
         <span class="simpara"><span class="type"><a href="language.types.string.php" class="type string">string</a></span> 类型</span>
        </li>
       </ul>
      </li>
      <li class="listitem">
       <span class="simpara"><span class="type"><a href="language.types.array.php" class="type array">array</a></span> 类型</span>
      </li>
      <li class="listitem">
       <span class="simpara"><span class="type"><a href="language.types.object.php" class="type object">object</a></span> 类型</span>
      </li>
      <li class="listitem">
       <span class="simpara"><span class="type"><a href="language.types.resource.php" class="type resource">resource</a></span> 类型</span>
      </li>
      <li class="listitem">
       <span class="simpara"><span class="type"><a href="language.types.never.php" class="type never">never</a></span> 类型</span>
      </li>
      <li class="listitem">
       <span class="simpara"><span class="type"><span class="type"><a href="language.types.void.php" class="type void">void</a></span></span> 类型</span>
      </li>
      <li class="listitem">
       <span class="simpara">
        <a href="language.types.relative-class-types.php" class="link">相对类类型</a>：<span class="type">self</span>、<span class="type">parent</span>
        和 <span class="type">static</span>
       </span>
      </li>
      <li class="listitem">
       <span class="simpara">
        <a href="language.types.singleton.php" class="link">单例类型</a>
       </span>
       <ul class="itemizedlist">
        <li class="listitem">
         <span class="simpara"><span class="type"><a href="language.types.singleton.php" class="type false">false</a></span></span>
        </li>
        <li class="listitem">
         <span class="simpara"><span class="type"><a href="language.types.singleton.php" class="type true">true</a></span></span>
        </li>
       </ul>
      </li>
      <li class="listitem">
       <span class="simpara">
        单值类型
       </span>
       <ul class="itemizedlist">
        <li class="listitem">
         <span class="simpara"><span class="type"><a href="language.types.null.php" class="type null">null</a></span></span>
        </li>
       </ul>
      </li>
     </ul>
    </li>
    <li class="listitem">
     <span class="simpara">
      用户定义的类型（通常称为类类型）
     </span>
     <ul class="itemizedlist">
      <li class="listitem">
       <span class="simpara"><a href="language.oop5.interfaces.php" class="link">接口</a></span>
      </li>
      <li class="listitem">
       <span class="simpara"><a href="language.oop5.basic.php#language.oop5.basic.class" class="link">类</a></span>
      </li>
      <li class="listitem">
       <span class="simpara"><a href="language.types.enumerations.php" class="link">枚举</a></span>
      </li>
     </ul>
    </li>
    <li class="listitem">
     <span class="simpara"><span class="type"><a href="language.types.callable.php" class="type callable">callable</a></span> 类型</span>
    </li>
   </ul>
  </p>

  <div class="sect3" id="language.types.type-system.atomic.scalar">
   <h4 class="title">标量类型</h4>
   <p class="simpara">
    如果值是 <span class="type"><a href="language.types.integer.php" class="type int">int</a></span>、<span class="type"><a href="language.types.float.php" class="type float">float</a></span>、<span class="type"><a href="language.types.string.php" class="type string">string</a></span> 或 <span class="type"><a href="language.types.boolean.php" class="type bool">bool</a></span> 类型，则视该值为标量。
   </p>
  </div>

  <div class="sect3" id="language.types.type-system.atomic.user-defined">
   <h4 class="title">用户定义类型</h4>
   <p class="simpara">
    可以使用 <a href="language.oop5.interfaces.php" class="link">interface</a>、<a href="language.oop5.basic.php#language.oop5.basic.class" class="link">类</a>和<a href="language.types.enumerations.php" class="link">枚举</a>定义自定义类型。这些被视为用户定义类型或类类型。例如，可以定义名为
     <code class="literal">Elephant</code> 的类，然后可以实例化 <code class="literal">Elephant</code> 类型的对象，并且函数可以请求 <code class="literal">Elephant</code> 类型的参数。
   </p>
  </div>
 </div>

 <div class="sect2" id="language.types.type-system.composite">
  <h3 class="title">复合类型</h3>
  <p class="para">
   可以将多个原子类型组合为复合类型。PHP 允许使用以下方式组合类型：
  </p>

  <ul class="itemizedlist">
   <li class="listitem">
    <span class="simpara">
     类类型（接口和类名）的交集。
    </span>
   </li>
   <li class="listitem">
    <span class="simpara">
     类型联合。
    </span>
   </li>
  </ul>

  <div class="sect3" id="language.types.type-system.composite.intersection">
   <h4 class="title">交集类型</h4>
   <p class="para">
    交集类型接受满足多个类类型声明的值，而不是单个值。交集类型中的每个类型由 <code class="literal">&amp;</code>
    符号连接。因此，类型 <code class="literal">T</code>、<code class="literal">U</code> 和 <code class="literal">V</code>
    组成的交集类型将写成 <code class="literal">T&amp;U&amp;V</code>。
   </p>
  </div>

  <div class="sect3" id="language.types.type-system.composite.union">
   <h4 class="title">联合类型</h4>
   <p class="para">
    联合类型接受多个不同类型的值，而不是单个类型。联合类型中的每个类型由 <code class="literal">|</code>
    符号连接。因此类型 <code class="literal">T</code>、<code class="literal">U</code> 和 <code class="literal">V</code>
    的联合类型写成 <code class="literal">T|U|V</code>。如果其中一种类型是交集类型，需要使用括号括起来，在
    <abbr title="Disjunctive Normal Form">DNF</abbr> 中写成：<code class="literal">T|(X&amp;Y)</code>。
   </p>
  </div>
 </div>

 <div class="sect2" id="language.types.type-system.alias">
  <h3 class="title">类型别名</h3>

  <p class="para">
   PHP 支持两种类型别名 <span class="type"><a href="language.types.mixed.php" class="type mixed">mixed</a></span> 和 <span class="type"><a href="language.types.iterable.php" class="type iterable">iterable</a></span>，分别对应
   <code class="literal">object|resource|array|string|float|int|bool|null</code> 和
   <code class="literal">Traversable|array</code> 的<a href="language.types.type-system.php#language.types.type-system.composite.union" class="link">联合类型</a>。
  </p>

  <blockquote class="note"><p><strong class="note">注意</strong>: 
   <span class="simpara">
    PHP 不支持用户定义类型别名。
   </span>
  </p></blockquote>
 </div>

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