Система типів — PHP Manual

PHP використовує номінальну систему типів (nominal type system) із сильним відношенням поведінкового підтипування (behavioral subtyping). Відношення підтипування перевіряється під час компіляції, тоді як перевірка самих типів відбувається динамічно під час виконання.

Система типів PHP підтримує різні атомарні типи, які можна поєднувати між собою, щоб утворювати складніші типи. Деякі з цих типів можна записувати як оголошення типів (type declarations).

Атомарні типи

Частина атомарних типів — це вбудовані типи, які тісно інтегровані з мовою і які неможливо відтворити типами, визначеними користувачем.

Перелік базових типів:

• Вбудовані типи
  • Скалярні типи:
    • тип bool
    • тип int
    • тип float
    • тип string
  • тип array
  • тип object
  • тип resource
  • тип never
  • тип void
  • Відносні типи класів (relative class types): self, parent і static
  • Одноелементні типи (singleton types)
    • false
    • true
  • Одиничні типи (unit types)
    • null
• Типи, визначені користувачем (зазвичай їх називають класовими типами, class-types)
  • Інтерфейси
  • Класи
  • Переліки (enum)
• тип callable

Скалярні типи

Значення вважається скалярним, якщо воно має тип int, float, string або bool.

Типи, визначені користувачем

Власні типи можна визначати за допомогою інтерфейсів, класів і переліків (enum). Такі типи вважаються визначеними користувачем, або класовими типами. Наприклад, можна визначити клас під назвою Elephant, потім створювати обʼєкти типу Elephant, а функція може вимагати параметр типу Elephant.

Складені типи

Кілька атомарних типів можна поєднувати у складені типи. PHP дозволяє комбінувати типи такими способами:

• Перетин класових типів (інтерфейсів і назв класів).
• Обʼєднання типів.

Типи-перетини

Тип-перетин (intersection type) приймає значення, які задовольняють кілька оголошень класових типів, а не одне. Окремі типи, що утворюють тип-перетин, зʼєднуються символом &. Отже, тип-перетин, складений із типів T, U і V, записується як T&U&V.

Типи-обʼєднання

Тип-обʼєднання (union type) приймає значення кількох різних типів, а не одного. Окремі типи, що утворюють тип-обʼєднання, зʼєднуються символом |. Отже, тип-обʼєднання, складений із типів T, U і V, записується як T|U|V. Якщо один із типів є типом-перетином, його потрібно взяти в круглі дужки, щоб запис був у формі DNF: T|(X&Y).

Псевдоніми типів

PHP підтримує два псевдоніми типів: mixed та iterable, які відповідають типу-обʼєднанню object|resource|array|string|float|int|bool|null і Traversable|array відповідно.

PHP не підтримує псевдоніми типів, визначені користувачем.