|
| 1 | +--- |
| 2 | +title: "Принцип подстановки Барбары Лисков" |
| 3 | +description: "Дочерние классы должны работать так, что бы ими можно было заменить родительские." |
| 4 | +--- |
| 5 | + |
| 6 | +Принцип подстановки Барбары Лисков (Liskov Substitution Principle, LSP) утверждает, что поведение подклассов должно быть |
| 7 | +совместимо с поведением их суперклассов. Другими словами, объекты подтипов должны быть заменяемыми экземплярами своих |
| 8 | +супертипов без изменения ожидаемого поведения программы. Давай разберемся с примером, чтобы лучше понять этот принцип: |
| 9 | + |
| 10 | +```php |
| 11 | +<?php |
| 12 | + |
| 13 | +// Нарушение принципа подстановки Барбары Лисков |
| 14 | +// Проблема квадрата и прямоугольника |
| 15 | +class Rectangle |
| 16 | +{ |
| 17 | + protected $width; |
| 18 | + protected $height; |
| 19 | + |
| 20 | + public function setHeight($height) |
| 21 | + { |
| 22 | + $this->height = $height; |
| 23 | + } |
| 24 | + |
| 25 | + public function getHeight() |
| 26 | + { |
| 27 | + return $this->height; |
| 28 | + } |
| 29 | + |
| 30 | + public function setWidth($width) |
| 31 | + { |
| 32 | + $this->width = $width; |
| 33 | + } |
| 34 | + |
| 35 | + public function getWidth() |
| 36 | + { |
| 37 | + return $this->width; |
| 38 | + } |
| 39 | + |
| 40 | + public function area() |
| 41 | + { |
| 42 | + return $this->height * $this->width; |
| 43 | + } |
| 44 | +} |
| 45 | + |
| 46 | +class Square extends Rectangle |
| 47 | +{ |
| 48 | + public function setHeight($value) |
| 49 | + { |
| 50 | + $this->width = $value; |
| 51 | + $this->height = $value; |
| 52 | + } |
| 53 | + |
| 54 | + public function setWidth($value) |
| 55 | + { |
| 56 | + $this->width = $value; |
| 57 | + $this->height = $value; |
| 58 | + } |
| 59 | +} |
| 60 | + |
| 61 | +class RectangleTest |
| 62 | +{ |
| 63 | + private $rectangle; |
| 64 | + |
| 65 | + public function __construct(Rectangle $rectangle) |
| 66 | + { |
| 67 | + $this->rectangle = $rectangle; |
| 68 | + } |
| 69 | + |
| 70 | + public function testArea() |
| 71 | + { |
| 72 | + $this->rectangle->setHeight(2); |
| 73 | + $this->rectangle->setWidth(3); |
| 74 | + // Ожидаем, что площадь прямоугольника будет 6 |
| 75 | + } |
| 76 | +} |
| 77 | +``` |
| 78 | + |
| 79 | +В данном примере класс Square наследуется от Rectangle, что кажется логичным, так как квадрат является частным случаем |
| 80 | +прямоугольника. Однако, нарушается принцип подстановки Барбары Лисков из-за того, что Square переопределяет методы |
| 81 | +setHeight() и setWidth() так, чтобы они всегда делали высоту равной ширине. |
| 82 | + |
| 83 | +Что делает этот пример нарушением LSP? Дело в том, что ожидается, что при вызове setHeight() и setWidth() объекта |
| 84 | +Rectangle сначала будет изменяться одно измерение, а потом другое. Однако в случае Square эти методы нарушают это |
| 85 | +ожидание, что может привести к непредсказуемому поведению в программах, которые используют Rectangle или его подтипы. |
| 86 | + |
| 87 | +Как исправить это? Один из способов - пересмотреть архитектуру классов так, чтобы Square не наследовался от Rectangle, |
| 88 | +так как это нарушает LSP. Вместо этого, можно использовать композицию или выделить общий интерфейс для обоих классов и |
| 89 | +разработать их независимо. |
0 commit comments