PHP: полный мануал с примерами, функциями и ООП

<?php
declare(strict_types=1);

class Delivery
{
    public function label(): string { return 'Доставка заказа'; }
}
class Pickup extends Delivery {}
$pickup = new Pickup();
echo $pickup->label(), "\n";

Доставка заказа

extends связывает дочерний Pickup с родительским Delivery. В Pickup нет собственного label, поэтому используется доступный метод родителя. Пустые фигурные скобки здесь означают отсутствие добавленных членов, а не отсутствие унаследованного поведения.

<?php
declare(strict_types=1);

class Delivery
{
    public function costKopecks(): int { return 30000; }
    public function label(): string { return 'Курьер'; }
}
class Pickup extends Delivery
{
    public function costKopecks(): int { return 0; }
    public function label(): string { return 'Самовывоз'; }
}

function deliveryLine(Delivery $delivery): string
{
    return $delivery->label() . ': ' . $delivery->costKopecks() . ' коп.';
}
echo deliveryLine(new Delivery()), "\n";
echo deliveryLine(new Pickup()), "\n";

Курьер: 30000 коп.
Самовывоз: 0 коп.

Параметр Delivery принимает и экземпляр потомка Pickup. Внутри функции не нужен if по имени класса: вызов попадает в реализацию самого объекта. Это подстановка, ради которой договор родителя нельзя неожиданно сужать.

<?php
declare(strict_types=1);

class Delivery
{
    public function costKopecks(): int { return 30000; }
    public function label(): string { return 'Курьер'; }
}
class Pickup extends Delivery
{
    public function costKopecks(): int { return 0; }
    public function label(): string { return 'Самовывоз'; }
}

$courier = new Delivery();
$pickup = new Pickup();
echo $courier->label(), ': ', $courier->costKopecks(), " коп.\n";
echo $pickup->label(), ': ', $pickup->costKopecks(), " коп.\n";

Курьер: 30000 коп.
Самовывоз: 0 коп.

Одинаковое имя метода в потомке задаёт его реализацию. Возвращаемый тип остался int, единицы — копейки, бесплатная доставка допустима. Если нужно дополнить, а не заменить поведение, parent::label() может явно вызвать родительский метод.

<?php
declare(strict_types=1);

class Delivery
{
    public function label(): string { return 'Доставка'; }
}
class Pickup extends Delivery
{
    public function label(): string { return 'Самовывоз'; }
}
class DeliveryFactory
{
    public function create(): Delivery { return new Delivery(); }
}
class PickupFactory extends DeliveryFactory
{
    public function create(): Pickup { return new Pickup(); }
}
function showDelivery(DeliveryFactory $factory): void
{
    echo $factory->create()->label(), "\n";
}
showDelivery(new PickupFactory());

Самовывоз

Вызывающему обещана Delivery; Pickup полностью удовлетворяет этому обещанию. Поэтому результат разрешено уточнить. Обратная замена Pickup на произвольную Delivery могла бы лишить вызывающего нужных возможностей.

<?php
declare(strict_types=1);

class Delivery
{
    public function label(): string { return 'Доставка'; }
}
class Pickup extends Delivery
{
    #[Override]
    public function label(): string { return 'Самовывоз'; }
}
echo (new Pickup())->label(), "\n";

Самовывоз

#[Override] — встроенный атрибут: PHP проверяет, что метод действительно переопределяет родительский или реализует интерфейсный метод. При случайном имени lable загрузка объявления завершится ошибкой. Сам атрибут не меняет алгоритм. PHP 8.5 расширяет применение Override на свойства; детали — в справочнике атрибутов.

<?php
declare(strict_types=1);

class Document
{
    public function __construct(public string $number) {}
}

class Invoice extends Document {}

interface HasDocument
{
    public Document $document { get; }
}

class InvoiceCard implements HasDocument
{
    public function __construct(public Invoice $document) {}
}

function printNumber(HasDocument $card): void
{
    echo $card->document->number, "\n";
}

printNumber(new InvoiceCard(new Invoice('INV-42')));

INV-42

Читающий код требует Document и получает его допустимого потомка Invoice. Само поле InvoiceCard остаётся и читаемым, и записываемым, поэтому дальше в его наследниках тип этого поля нельзя свободно менять. Особое правило относится к удовлетворению get-only договора.

<?php
declare(strict_types=1);

class ReportConfiguration
{
    final public string $format = 'csv';
}

class LocalReportConfiguration extends ReportConfiguration {}

$settings = new LocalReportConfiguration();
$settings->format = 'json';
echo $settings->format, "\n";
$property = new ReflectionProperty(ReportConfiguration::class, 'format');
echo $property->isFinal() ? "Объявление защищено от переопределения\n" : "Объявление открыто\n";

json
Объявление защищено от переопределения

Значение поменялось обычной разрешённой записью. Попытка объявить format заново в LocalReportConfiguration была бы ошибкой совместимости при составлении класса. Reflection здесь лишь подтверждает флаг объявления и не меняет объект.

<?php
declare(strict_types=1);

class StoredDocument
{
    public function __construct(public string $number) {}
}

class StoredInvoice extends StoredDocument {}

interface AcceptsInvoice
{
    public StoredInvoice $document { set; }
}

class DocumentInbox implements AcceptsInvoice
{
    private ?StoredDocument $last = null;

    public StoredDocument $document {
        set { $this->last = $value; }
    }

    public function lastNumber(): string { return $this->last?->number ?? 'Пусто'; }
}

function placeInvoice(AcceptsInvoice $inbox, StoredInvoice $invoice): void
{
    $inbox->document = $invoice;
}

$inbox = new DocumentInbox();
placeInvoice($inbox, new StoredInvoice('INV-42'));
echo $inbox->lastNumber(), "\n";
$inbox->document = new StoredDocument('DOC-7');
echo $inbox->lastNumber(), "\n";

INV-42
DOC-7

Интерфейс не обещает чтение document. Виртуальный set реализации сохраняет принятый документ в отдельном last. Вход расширен с StoredInvoice до StoredDocument; сам договор AcceptsInvoice по-прежнему описывает только обязательную возможность принять счёт.

<?php
declare(strict_types=1);

class FactoryReport
{
    public static function create(): static { return new static(); }
}

final class FinalCsvReport extends FactoryReport
{
    public static function create(): self { return new self(); }
}

final class FinalJsonReport extends FactoryReport
{
    public static function create(): FinalJsonReport { return new FinalJsonReport(); }
}

echo get_class(FinalCsvReport::create()), "\n";
echo get_class(FinalJsonReport::create()), "\n";

FinalCsvReport
FinalJsonReport

На PHP 8.4 это переопределение ещё нельзя считать совместимым. Если библиотека поддерживает 8.2–8.4, сохраните static в сигнатуре. Уберите final — и равенство возможных типов перестанет быть гарантировано; новая возможность 8.5 на такой класс не распространяется.