Wazo la kanuni hii lilianzishwa na Barbara Liskov katika hotuba kuu ya mkutano wa 1987 na baadaye kuchapishwa katika karatasi pamoja na Jannette Wing mnamo 1994. defiasili ni kama ifuatavyo:
Wacha q (x) iwe mali inayoonyeshwa kwenye vitu x vya aina T. Halafu q (y) inapaswa kuonyeshwa kwa vitu y vya aina S ambapo S ni aina ndogo ya T.
Baadaye, kwa kuchapishwa kwa kanuni za MANGO za Robert C. Martin katika kitabu chake Agile Software Development, Principles, Patterns, and Practices na kisha kuchapishwa tena katika toleo la C# la kitabu Agile Principles, Patterns, and Practices in C#, the defition ilijulikana kama kanuni ya uingizwaji ya Liskov.
Hii inatuleta kwenye defihabari iliyotolewa na Robert C. Martin: Aina ndogo lazima zibadilishwe na aina zao za msingi.
Gari la darasa {
kazi startEngine () {
// Utendaji chaguo-msingi wa injini
}
kazi kuharakisha () {
// Utendakazi wa kuharakisha chaguo-msingi
}
}
Imepewa darasa la Gari - inaweza kuwa dhahania - na utekelezaji mbili
darasa la gari linaongeza Gari {
kazi startEngine () {
$ hii-> jihusisheIgnition ();
mzazi :: startEngine ();
}
kazi ya kibinafsi inajumuishaIgnition () {
// Utaratibu wa kuwasha
}
}
darasa la ElectricBus linaongeza Gari {
kazi kuharakisha () {
$ hii-> ongezeko la Voltage ();
$ this-> connectIndividualEngines ();
}
ongezeko la kazi ya kibinafsiVoltage () {
// Mantiki ya umeme
}
kazi ya kibinafsi connectIndividualEngines () {
// Mantiki ya unganisho
}
}
Dereva darasa {
fanya kazi (Gari $ v) {
$ v-> kuanzaEngine ();
$ v-> kuharakisha ();
}
}
Ambayo inatuleta kwa utekelezaji rahisi wa Kielelezo cha Njia ya Kubuni ya Kiolezo kama tulivyoitumia katika OCP.
Unaweza pia kupendezwa na kanuni ya pili ya MANGO: https: //bloginnovazione.jw.org sw / kanuni-imara-iliyofunguliwa-ya pili-imara / 3906 /
Kulingana na uzoefu wetu wa zamani na kanuni iliyofunguliwa / iliyofungwa, tunaweza kuhitimisha kuwa kanuni ya uingizwaji wa Liskov inahusiana sana na OCP. Kwa kweli, "ukiukaji wa LSP ni ukiukaji wa hivi karibuni wa OCP" (Robert C. Martin), na muundo wa Kiolezo cha Njia ya Kiolezo ni mfano mzuri wa heshima na utekelezaji wa LSP, ambayo pia ni moja wapo ya suluhisho la kufuata na OCP.
Mstatili wa darasa {
faragha $ juuLeft;
faragha $ upana;
urefu wa $ binafsi;
kazi ya umma setHeight ($ urefu) {
$ this-> urefu = $ urefu;
}
kazi ya umma GetHeight () {
kurudi $ this-> urefu;
}
kazi ya umma setWidth ($ upana) {
$ hii-> upana = $ upana;
}
kazi ya umma GetWidth () {
kurudi $ this-> upana;
}
}
Wacha tuanze na sura ya kijiometri ya msingi, mstatili. Ni kitu rahisi tu cha data na seti na vizuizi kwa upana na urefu. Fikiria kuwa programu yetu inafanya kazi na tayari imeshapelekwa kwa wateja kadhaa. Sasa wanahitaji huduma mpya. Lazima waweze kuendesha viwanja.
Katika maisha halisi, katika jiometri, mraba ni sura fulani ya mstatili. Kwa hivyo tunaweza kujaribu kutekeleza darasa la Mraba ambalo linaongeza darasa la Mstatili. Mara nyingi husemwa kuwa darasa la mtoto ni darasa la mzazi, na usemi huu pia unafanana na LSP, angalau kwa mtazamo wa kwanza.
Mraba mraba unaongeza Mstatili {
kazi ya umma setHeight ($ thamani) {
$ hii-> upana = thamani ya $;
$ this-> urefu = $ value;
}
kazi ya umma setWidth ($ value) {
$ hii-> upana = thamani ya $;
$ this-> urefu = $ value;
}
}
Mraba ni mstatili wenye upana sawa na urefu na tunaweza kufanya utekelezaji wa kushangaza kama vile mfano uliopita. Tunaweza kubadilisha seti zote mbili kuweka urefu na upana wote. Lakini hii itaathiri vipi nambari ya mteja?
mteja wa darasa {
eneo la kaziVerifier (Mstatili $ r) {
$ r-> seti upana (5);
$ r-> kuwekaUrefu (4);
ikiwa ($ r-> eneo ()! = 20) {
tupa Isipokuwa mpya ('Eneo baya!');
}
kurudi kweli;
}
}
eneo la kazi () {
kurudi $ this-> upana * $ this-> urefu;
}
Kwa kweli tuliongeza njia iliyo hapo juu kwa darasa letu la Mstatili ili kutoa eneo hilo.
darasa la LspTest linaongeza PHPUnit_Framework_TestCase {
jaribio la kaziRectangleArea () {
$ r = Mstatili mpya ();
$ c = Mteja mpya ();
$ hii-> assertTrue ($ c-> areaVerifier ($ r));
}
}
Na tuliunda jaribio rahisi kwa kutuma kitu tupu cha mstatili kwa kikagua eneo na kupitisha mtihani. Ikiwa darasa letu la Mraba ni defiimekamilika kwa usahihi, kuituma kwa eneo la MtejaVerifier() haipaswi kuvunja utendakazi wake. Baada ya yote, mraba ni mstatili katika kila maana ya hisabati. Lakini ni darasa letu?
jaribio la kaziSquareArea () {
$ r = Mraba mpya ();
$ c = Mteja mpya ();
$ hii-> assertTrue ($ c-> areaVerifier ($ r));
}
Kwa hivyo, darasa letu la Mraba sio Mstatili hata hivyo. Inavunja sheria za jiometri. Inashindwa na inakiuka kanuni ya uingizwaji ya Liskov.
Ercole Palmeri
Jumatatu iliyopita, Financial Times ilitangaza makubaliano na OpenAI. FT inatoa leseni kwa uandishi wake wa habari wa kiwango cha kimataifa…
Mamilioni ya watu hulipia huduma za utiririshaji, kulipa ada za usajili za kila mwezi. Ni maoni ya kawaida kwamba wewe…
Coveware by Veeam itaendelea kutoa huduma za kukabiliana na matukio ya ulaghai mtandaoni. Coveware itatoa uwezo wa uchunguzi na urekebishaji…
Matengenezo ya kitabiri yanaleta mapinduzi katika sekta ya mafuta na gesi, kwa mbinu bunifu na makini ya usimamizi wa mitambo.…
