Как работают наследование, абстрактные классы и интерфейсы?

Question

Accepted Answer

PHP поддерживает наследование и абстракцию в ООП через три связанных механизма: **наследование классов** (`extends`), **абстрактные классы** (частичные базовые классы) и **интерфейсы** (контракты). Каждый служит своей цели проектирования.

## Наследование — расширение родительского класса

```php
<?php
class Animal {
    public function __construct(protected string $name) {}
    public function eat(): string { return "{$this->name} eats"; }
}

class Dog extends Animal {              // Dog inherits Animal's members
    public function bark(): string { return "Woof"; }
    public function eat(): string {     // override
        return parent::eat() . " noisily";   // parent:: calls the superclass method
    }
}
```

Подкласс `extends` родительский класс, унаследовав и опционально переопределив его члены. `parent::` вызывает переопределённый метод родителя. PHP поддерживает **одиночное наследование** (только один родитель).

## Абстрактные классы — частичная база (не может быть инстанцирована)

```php
abstract class Shape {
    abstract public function area(): float;     // abstract — subclasses MUST implement
    public function describe(): string {         // concrete — shared implementation
        return "Area: " . $this->area();
    }
}
class Circle extends Shape {
    public function __construct(private float $r) {}
    public function area(): float { return 3.14159 * $this->r ** 2; }   // must implement
}
// new Shape();  // ❌ error — abstract classes can't be instantiated
```

**Абстрактный класс** объединяет абстрактные методы (подклассы должны их реализовать) с конкретным общим кодом — базой, которую нельзя инстанцировать напрямую.

## Интерфейсы — чистые контракты (допускается множественное применение)

```php
interface Drawable {
    public function draw(): void;       // only signatures — no implementation
}
interface Serializable {
    public function serialize(): string;
}

class Widget implements Drawable, Serializable {   // implement MULTIPLE interfaces
    public function draw(): void { /* ... */ }
    public function serialize(): string { return "..."; }
}
```

**Интерфейс** определяет контракт (сигнатуры методов, без реализации). Класс может `implement` **много** интерфейсов — это способ PHP обойти одиночное наследование при совместном использовании возможностей.

## Когда использовать что

```text
extends (inheritance) → "is-a" relationship, reuse + override behavior
abstract class → a base with SHARED code + methods subclasses must implement (single)
interface → a CONTRACT/capability multiple unrelated classes can fulfill (multiple)
→ "Program to an interface" — depend on interfaces for flexible, testable designs.
```

## Почему это важно

Наследование, абстрактные классы и интерфейсы — это основные инструменты ООП, и понимание различий между ними важно для разработки хорошо структурированных PHP-приложений (а также для работы с фреймворками, которые активно используют эти механизмы). **Наследование** (`extends`) обеспечивает переиспользование кода через отношения "является" (is-a), но PHP позволяет только одиночное наследование. **Абстрактные классы** предоставляют общую базу как с реализованным кодом, так и с методами, которые подклассы должны определить — хорошо подходят для тесно связанных классов, которые совместно используют логику. **Интерфейсы** определяют контракты/возможности, и важно, что класс может реализовать **много** из них — это делает интерфейсы ключом к гибким, слабо связанным проектам и ответом PHP на ограничение одиночного наследования.

Знание того, когда использовать каждый механизм (наследование для переиспользования is-a, абстрактные классы для общей частичной реализации, интерфейсы для контрактов/возможностей), и принцип **программирования для интерфейсов** (зависимость от абстракций для тестируемого, гибкого, удобного для фреймворков кода) — это важное знание для объектно-ориентированного PHP-проектирования.

Эти механизмы лежат в основе того, как фреймворки вроде Laravel и Symfony структурируют свой код (интерфейсы и абстрактные базовые классы везде), что делает их необходимыми как для хорошего проектирования своего собственного кода, так и для понимания фреймворков, на которых вы строите.