Je toto porušení LSP? – PHP – Fórum – Programujte.com

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:

<?php

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

Proc by to melo LSP porusovat? LSP rika, ze pokud typ S dedi z typu T, pak by vsechny instance T mely byt nahraditelne insancemi S, aniz to narusilo spravnost programu. V uvedenem pripade trida Druha (S) jenom rozsiruje Prvni (T), takze jeji chovani nijak nemeni. Kdokoliv pracujici s instancemi T muze dostat S a nema sanci to v ciste objektovem kodu (bez reflexe) poznat. V chovani T neni zadna zmena a o opacnem smeru LSP vubec nic nerika, takze podle me o poruseni LSP nejde.

Děkuji za odpověď. 

Ano, také jsem nad tím takto uvažoval a došel jsem ke stejnému závěru, ale pak jsem si řekl:

Co když budu chtít základní třídu dodat jako parametr do konstruktoru? Dám tam První nebo Druhá? Pokud První, musím se ptát pouze ohledně kontraktu třídy První, tedy nemohu použít metodu z ve třídě Druhá. V tomto případě bych se také někde v dalším objektu musel ptát na instanci nebo na existenci metody.

Ale tedy jak si psal, o opačném směru nic neříká, tak je to asi ohledně LSP v pořádku.

Jasně, z toho co píšeš mi to dává smysl. Už jsem si to vše poskládal.

Ještě jednou děkuji.