Теория: Код, который убивает полиморфизм

Формирование объектов

Посмотрите на функцию ниже и скажите, является ли она полиморфной?

<?php

function sayHiByEmail($user)
{
    $sender = new EmailSender();
    // Отправляем email пользователю
    $sender->send($user->getEmail(), 'hi!');
}

С одной стороны да, пользователь передаётся снаружи и у нас есть возможность его подменить, передав туда объект другого класса. С другой стороны, внутри функции явно используется класс EmailSender и его подменить не получится без переписывания самого кода.

Этот код демонстрирует простую, но важную идею. Полиморфизм подтипов возможен тогда, когда объект попадает в функцию снаружи, а не конструируется прямо внутри неё.

Проверка типов

Ещё один пример с подвохом. Есть ли полиморфизм в коде ниже?

<?php

function sayHi($user)
{
    if ($user instanceof User) {
      print_r("Hello, {$user}!");
    } elseif ($user instanceof Guest) {
      print_r('Hello, guest!');
    } else {
      print_r('Who you are?');
    }
}

В данном примере, вроде бы, всё нормально, объект передаётся снаружи, но есть одна загвоздка. Внутри функции явно проверяется тип, а это значит, что поведение определяется не типом, а сама функция решает как себя вести. Более того, функция жёстко связана с теми типами, которые определены внутри неё и её придётся переписывать при их изменении. И как результат – отсутствие полиморфизма подтипов.

Проверка типа иногда встречается и её можно использовать к месту, чтобы не усложнять код, но чаще, она говорит о плохом дизайне. Такой код, можно сказать, не соответствует ООП в современном его понимании.

Для решения задачи выше, есть несколько подходов:

• Перенос логики внутрь самих классов. Тогда код функции превратится в такой: $user->sayHi(). С этим подходом нужно быть осторожным, так как легко получить божественный объект. Гораздо чаще нужно применять другой подход.

• Понадобится добавить новый интерфейс в виде методов isUser и isGuest.

  <?php
  
  function sayHi($user)
  {
      if ($user->isUser()) {
        print_r("Hello, {$user}!");
      } elseif ($user->isGuest()) {
        print_r('Hello, guest!');
      } else {
        print_r('Who you are?');
      }
  }

  Expand code

  И хотя кода меньше не стало, всё же это полиморфизм подтипов. Код завязан на методы, а не на типы. Изменение структуры классов не коснётся этой функции если сама логика останется той же.