type-system.xml

<?xml version="1.0" encoding="utf-8"?>
<!-- EN-Revision: f908fff129bcd8ec1605658e06457cb04e5b2b51 Maintainer: web-svb Status: wip -->
<sect1 xml:id="language.types.type-system">
    <title>Система типів</title>

    <para>
        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>
                Значення вважається скалярним, якщо воно має тип <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>.
                Вони вважаються користувацькими типами, або класовими типами.
                Наприклад, можна визначити клас із назвою <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>.
                Якщо одним із компонентів є тип перетину, його беруть у дужки,
                щоб записати у диз'юнктивній нормальній формі <acronym>DNF</acronym>:
                <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
        -->