Avatar
Dominik Klapuch:

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ě.
Avatar
shaman
Člen
Avatar
shaman:

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 " ¯\_(ツ)_/¯ "; }
Avatar
Dominik Klapuch:

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  +1 13.2.2015 20:13
Kód a data patří k sobě.
Avatar
shaman
Člen
Avatar
Odpovídá na Dominik Klapuch
shaman:

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  +1 13.2.2015 20:52
try {...} catch (Exception ignored) { echo " ¯\_(ツ)_/¯ "; }
Avatar
Odpovídá na shaman
Dominik Klapuch:

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

  1. 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.
  2. Mají stejné postcondition
  3. 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  +1 13.2.2015 21:32
Kód a data patří k sobě.
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 5 zpráv z 5.