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

<?php
declare(strict_types=1);

abstract class Report
{
    public function title(): string { return 'Отчёт: ' . $this->format(); }
    abstract protected function format(): string;
}
class JsonReport extends Report
{
    protected function format(): string { return 'JSON'; }
}
echo (new JsonReport())->title(), "\n";

Отчёт: JSON

abstract class нельзя создать напрямую. Его обычный метод title уже имеет тело. abstract protected format объявляет обязательный внутренний шаг без тела; JsonReport предоставляет его. Во время title переменная $this остаётся тем же JsonReport.

<?php
declare(strict_types=1);

abstract class OrderReport
{
    final public function render(array $titles): string
    {
        if ($titles === []) {
            throw new InvalidArgumentException('Нет товаров для отчёта');
        }
        return $this->encode($titles);
    }
    abstract protected function encode(array $titles): string;
}
class JsonOrderReport extends OrderReport
{
    protected function encode(array $titles): string
    {
        return json_encode($titles, JSON_UNESCAPED_UNICODE | JSON_THROW_ON_ERROR);
    }
}
class TextOrderReport extends OrderReport
{
    protected function encode(array $titles): string
    {
        return implode(', ', $titles);
    }
}

$titles = ['Чай', 'Кофе'];
echo (new TextOrderReport())->render($titles), "\n";
echo (new JsonOrderReport())->render($titles), "\n";

Чай, Кофе
["Чай","Кофе"]

final у render не даёт потомку убрать общую проверку. encode — точка изменения; protected скрывает её от внешнего кода. implode соединяет элементы списка, json_encode формирует JSON. Вход этого маленького договора — уже проверенный список строк; произвольный импорт надо разобрать до render.

<?php
declare(strict_types=1);

abstract class OrderReport
{
    final public function render(array $titles): string
    {
        if ($titles === []) {
            throw new InvalidArgumentException('Нет товаров для отчёта');
        }
        return $this->encode($titles);
    }
    abstract protected function encode(array $titles): string;
}
class JsonOrderReport extends OrderReport
{
    protected function encode(array $titles): string
    {
        return json_encode($titles, JSON_UNESCAPED_UNICODE | JSON_THROW_ON_ERROR);
    }
}
class TextOrderReport extends OrderReport
{
    protected function encode(array $titles): string
    {
        return implode(', ', $titles);
    }
}

foreach ([new TextOrderReport(), new JsonOrderReport()] as $report) {
    try {
        echo $report->render([]), "\n";
    } catch (InvalidArgumentException $error) {
        echo $error->getMessage(), "\n";
    }
}

Нет товаров для отчёта
Нет товаров для отчёта

foreach последовательно берёт два готовых исполнителя. Пустой массив отклоняется до вызова encode, поэтому политика не расходится между форматами. В другом сервисе пустой отчёт может быть допустим — тогда меняют общее правило осознанно.

<?php
declare(strict_types=1);

abstract class PriceLabel
{
    abstract public int $amount { get; }

    public function label(): string
    {
        return 'Стоимость: ' . $this->amount;
    }
}

class BundlePrice extends PriceLabel
{
    public int $amount {
        get => $this->unitPrice * $this->count;
    }

    public function __construct(private int $unitPrice, private int $count) {}
}

echo (new BundlePrice(150, 3))->label(), "\n";

Стоимость: 450

Abstract перед свойством оставляет требование без реализации. Наследник завершает его конкретным get. Вызов label выполняет обычный метод родителя; чтение amount направляется в реализацию BundlePrice. Абстрактный класс сам создать через new нельзя.