Zasady SOLID na Backendzie: LSP - Liskov Substitution Principle

0:02Litera L, czyli exp blisko substytutem Principle, czyli zasada podstawienia

0:09Barbary blisko.

0:10Na czym polega ta zasada?

0:11Najpierw oddamy głos samej pani Barbarze i przeczytamy tę fascynującą definicję.

0:17Chciałam tutaj uzyskać coś w rodzaju następującej właściwości podstawienia.

0:21Jeżeli dla każdego obiektu O1 typu S istnieje obiekt O2 typu T taki, że dla

0:28każdego programu P Określonego warunkami te zachowanie P.

0:32Nie zmieni się, gdy zamiast o 1 zostanie podstawiony o 2.

0:35To znaczy, że S.

0:36Jest pod typem T.

0:39Proste. Wszystko jasne?

0:40Dziękuję bardzo za uwagę.

0:41Oczywiście, że nie, bo ta definicja Barbary Lisko jest

0:45definicją akademicką, a my musimy to przełożyć na bardziej przystępny język.

0:50I o czym mówi nam ta zasada?

0:53Mówi nam o tym, że nasz kod powinien definiować taki łańcuch dziedziczenia i

0:59takie elastyczne interfejsy, żeby wymienianie poszczególnych elementów w

1:04systemie było możliwe bez konieczności modyfikowania kodu.

1:08Czyli idziemy trochę dalej od zasady OCP i budujemy taki system, który będzie miał

1:14elastyczny interfejs, elastyczny i będzie spełniał ten sam interfejs.

1:18Mówiłem wcześniej o klockach LEGO, które mają odpowiedni kształt, który sprawia, że

1:23każdy klocek LEGO pasuje do każdego klocki Lego i możemy je przypinać dowolnie, bez

1:28jakiejś potrzeby łamania tych klocków, wycinania nowych otworów czy nowych

1:32wypustek, które pozwalają nam te klocki ze sobą spinać.

1:36I jakie mogą być symptomy pogwałcenia tej zasady lub naruszenia tej zasady LSB?

1:41Możemy mieć słynny problem kwadratu i prostokąta, o którym będę rozmawiał

1:45później, gdzie każdy kwadrat jest prostokątem, ale nie każdy prostokąt jest

1:50kwadratem i mimo, że będą dziedziczyć po jakimś wspólnym

1:53obiekcie, to możemy mieć problem z identyfikacją wspólnego interfejsu,

1:59choćby dla liczenia pola figury.

2:02Gdzie?

2:03Skoro każdy prostokąt jest kwadratem, to wzór na liczenie pola kwadratu powinien

2:08się aplikować też do prostokąta, a tak nie jest, bo jeśli zachowanie klasy będzie

2:13zależało od używanego przez nią typu w tym przypadku typ prostokąt

2:18i dodania kolejnego if, a jeśli prostokąt to cośtam, to te typy nie będą

2:23wymienialne, co oznacza, że nie będą spełniały tej zasady.

2:28Więc powinniśmy tak budować łańcuch dziedziczenia i tak projektować interfejsy

2:33klas, aby każde instancję klasy bazowej dawało się podmienić bez

2:38wywalenia całego programu bez błędów.

2:41Mówiąc w skrócie i ten łańcuch dziedziczenia powinien

2:45nam pozwolić na swobodne podmiany.

2:47To brzmi mega abstrakcyjnie i sama pani Liska mówiła, że jest to zasada

2:52ważna, natomiast wiele osób jej nie do końca rozumie, więc musimy przejść do

2:56praktycznego przykładu, gdzie wszystko Ci się już rozjaśni.