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.

Aktivity

Dominik Klapuch

Člen

Dominik Klapuch:31.1.2015 19:26

Ahoj, jsem relativně seznámen s liskov substitution principle, nicméně stejně mi jedna věc vrtá v hlavě. Tedy, zvažme část kódu:

class Prvni {
        private $x;
        private $y;

        public function x() {

        }

        public function y() {

        }
}

class Druha extends Prvni {
        private $z;

        public function z() {

        }
}

Jedná se v tomto případě o porušení LSP, nebo ne? A pokud bych měl v první třídě identifikátory přístupu protected místo public, bylo by to porušení principu také nebo ne? Dle mého názoru ano, nicméně nejsem si zcela jist. Jaký je tedy váš názor? Děkuji za odpověď.

Odpovědět

31.1.2015 19:26

Kód a data patří k sobě.

shaman

Člen

shaman:13.2.2015 16:28

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.

Nahoru Odpovědět

13.2.2015 16:28

try {...} catch (Exception ignored) { echo " ¯\_(ツ)_/¯ "; }

Dominik Klapuch

Člen

Dominik Klapuch:13.2.2015 20:13

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ě.

Nahoru Odpovědět

13.2.2015 20:13

Kód a data patří k sobě.

shaman

Člen

shaman:13.2.2015 20:52

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.

Editováno 13.2.2015 20:53

Nahoru Odpovědět

13.2.2015 20:52

try {...} catch (Exception ignored) { echo " ¯\_(ツ)_/¯ "; }

Dominik Klapuch

Člen

Dominik Klapuch:13.2.2015 21:32

Souhlasím s tebou. Tento příklad je naprosto v pořádku, protože:

obě třídy mají stejný kontrakt a proto nemusím vůbec vědět co je zač vozidlo. V mém případě jedna třída dělá víc a proto nemohu věřit kontraktu, že První i Druhá třída bude mít metodu, kterou přidávám ve třídě Druhá. V tomto případě bych musel jako argument předávat pokaždé jinou třídu, nebo kontrolovat metody.
Mají stejné postcondition
V tvém případě mají i stejné precondition

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ěď

Nahoru Odpovědět

13.2.2015 21:32

Kód a data patří k sobě.

Ondra81

Člen

Ondra81:10.7.2017 13:22

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á

Nahoru Odpovědět

10.7.2017 13:22

Děláme co je v našich silách, aby byly zdejší diskuze co nejkvalitnější. Proto do nich také mohou přispívat pouze registrovaní členové. Pro zapojení do diskuze se přihlas. Pokud ještě nemáš účet, zaregistruj se, je to zdarma.

Zobrazeno 6 zpráv z 6.