Särkyvä kantaluokka
Särkyvä kantaluokka (engl. Fragile base class) on olio-ohjelmointikielen arkkitehtuurinen ongelma, jossa kantaluokkia pidetään "särkyvinä", koska näennäisen turvalliset muutokset perusluokkaan voivat aiheuttaa ongelman kantaluokasta perityssä luokassa. Tämä ongelma voi aiheutua silloin, kun ohjelmassa on esimerkkikoodin 1 mukai- nen rakenne. Särkyvä kantaluokka -ongelma saadaan aikaan esimerkiksi muuttamalla esimerkkikoodin 1 kantaluokka vastaamaan esimerkkikoodin 2 kantaluokkaa. Kun kut sutaan perityn luokan foo-metodia, aiheutuu ikuisesti rekursiivinen silmukka, mikä ai- heuttaa pinomuistin ylivuotamisen. [1]
Java esimerkki
Alla oleva esimerkki on kirjoitettu Java (ohjelmointikieli) ja se kuvaa tilanteen, jossa näennäisesti turvallinen muutos kantaluokkaan aiheuttaa loputtoman rekursion ja aiheuttaa Pinon ylivuotovirheen.
class Super { private int counter = 0; void inc1() { counter++; } void inc2() { counter++; } } class Sub extends Super { @Override void inc2() { inc1(); } }
Korvatun menetelmän inc2() kutsuminen perityssä Sub luokassa kasvattaa oikein counter muuttujan arvoa yhdellä. Mikäli kantaluokkaan tehdään seuraavalainen muutos:
class Super { private int counter = 0; void inc1() { inc2(); } void inc2() { counter++; } }
Tämän muutoksen jälkeen korvatun menetelmän inc2() kutsuminen perityssä Sub luokassa aiheuttaa loputtoman rekursion itsensä ja kantaluokan inc1 metodin kanssa ja ajautuu lopulta Pinon ylivuotovirheeseen.[1]
Lähteet
- ↑ a b Fragile base class Wikipedia. Viitattu 31.3.2023.