Objektorienterad programmering forts

04/22/23 CD5250 OOP med C++Mats Medin MDH/IDT

Objektorienterad programmering fortssid. 1

Objektorienterad programmering forts

Fordon

TågBåtBil Flygplan



Hur är arv implementerat?

Drawablepositionbitmap

Persistentstorage_file_nameobject_id

Boxbreddhojd

Text_Boxtextfont

Cirkel

centrumradie

Linjeend_aend_b

Pilriktning

Bankkontoagaresaldo

Bilregpostagaremarkeregnr



Implementation av arv

positionbitmap

centrumradie

Cirkel mincirkel;

datamedlemmar från basklassen

underklass-specifika datamedlemmar



Vad ärvs?

• medlemsfunktioner ärvs• medlemsdata ärvs• friends (vänner) ärvs inte• konstruktor ärvs inte

– basklassens konstruktor anropas, vanligen från initieringslistan för att sätta rätt värden i basklassdelen

– en nivå upp kan man anropa



Åtkomst av överklassmedlemmar

protected: int x;

MyBaseClass

SubClassA SubClassB

A myaobj1;

x A myaobj2;

x

B mybobj;

xdoIt()

doIt()?



Virtuell funktion

• Komma åt subtyp-specifik implementation av virtuella funktionsanrop från bastypen

• den virtuella hanteringen fungerar bara om objektet hanteras via pekare eller referens– statiskt allokerat objekt ÄR av den statiska

typen



Implementation av objekt med statiska och virtuella metoder

int xfloat f

_vptr_Myclass

type_info för Myclass

Virtual tableför Myclass

static int Myclass::noOfObjs

Myclass::print(ostream &)

Myclass::draw()

Myclass::~Myclass()static int Myclass::getNoOfObjs()

int Myclass::get_x()Virtuella metoder nås via vptr



Pure virtual function

class Drawable{ virtual void draw() = 0; virtual void draw() = 0; ...

“= 0” markerar pure virtual function

Definierar (en del av) ett snittutan att implementera det



Abstrakt överklass

En klass med en eller flera pure virtual functions är en abstrakt överklass.

En klass med bara pure virtual functions (dvs ingen funktion är implementerad i den) är en rent abstrakt överklass.

Syftet med den är bara att specificera ett snitt som underklasserna ska tillhandahålla



Arv av beteende

• Ger även arv av implementation– utom då man jobbar med pure virtual

function/rent abstrakta överklasser

Synligt arv



Arv av implementation

class Stack : private Vector{ public: push(Elem e) {/* peta i vektorn */} Elem pop() { /* peta i vektorn */}}

Vad händer om man använder public inheritance istället?

Stack teststack;teststack.push(x);teststack.push(y);t=teststack.pop();

Vi får ett väldigt fult anropssnitt!t=teststack[10];teststack.push_back(e);

Privat eller skyddat arv



...men en stack är inte en vektor

Snyggare, renare, med en vektor som beståndsdel i stället för arv:

class Stack{ public: push(Elem e) { theStack.pushBack(e); } Elem pop() { /* ... */ } private: Vector theStack;}



Konstruktor-destruktor och arv När ett objekt skapas sker följande: 1. Konstruktorn för ev. överklass anropas alltid först. 2. Konstruktorerna för den aktuella klassens datamedlemmar anropas 3. Satserna i den aktuella klassens konstruktor exekveras.

När ett objekt tas bort sker följande: 1. Satserna i den aktuella klassens destruktor exekveras. 2. Destruktorerna för den aktuella klassens datamedlemmar anropas 3. Destruktorn för ev. överklass anropas.



Multipelt arvDrawable

draw()move()

positionbitmap

Persistent

save()restore()

storage_file_nameobject_id

Boxlengthwidth

Circle

centerradius

Lineend_aend_b

Persistent_drawable



Multipelt arv: iostream

istream ostream

iostreamifstream ofstream

fstream

class ostream : public ios

ios

format_statecondition_statelocalestreambuf

gcount xxx

yyy

class iostream : public istream, public ostream

class istream : public ios

(inte riktigt rätt)



över-klass-delenfrånios


gcountistreams“egen”underklassbit


xxx

över-klass-delenfrånios

ostreams“egen”underklassbit

istream object ostream objectiostream object???


gcount


xxxyyy

frånostream

frånistream

iostreams“egen”underklassbit

Kompileringsfel - dock endast vidförsök att accessa de dubblerade delarna!



Multipelt arv: iostream

istream ostream

iostreamifstream ofstream

fstream

class ostream : virtual public ios

ios


gcount xxx

yyy

class iostream : public istream, public ostream

class istream : virtual public ios

med virtual inheritance



Virtual inheritanceiostream object


gcount

xxx

yyy iostreams“egen”underklassbit

en enda ios-bit!

från istream

från ostream

virtuell basklass



Konstruktor-destruktor och arv När ett objekt skapas sker följande: 1. Konstruktorn för ev. överklass anropas alltid först. 2. Konstruktorerna för den aktuella klassens datamedlemmar anropas 3. Satserna i den aktuella klassens konstruktor exekveras.

När ett objekt tas bort sker följande: 1. Satserna i den aktuella klassens destruktor exekveras. 2. Destruktorerna för den aktuella klassens datamedlemmar anropas 3. Destruktorn för ev. överklass anropas.

i deriveringslistans turordning

baklänges enligt deriveringslistans turordning

multipelt



skydda konstruktorn på abstrakt överklass

Drawable

rita()flytta()

positionbitmap

Boxbreddhojd

Text_Boxtextfont

Cirkel

centrumradie

Linjeend_aend_b

Pilriktningbyt_ riktning()

class Drawable{ protected: Drawable(); …..

Varför inte private?



Virtuell destruktordelete drawable_ptr; Delete genom basklass-pekare tar bara bort basklass-

objekt-delen om inte destruktorn är virtual!

adasddfasfassfdsfd

Box* Cirkel* Pil*Linje* Text_Box*

Är protectedbasklass- destruktoren bra ide?



typeid och type_info

#include <typeinfo>type_info ti;class Minklass : public Overklass {…}Minklass mittobj;Overklass *minpekare = & mittobj;ti = typeid(*myptr);cout << ti.name() << endl; // Vad händer?



typeid och type_info fortscout << ti << endl; // Vad händer?klass med virtuella funktioner:• det av myptr utpekade objektets dynamiska

typ skrivs ut, dvs Minklassklass utan virtuella funktioner:• den statiska typen hos uttrycket (*myptr)

skrivs ut, dvs Basklasstypeid funkar på alla slags typer och uttryck:

typeinfo(myint), typeinfo(a || b), typeinfo(3.1415)

Documents

Objektorienterad programmering forts