Programozás alapjai II. (5. ea) C++

Átírás

1 Programozás alapjai II. (5. ea) C++ analitikus és korlátozó öröklés Szeberényi Imre BME IIT M Ű E G Y T E M C++ programozási nyelv BME-IIT Sz.I OO modellezés fogalmai újból Objektum adat (állapot) és a rajta végezhető művelet a világ egy részének egy olyan modellje, amely külső üzenetekre reagálva valahogyan viselkedik (változtatja az állapotát, újabb üzenetet küld) üzenetekre (message), vagy eseményekre (event) a metódus végrehajtásával reagál, viselkedik (behavior) polimorf működés C++ programozási nyelv BME-IIT Sz.I OO modellezés fogalmai újból/2 Objektum osztály, osztály (class) megegyező viselkedésű és struktúrájú objektumok mintája, gyártási forrása. (pl, ház, ablak, kutya) Objektum példány, objektum (instance) Minden objektum önállóan, létező egyed (Blöki, Morzsi, Bikfic) C++ programozási nyelv BME-IIT Sz.I

2 Osztály és példány jelölése Kutya (Kutya) Blöki (Kutya) Kutya név: string fajta: string kor: int (Kutya) Blöki korcs 2 (Kutya) Morzsi puli 3 C++ programozási nyelv BME-IIT Sz.I Osztály és típus int i; i nevű objektum aminek a mintája int Nem teljesen azonos, mert a típus egy objektum-halmaz viselkedését specifikálja. Az osztály a típus által meghatározott viselkedést implementálja. Egy adott objektumtípust többféleképpen lehet implementálni, (több osztállyal). C++ programozási nyelv BME-IIT Sz.I Osztály és típus/2 Példaként vegyünk egy olyan komplex objektumot, amiben valós és képzetes résszel tárolunk, és vegyünk egy másikat polárkoordinátákkal. A kétfajta komplex megvalósítás osztály szinten különböző, de típusuk viselkedésük interfész szinten azonos. Hagyományos nyelveken a típus értékhalmazt jelöl. C++ programozási nyelv BME-IIT Sz.I

3 Modellezés objektumokkal Különböző szempontok szerint modellezünk. Objektummodell Adat szempontjából írja le a rendszer statikus tulajdonságait (osztály v. entitás-relációs diagram). Dinamikus modell A működés időbeliségét rögzíti (állapotgráf, kommunikációs diagram). Funkcionális modell Funkció szerint ír le (adatfolyam-ábra). C++ programozási nyelv BME-IIT Sz.I Modellezés eszközei, módszertana Részletesen szoftvertechnológiája c. tárgyban a következő félévben. Itt csak minimális alapok a nyelvi eszközök megismeréséhez. C++ programozási nyelv BME-IIT Sz.I Objektummodell Attribútumok leírása Elnevezés típusú attribútumok. Nem vagy ritkán változnak (név, személyi szám, nem) Leíró attribútumok. Referenciák. Kimutatnak az objektumból. Kapcsolatok (relációk) leírása láncolás objektum példányok között asszociáció osztályok közötti kapcsolat Öröklés leírása C++ programozási nyelv BME-IIT Sz.I

4 Példák a kapcsolatok leírására Ember név sz. idő cím gazda 0..1 * Kutya név fajta kor Egy ember 0 vagy több kutyának lehet gazdája. Egy kutyának legfeljebb egy gazdája van, de lehet, hogy gazdátlan. C++ programozási nyelv BME-IIT Sz.I Egy több kapcsolat Anya név sz. idő cím szült 1..* Gyerek név sz. idő nem Egy anya legalább egy gyereket szült (1..*). Egy gyereket pontosan egy anya szült. C++ programozási nyelv BME-IIT Sz.I Kapcsolatok attribútumai Hallgató név sz. idő cím Tárgy vizsgázik 1..* 1..* név előadó hely vizsgajegy Egy tárgyból többen is vizsgázhatnak. Egy hallgató több tárgyból is vizsgázhat. A vizsga eredménye (attribútuma) a vizsgajegy. C++ programozási nyelv BME-IIT Sz.I

