Библиотека пхпшника | PHP, Laravel, Symfony, CodeIgniter: “🧑‍💻 Меньше параметров в дочернем методе? Да, если используется varia…”

🧑‍💻 Меньше параметров в дочернем методе? Да, если используется variadic

Не все знают, что начиная с PHP 8.0 дочерний метод может объявлять меньше именованных параметров, чем родительский. Это возможно, если несколько совместимых параметров заменяются одним variadic-параметром.

🅰️ Например:

class X
{
    public function foo(int $a, string $c, string ...$b): void {}
}

class Y extends X
{
    public function foo(int $a, string ...$b): void {}
}

Такой код полностью корректен. Значение, которое в родительском методе попадало в $c, в дочернем станет первым элементом $b.

➡️ Почему это работает? Потому что дочерний метод по-прежнему принимает все вызовы, допустимые для родительского:


$x->foo(1, 'A');
$x->foo(1, 'A', 'B', 'C');
А вот так уже нельзя:
class Y extends X
{
    public function foo(int $a, int ...$b): void {}
}

или


class Y extends X
{
    public function foo(int $a, string $c, string $d, string ...$b): void {}
}

В первом случае меняется тип параметров, во втором — дочерний метод начинает требовать больше обязательных аргументов. Оба варианта нарушают совместимость сигнатур.

💡 Главное правило простое: при переопределении метод должен принимать как минимум все вызовы, которые были допустимы для метода родительского класса.

Библиотека пхпшника