Liskov-szubsztitúció

A Liskov-szubsztitúció, avagy Liskov-féle helyettesítési elv a SOLID tervezési minták L betűs alapköve. Kimondja, hogy objektumorientált tervezés során ha van egy általános osztályunk (B), és egy abból származtatott alosztályunk (A), akkor bárhol a programban, ahol a program B típusú objektumot vár, fogadja el az A típusú objektumot is.

A Liskov-elv további megszorításokat is javasol az altípusokra, melyekkel megőrizhető a program helyessége: Az ősosztály előfeltételeit az alosztály nem erősítheti meg, utófeltételeit nem gyengítheti, invariáns tulajdonságait meg kell őriznie az alosztályban is.

Vélemény, hozzászólás?

Az email címet nem tesszük közzé. A kötelező mezőket * karakterrel jelöljük.