5 Komponens reláció Levél * Bekezdés * Karakter A karakter része a bekezdésnek, a bekezdés része a levélnek. Elnevezés: szülő gyerek viszony, de nem keverendő össze az örökléssel! C++ programozási nyelv BME-IIT Sz.I Öröklés Az öröklés olyan implementációs és modellezési eszköz, amelyik lehetővé teszi, hogy egy osztályból olyan újabb osztályokat származtassunk, melyek rendelkeznek az eredeti osztályban már definiált tulajdonságokkal, szerkezettel és viselkedéssel. Újrafelhasználhatóság szinonimája. Nem csak bővíthető, hanem a tagfüggvények át is definiálhatók. C++ programozási nyelv BME-IIT Sz.I Feladat Diákokból, tanárokból álló rendszert szeretnénk modellezni. Diák attribútumai: név, sz. idő, átlag, évfolyam Tanár attribútumai: név, sz. idő, tantárgy, fizetés Milyen osztályokat hozzunk létre? 2 független osztály? név, sz. idő 2x, műveletek 2x, nehezen módosítható C++ programozási nyelv BME-IIT Sz.I

6 Örökléssel alaposztály specializáció az egy Ember név sz. idő általánosítás az egy Diák +átlag +évf. Tanár +tantárgy +fizetés származtatott osztályok C++ programozási nyelv BME-IIT Sz.I Öröklés másként jelölve Ember név sz. idő Diák +átlag +évf. Tanár +tantárgy +fizetés C++ programozási nyelv BME-IIT Sz.I C++ jelölés class Ember { String *nev; Date szido; Ember(); void setdate(date d); void setname(char *n); const char *getname();... C++ programozási nyelv BME-IIT Sz.I

7 C++ jelölés/2 class Diak :public Ember { double atlag; Diak(); void setav(double a);... class Tanar :public Ember { double fizetes; Tanar();... Alaposztályból minden látszik ami publikus +Új attribútum +Új tagfüggvény C++ programozási nyelv BME-IIT Sz.I Öröklés előnyei Hasonlóság kiaknázása Világosabb programstruktúra Módosíthatóság mellékhatások nélkül Újabb tulajdonságok hozzáadása Kiterjeszthetőség Újrafelhasználható C++ programozási nyelv BME-IIT Sz.I I. Analitikus Korlátozó Öröklés fajtái II. Egyszerű Többszörös C++ programozási nyelv BME-IIT Sz.I

8 Analitikus és korlátozó öröklés Alakzat poz, szin mozgat() analitikus öröklés Vonal +végpont +rajzol() Kör +sugár +rajzol() Téglalap +csúcs +rajzol() Négyzet korlátozó öröklés C++ programozási nyelv BME-IIT Sz.I Többszörös öröklés Alkalmazott név, fizetés Csoportvez. csoport Ideigl. alk. idő Ideigl.csopvez. C++ programozási nyelv BME-IIT Sz.I Kompatibilitás és öröklés A típusú objektum kompatibils B-vel, ha A típusú objektum bárhol és bármikor alkalmazható, ahol B használata megengedett. A reláció reflektív és tranzitív, de nem szimmetrikus. A kompatibilitás egy hierarchiát szab meg pl: állat <-komp.- madár <-komp.- veréb C++ programozási nyelv BME-IIT Sz.I

9 Kompatibilitás/2 specializáció (altípus) állat általánosítás (szupertípus) madár emlős vízi galamb veréb kutya bálna ponty C++ programozási nyelv BME-IIT Sz.I Geometria alakzatok C++ban Alakzat poz, szin mozgat() analitikus öröklés Vonal +végpont +rajzol() Kör +sugár +rajzol() Téglalap +csúcs +rajzol() Négyzet korlátozó öröklés C++ programozási nyelv BME-IIT Sz.I Alakzat alaposztály class Alakzat { protected: Védelem enyhítése a int x, y; leszármazottak felé int szin; Alakzat(int x0, int y0, int sz) :x(x0), y(y0), szin(sz) { } // mozgat(), érezzük, hogy itt a helye, de nem // tudjuk hogyan kell rajzolni! // Ezért próbáljuk a származtatottba tenni, ahol // már ismert a rajzolás menete. C++ programozási nyelv BME-IIT Sz.I

10 Vonal osztály class Vonal : public Alakzat { int xv, yv; Vonal(int x1, int y1, int x2, int y2, int sz) Alaposztályból minden látszik ami publikus : Alakzat(x1, y1, sz), xv(x2), yv(y2) { } void rajzol( ); void mozgat(int dx, int dy); C++ programozási nyelv BME-IIT Sz.I void Vonal :: Rajzol( ) {... // vonalat rajzol } Vonal tagfüggvényei void Vonal :: Mozgat( int dx, int dy ) { int sz = szin; // tényleges rajzolási szín elmentése szin = BACKGRD;// rajzolási szín legyen a háttér színe rajzol( ); // A vonal letörlése az eredeti helyről x += dx; y += dy; // mozgatás: a pozíció változik szin = sz; // rajzolási szín a tényleges szín rajzol( ); // A vonal felrajzolása az új pozícióra } C++ programozási nyelv BME-IIT Sz.I Téglalap osztály class Teglalap : public Alakzat { int xc, yc; Teglalap(int x1, int y1, int x2, int y2, int sz) : Alakzat(x1, y1, sz), xc(x2), yc(y2) { } void rajzol( ); void mozgat(int dx, int dy); Ugyanaz, mint a vonalnál, csak a hívott rajzol() más C++ programozási nyelv BME-IIT Sz.I

11 mozgat() helye Származtatott osztályokban látszólag ugyanaz a függvény minden alakzatban csak az általa hívott rajzol() más Alaposztályban ha a hívott rajzol()-t egy manó le tudná cserélni mindig a megfelelő származtatott rajzol()-ra, akkor működne virtuális függvény C++ programozási nyelv BME-IIT Sz.I Alakzat osztály virtuális függvénnyel class Alakzat { protected: Az öröklés során újabb jelentést kaphat, ami az int x, y; alaposztályból is elérhető, int szin; így a mozgat()-ból is. Alakzat(int x0, int y0, int sz) :x(x0), y(y0), szin(sz) { } virtual void rajzol( ) { } void mozgat(int dx, int dy); Most már ide tehetjük, mert a rajzol() is itt van. C++ programozási nyelv BME-IIT Sz.I Alakzat mozgat() tagfüggvénye void Alakzat :: Mozgat( int dx, int dy ) { int sz = szin; // tényleges rajzolási szín elmentése szin = BACKGRD;// rajzolási szín legyen a háttér színe rajzol( ); // A vonal letörlés az eredeti helyről x += dx; y += dy; // mozgatás: a pozíció változik szin = sz; // rajzolási szín a tényleges szín rajzol( ); // A vonal felrajzolása az új pozícióra } C++ programozási nyelv BME-IIT Sz.I

12 Vonal osztály újra class Vonal : public Alakzat { int xv, yv; Vonal(int x1, int y1, int x2, int y2, int sz) : Alakzat(x1, y1, sz), xv(x2), yv(y2) { } void rajzol( ); // átdefiniáljuk a virt. fv-t. void mozgat(int dx, int dy); void Vonal::rajzol( ) {... // vonalat rajzol. // Az alaposztályból hívva is ez hívódik } C++ programozási nyelv BME-IIT Sz.I Téglalap osztály újra class Teglalap : public Alakzat { int xc, yc; Teglalap(int x1, int y1, int x2, int y2, int sz) : Alakzat(x1, y1, sz), xc(x2), yc(y2) { } void rajzol( ); // átdefiniáljuk a virt. fv-t. void mozgat(int dx, int dy); void Teglalap::rajzol( ) {... // téglalapot rajzol. // Az alaposztályból hívva is ez hívódik } C++ programozási nyelv BME-IIT Sz.I Mintaprogram main ( ) { Teglalap tegla(1, 10, 2, 40, RED); // téglalap Vonal vonal(3, 6, 80, 40, BLUE); // vonal Alakzat alak(3, 4, GREEN); //??? alak.mozgat(3, 4); // 2 db rajzol() hívás vonal.rajzol( ); // 1 db rajzol() vonal.mozgat(10, 10); // 2 db rajzol() hívás Alakzat *ap[10]; ap[0] = &vonal; // nem kell típuskonverzió ap[1] = &tegla; for (int i = 0; i < 2; i++ ) ap[i] ->rajzol(); } C++ programozási nyelv BME-IIT Sz.I

13 Mikor melyik rajzol()? Virtuális Alakzat:: rajzol() Nem virtualis Alakzat:: rajzol() alak.mozgat() Alakzat::rajzol() Alakzat::rajzol() vonal.rajzol() Vonal::rajzol() Vonal::rajzol() vonal.mozgat Vonal::rajzol() Alakzat::rajzol() sp[0]->rajzol() Vonal::rajzol() Alakzat::rajzol() Vonal-ra mutat sp[1]->rajzol() Teglalap-ra mutat Teglalap::rajzol() Alakzat::rajzol() C++ programozási nyelv BME-IIT Sz.I Alakzat önállóan? Alakzat alak(3, 4, GREEN); //??? alak.mozgat(3, 4); // Mit rajzol?? Nem értelmes példányosítani, de lehet, mivel osztály. Nyelvi eszközzel tiltjuk: Absztrakt alaposztály C++ programozási nyelv BME-IIT Sz.I Absztrakt alaposztályok Csak az öröklési hierarchia kialakításában vesznek részt, nem példányosodnak A virtuális függvényeknek nincs értelmes törzse: tisztán (pure) virtuális függvény class Alakzat { protected: int x, y, szin; Nem példányosítható Alakzat( int x0, int y0, int sz) ; void mozgat( int dx, int dy ); virtual void rajzol( ) = 0; // tisztán virtuális C++ programozási nyelv BME-IIT Sz.I

14 Öröklés impl., ha nincs virtuális fv. C++ osztályok Alakzat x, y, szín mozgat( ) Vonal xv, yv rajzol( ) Új rész C struktúrák struct Alakzat struct Vonal x x y y szín szín xv yv C globális függvények AlakzatMozgat( ) VonalRajzol( ) AlakzatKonstr( ) VonalKonstr( ) C++ programozási nyelv BME-IIT Sz.I Öröklés impl., ha a Rajzol() virtuális C++ osztályok Alakzat x, y, szín rajzol( ) Vonal xv, yv rajzol( ) C struktúrák struct Alakzat struct Vonal x x y y szín szín &rajzol() &rajzol() xv yv C globális függvények AlakzatRajzol( ) VonalRajzol( ) AlakzatKonstr( ) VonalKonstr( ) C++ programozási nyelv BME-IIT Sz.I Alakzat C implementációja struct Alakzat { int x, y, szín; void (*Rajzol)( ); void AlakzatMozgat( struct Alakzat *this ) { } AlakzatKonstr(struct Alakzat *this, int x0, int y0, int sz) { this->rajzol = AlakzatRajzol; // fordító!!! this->x = x0; this->y = y0; this->szin = sz; } C++ programozási nyelv BME-IIT Sz.I

15 Alakzat C implementációja/2 void AlakzatMozgat(struct Alakzat *this, int dx, int dy ) { int sz = this->szin; this->szin = BACKGRD; (*(this->rajzol))(this); this->x += dx; this->y += dy; this->szin = sz; (*(this ->rajzol))(this); } C++ programozási nyelv BME-IIT Sz.I Téglalap osztály újra class Teglalap : public Alakzat { int xc, yc; Teglalap(int x1, int y1, int x2, int y2, int sz) : Alakzat(x1, y1, sz), xc(x2), yc(y2) { } void ujmeret(int x2, int y2) { xc = x + x2; yc = y + y2; } void rajzol( ); // mozgat() az alaposztályban C++ programozási nyelv BME-IIT Sz.I Négyzet osztály (korlátoz) class Negyzet : private Teglalap { Eltakarja az alaposztályt Negyzet(int x1, int y1, int s, int sz) : Teglalap(x1, y1, x1+s, y1+s, sz) { } void rajzol( ) { Teglalap::rajzol(); } void mozgat(int dx, int dy) { Teglalap::mozgat(dx, dy); } Az ujmeret() fv-t így kívülről elérhetetlenné tettük (korlátoztuk az elérését) C++ programozási nyelv BME-IIT Sz.I

16 Összefoglalás Objektummodell Attribútumok Kapcsolatok (relációk) Öröklés (specializáció általánosítás) analitikus v. korlátozó egyszerű v. többszörös C++ nyelvi eszköz: analitikus public, korlátozó private tagfüggvények átdefiniálása, protected mezők virtuális tagfüggvény: alaposztály felőlelérhető a származtatott osztály tagfüggvénye, absztrakt alaposztály nem példányosítható C++ programozási nyelv BME-IIT Sz.I Védelem összefoglalása külső származtatott tagfüggvény és barát protected: private: C++ programozási nyelv BME-IIT Sz.I