Принцип подстановки Барбары Лисков

<?php
class Car {
    public array $properties = [];
    public string $type;

    public function __construct(string $type) {
        $this->type = $type;
    }
}

class PetrolCar extends Car {}

$car = new Car("SUV");
$car->properties = [
    "Color" => "Red",
    "Gear" => "Auto",
    "Capacity" => 6
];

$petrol_car = new PetrolCar("Sedan");
$petrol_car->properties = ["Blue", "Manual", 4];

$cars = [$car, $petrol_car];

function find_red_cars($cars) {
    $red_cars = 0;
    foreach ($cars as $car) {
        if ($car->properties['Color'] === "Red") {
            $red_cars += 1;
        }
    }
    echo 'Number of Red Cars = ' . $red_cars;
}

find_red_cars($cars);

<?php
class Car {
    protected array $properties = [];
    public string $type;

    public function __construct(string $type) {
        $this->type = $type;
    }

    public function set_properties(string $color, string $gear, int $capacity) {
        $this->properties['Color'] = $color;
        $this->properties['Gear'] = $gear;
        $this->properties['Capacity'] = $capacity;
    }

    public function get_properties() {
        return $this->properties;
    }
}

class PetrolCar extends Car {}

$car = new Car("SUV");
$car->set_properties("Red", "Auto", 6);

$petrol_car = new PetrolCar("Sedan");
$petrol_car->set_properties("Blue", "Manual", 4);

$cars = [$car, $petrol_car];

function find_red_cars($cars) {
    $red_cars = 0;
    foreach ($cars as $car) {
        if ($car->get_properties()['Color'] === "Red") {
            $red_cars += 1;
        }
    }
    echo 'Number of Red Cars = ' . $red_cars;
}

find_red_cars($cars);

<?php
// Нарушение LSP — Penguin нельзя подставить вместо Bird
class Bird {
    public function fly(): string {
        return "Лечу!";
    }
}

class Sparrow extends Bird {
    public function fly(): string {
        return "Воробей летит";
    }
}

class Penguin extends Bird {
    public function fly(): string {
        throw new \RuntimeException("Пингвины не летают!");
    }
}

function make_birds_fly(array $birds): void {
    foreach ($birds as $bird) {
        echo $bird->fly() . PHP_EOL;
    }
}

// Вызов
$birds = [new Sparrow(), new Penguin()];
make_birds_fly($birds); // упадёт на Penguin

<?php
// Нарушение LSP
class Rectangle {
    public function __construct(
        protected float $width,
        protected float $height
    ) {}

    public function set_width(float $width): void { $this->width = $width; }
    public function set_height(float $height): void { $this->height = $height; }

    public function area(): float {
        return $this->width * $this->height;
    }
}

class Square extends Rectangle {
    public function set_width(float $width): void {
        $this->width = $width;
        $this->height = $width; // нарушает инвариант Rectangle
    }

    public function set_height(float $height): void {
        $this->width = $height;
        $this->height = $height; // нарушает инвариант Rectangle
    }
}

function print_area(Rectangle $rect): void {
    $rect->set_width(5);
    $rect->set_height(10);
    echo "Площадь: " . $rect->area() . PHP_EOL; // ожидаем 50
}

// Вызов
print_area(new Rectangle(2, 3)); // Площадь: 50
print_area(new Square(2, 2));    // Площадь: 100 — неожиданный результат!

<?php
// Нарушение LSP — подкласс меняет контракт метода
class FileReader {
    public function read(string $path): string {
        return "Содержимое файла: {$path}";
    }
}

class NetworkFileReader extends FileReader {
    public function __construct(private bool $available) {}

    public function read(string $path): ?string { // нарушение: может вернуть null
        if (!$this->available) {
            return null; // вызывающий код не ожидает null
        }
        return "Содержимое по сети: {$path}";
    }
}

function process(FileReader $reader, string $path): void {
    $content = $reader->read($path);
    echo strtoupper($content) . PHP_EOL; // упадёт, если content === null
}

// Вызов
process(new FileReader(), "local.txt");
process(new NetworkFileReader(false), "remote.txt"); // TypeError

<?php
// Нарушение LSP
class UserAccount {
    public function __construct(public readonly string $name) {}

    public function get_discount(): float {
        return 0.10;
    }
}

class PremiumAccount extends UserAccount {
    public function get_discount(): float {
        return 0.25;
    }
}

class GuestAccount extends UserAccount {
    public function get_discount(): float {
        throw new \RuntimeException("Гостям скидки недоступны!");
    }
}

function print_discounts(array $accounts): void {
    foreach ($accounts as $acc) {
        echo "{$acc->name}: скидка " . ($acc->get_discount() * 100) . "%" . PHP_EOL;
    }
}

// Вызов
$accounts = [new UserAccount("Анна"), new PremiumAccount("Иван"), new GuestAccount("Гость")];
print_discounts($accounts); // упадёт на GuestAccount

<?php
// Нарушение LSP — подкласс сужает контракт базового класса
class Storage {
    public function read(string $key): string {
        return "Данные по ключу {$key}";
    }

    public function write(string $key, string $value): void {
        echo "Запись: {$key} = {$value}" . PHP_EOL;
    }
}

class ReadOnlyStorage extends Storage {
    public function write(string $key, string $value): void {
        throw new \RuntimeException("Хранилище доступно только для чтения!");
    }
}

function save_data(Storage $storage, string $key, string $value): void {
    $storage->write($key, $value);
    echo $storage->read($key) . PHP_EOL;
}

// Вызов
save_data(new Storage(), "user", "Алексей");
save_data(new ReadOnlyStorage(), "user", "Алексей"); // RuntimeException