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

<!-- EN-Revision: f908fff129bcd8ec1605658e06457cb04e5b2b51 Maintainer: sergey Status: ready -->

<!-- Reviewed: no -->

<sect1 xml:id="language.types.type-system">

<title>Система типов</title>

<para>

Язык PHP использует систему номинальных типов с сильным отношением поведенческого подтипирования.

PHP проверяет отношение подтипов во время компиляции,

тогда как контроль типов язык выполняет динамически во время выполнения.

</para>

<para>

Система типов данных в PHP поддерживает атомарные типы,

которые разрешено объединять, чтобы создавать сложные типы.

Часть этих типов допустимо записывать

в <link linkend="language.types.declarations">объявлениях типов</link>.

</para>

<sect2 xml:id="language.types.type-system.atomic">

<title>Атомарные типы</title>

<para>

Отдельные атомарные типы — встроенные типы,

которые тесно интегрированы с языком и которые невозможно воспроизвести

пользовательским определением типов.

</para>

<para>

Список базовых типов:

<itemizedlist>

<listitem>

<simpara>Встроенные типы</simpara>

<itemizedlist>

<listitem>

<simpara>

Скалярные типы:

</simpara>

<itemizedlist>

<listitem>

<simpara><type>bool</type></simpara>

</listitem>

<listitem>

<simpara><type>int</type></simpara>

</listitem>

<listitem>

<simpara><type>float</type></simpara>

</listitem>

<listitem>

<simpara><type>string</type></simpara>

</listitem>

</itemizedlist>

</listitem>

<listitem>

<simpara><type>array</type></simpara>

</listitem>

<listitem>

<simpara><type>object</type></simpara>

</listitem>

<listitem>

<simpara><type>resource</type></simpara>

</listitem>

<listitem>

<simpara><type>never</type></simpara>

</listitem>

<listitem>

<simpara><type>void</type></simpara>

</listitem>

<listitem>

<simpara>

«<link linkend="language.types.relative-class-types">Относительные типы классов</link>»:

<type>self</type>, <type>parent</type> и <type>static</type>

</simpara>

</listitem>

<listitem>

<simpara>

<link linkend="language.types.singleton">Одноэлементные типы</link>

</simpara>

<itemizedlist>

<listitem>

<simpara><type>false</type></simpara>

</listitem>

<listitem>

<simpara><type>true</type></simpara>

</listitem>

</itemizedlist>

</listitem>

<listitem>

<simpara>

Объединение типов

</simpara>

<itemizedlist>

<listitem>

<simpara><type>null</type></simpara>

</listitem>

</itemizedlist>

</listitem>

</itemizedlist>

</listitem>

<listitem>

<simpara>

Определяемые пользователем типы (часто называемые класс-типами)

</simpara>

<itemizedlist>

<listitem>

<simpara><link linkend="language.oop5.interfaces">Интерфейсы</link></simpara>

</listitem>

<listitem>

<simpara><link linkend="language.oop5.basic.class">Классы</link></simpara>

</listitem>

<listitem>

<simpara><link linkend="language.types.enumerations">Перечисления</link></simpara>

</listitem>

</itemizedlist>

</listitem>

<listitem>

<simpara><type>callable</type></simpara>

</listitem>

</itemizedlist>

</para>

<sect3 xml:id="language.types.type-system.atomic.scalar">

<title>Скалярные типы</title>

<simpara>

PHP считает значение скалярным, если значение принадлежит типу <type>int</type>,

<type>float</type>, <type>string</type> или <type>bool</type>.

</simpara>

</sect3>

<sect3 xml:id="language.types.type-system.atomic.user-defined">

<title>Пользовательские типы</title>

<simpara>

Язык разрешает определять пользовательские типы данных через

<link linkend="language.oop5.interfaces">интерфейсы</link>,

<link linkend="language.oop5.basic.class">классы</link>

и <link linkend="language.types.enumerations">перечисления</link>.

PHP рассматривает пользовательские типы как типы классов.

Приведём пример. Язык разрешает определить класс с названием <literal>Elephant</literal>,

затем создать объект с типом <literal>Elephant</literal>,

а потом определить функцию с параметром, который ждёт аргумент с типом <literal>Elephant</literal>.

</simpara>

</sect3>

</sect2>

<sect2 xml:id="language.types.type-system.composite">

<title>Составные типы</title>

<para>

Возможно объединение нескольких атомарных типов в составные типы.

PHP разрешает объединять типы следующими способами:

</para>

<itemizedlist>

<listitem>

<simpara>

Пересечение класс-типов (интерфейсов и названий классов).

</simpara>

</listitem>

<listitem>

<simpara>

Объединение типов.

</simpara>

</listitem>

</itemizedlist>

<sect3 xml:id="language.types.type-system.composite.intersection">

<title>Пересечение типов</title>

<para>

Пересечение типов принимает значения, которые удовлетворяют не одному,

а одновременно нескольким объявлениям класс-типов.

Отдельные пересекающиеся типы соединяются символом <literal>&amp;</literal>.

Поэтому пересечение типов <literal>T</literal>, <literal>U</literal> и <literal>V</literal>

записывает как <literal>T&amp;U&amp;V</literal>.

</para>

</sect3>

<sect3 xml:id="language.types.type-system.composite.union">

<title>Объединение типов</title>

<para>

Объединение типов принимает значения нескольких отличающихся типов, а не одного.

Отдельные объединяемые типы соединяются символом <literal>|</literal>.

Поэтому объединение типов <literal>T</literal>, <literal>U</literal> и <literal>V</literal>,

будет записано как <literal>T|U|V</literal>.

Если при объединении типов добавляют пересечение типов,

то пересечение типов берут в скобки для записи

в дизъюнктивной нормальной форме (DNF): <literal>T|(X&amp;Y)</literal>.

</para>

</sect3>

</sect2>

<sect2 xml:id="language.types.type-system.alias">

<title>Псевдонимы типов</title>

<para>

PHP поддерживает два псевдонима типов: <type>mixed</type> и

<type>iterable</type>, которые соответствуют (в том же порядке)

<link linkend="language.types.type-system.composite.union">объединению типов</link>

<literal>object|resource|array|string|float|int|bool|null</literal>

и <literal>Traversable|array</literal>.

</para>

<note>

<simpara>

PHP не поддерживает определяемые пользователем псевдонимы типов.

</simpara>

</note>

</sect2>

</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

-->