Diskuze: Je toto porušení LSP?
V předchozím kvízu, Online test znalostí PHP, jsme si ověřili nabyté zkušenosti z kurzu.
Zobrazeno 6 zpráv z 6.
//= Settings::TRACKING_CODE_B ?> //= Settings::TRACKING_CODE ?>
V předchozím kvízu, Online test znalostí PHP, jsme si ověřili nabyté zkušenosti z kurzu.
Liskov substitucny princip je ked trieda Druha je podtriedou Prvni tak potom trieda Prvni moze byt nahradena hocikde triedou Druha.
Kedze tvoja Druha trieda nemeni vlastnosti ale pridala inu, ktora nijako nemeni vlastnosti Prvni tak je v tomto pripade splneni Liskov substitucny princip. Ak by si v Druhe triede pridal
public function x()
{
<nieco ine>
}
tak by si uz nemohol tvrdit ze Druha trieda nahradza Prvni ale ze ju rozsiruje.
Toto je moj logicky nazor, ale zas mozem sa mylit.
Děkuji za odpověď.
Taktéž uvádí, že precondition musí být slabší nebo stejné jako v bázové třídě a postcondition mohou být silnější nebo stejné, ale nikoliv slabší. V tvém příkladě by to vůbec nemuselo vadit.
Zase na druhou stranu bych nemohl tyto dvě třídy zaměnit, protože bych si musel ověřovat přes instanceof nebo přes jinou konstrukci, jestli daná třída obsahuje danou přidanou metodu, která není v bázové třídě.
Tvoj priklad je dost abstraktny. Pouzitim LSP vies urcit ci mozes jednu triedu nahradit druhou bez toho aby si vedel ako funguje ale vies ze to funguje. Budme trochu konkretnejsi a predstavme si vodica, auto, elektromobil a vozidlo.
class Vozidlo {
function akceleruj() {
echo "akcelerujem"
}
}
Vozidlo by v podstate mohla byt aj abstraktna trieda.
class Auto extends Vozidlo {
function akceleruj() {
$this->pridajBenzin();
parent::akceleruj();
}
private function pridajBenzin() {
// pridaj benzin stlacenim plynoveho pedalu
}
}
class Elektromobil extends Vozidlo {
function akceleruj() {
$this->pridajVoltaz();
parent::akceleruj();
}
private function pridajVoltaz() {
// stlacenim pedalu sa zvysy voltaz do motora
}
}
Spravne hovoris ze si musis zistit ci vodic ide do vytahu alebo Vozidla a preto:
class vodic {
function chod(Vozidlo $v) {
$v->akceleruj();
}
}
Vodic takto nevie ako funguje auto alebo elektromobil ale vie ovladat vozidlo. LSP je platne, pretoze ho vie nahradit inym typom.
Souhlasím s tebou. Tento příklad je naprosto v pořádku, protože:
V mém prvním uvedeném příkladě tedy pochybuji, že splňuje LSP, ale zase mi přijde nesmysl, abych pro takovou věc nemohl použít dědičnost, která by mi usnadnila práci v psaní. Ve všech učebnicích, které nebyly zaměřeny na OOP nebo čistý kód jsem viděl podobné dědičnosti, jako můj první příklad a na tom vysvětlovali její výhodu, proto nevím, zda porušuji LSP či ne.
Ještě jednou děkuji za odpověď
LSP neřeší to, zda rodič může být nahrazen potomkem, ale že každý potomek může nahradit rodiče, je to tedy jen jednosměrné. V tvém případě může protože obě třídy mají metody x() a y(), v potomkovi můžeš klidně i překrýt metody x() (nebo y()) ale vždy musí vyžadovat stejné vstupní parametry jako rodičovská
Zobrazeno 6 zpráv z 6.