Visibilità dei Membri di una Classe

Transcript

1 Visibilità dei Membri di una Classe Lezione 10 Ogni classe definisce un proprio scope racchiude il codice contenuto nella definizione della classe e di tutti i suoi membri ogni metodo della classe definisce un proprio scope locale, contenuto nello scope della classe All interno dello scope della classe è possibile accedere ai membri senza utilizzare l operatore di selezione Per accedere ai membri di una classe dall esterno dello scope si deve usare l operatore di selezione /02 1

2 Dichiarazione dei Membri Le dichiarazioni contenute nella definizione della classe introducono i nomi dei membri nello scope della classe Nella definizione della classe si può far riferimento solo a membri che sono stati precedentemente dichiarati l ordine di dichiarazione dei membri è cruciale class String { typedef int index_type; char& operator[](index_type); // OK const char& operator[](ind); // ERRORE typedef int ind; 2 Metodi Inline Gli attributi utilizzati all interno di un metodo inline possono essere dichiarati anche dopo la definizione del metodo Il corpo del metodo viene esaminato dopo aver letto tutta la definizione della classe class String { typedef int index_type; char& operator[](index_type elem) { return _string[elem]; } private: char* _string; /02 2

3 Parametri per Default Le variabili utilizzate per inizializzare per default i parametri di un metodo sono esaminate dopo la definizione della funzione class Video { typedef int index_type; Video& pulisci(char = sfondo); private: static const char sfondo = ; 4 Definizione di Metodi I metodi sono definiti al di fuori della definizione della classe il nome del metodo deve essere qualificato con l operatore di scope La porzione di codice dal nome della funzione alla fine del corpo della funzione appartiene allo scope della classe È possibile accedere ai membri della classe senza l operatore di selezione inline char Video::dammi(index_type elem) { return _string[elem]; } /02 3

4 Risoluzione di un nome in Un nome usato nella definizione della classe viene risolto nel seguente modo Controlla i nomi dei membri della classe dichiarati fino a questo punto Verifica gli scope dei namespace in cui è contenuta la definizione della classe 6 Risoluzione di un nome in Un nome usato nella definizione di un metodo della classe viene risolto nel seguente modo controlla i nomi dichiarati nello scope locale del metodo controlla i nomi dei membri della classe verifica gli scope dei namespace in cui è contenuta la definizione della classe /02 4

5 Risoluzione di un nome in Nell esempio quale valore viene stampato? int altezza = 0; class Foo { Foo(long altezza) { altezza = 10; cout << altezza; } private: short altezza; Foo F(3L); La risposta è 10 8 Risoluzione di un nome in Nell esempio quale valore viene stampato? int altezza; class Foo { Foo(long altezza = 100) { this->altezza = 10; } void f(); private: short altezza; void Foo::f() { int altezza = 100; cout << Foo::altezza << endl; } Foo F; F.f(); La risposta è /02 5

6 Membri static di una Classe 1 Un membro dato static opera come variabile globale per tutti gli oggetti della classe esiste un unica copia della variabile e tutti gli oggetti della classe fanno riferimento a quest unica copia il membro static appartiene allo scope della classe può essere reso privato 10 Membri static di una Classe 2 Si definisce un membro dato static facendo precedere la definizione dalla parola static class Foo { static int cont;... } S, T; S.cont = 0; cout << T.cont << endl; // stampa /02 6

7 A Cosa Servono i Membri static Contatore del numero di oggetti della classe esistenti nel programma Informazione comune a tutti gli oggetti che può essere inizializzata una sola volta Puntatore ad una funzione di recupero da errori Puntatore a risorse condivise da tutti gli oggetti della classe 12 Membri static di una Classe Un membro dato static viene creato al momento della definizione della classe esiste anche se non è stata definita nessuna variabile può essere referenziato sia tramite l operatore di selezione che tramite l operatore di visibilità Foo::cont = 10; I membri static possono essere usati per inizializzare per default parametri di un metodo Un membro static può essere dello stesso tipo della classe di appartenenza /02 7

8 Definizione di Membri static I membri dato static devono essere inizializzati all esterno della definizione della classe L inizializzazione va inserita nel file di implementazione class ContoCorrente { ContoCorrente(double t, string& x); string intesta(); private: static double _tassointeresse; double _totale; string _intestatario; ContoCorrente::tassoInteresse = 0.05; Membri static costanti di tipo integrale possono essere inizializzati esplicitamente dentro la definizione della classe 14 Metodi static Un metodo static viene utilizzato per accedere ai dati static della classe Un metodo static può essere invocato senza utilizzare l operatore di selezione Possibile accedere ai dati static anche se nessun oggetto della classe è stato creato class ContoCorrente { static double interesse() { return _tassointeresse; } private: static double _tassointeresse; } ContoCorrente::interesse(); /02 8

9 Metodi static I metodi static non hanno this come parametro Non possono accedere implicitamente agli attributi della classe Possono accedere ai membri non static della classe solo utilizzando l operatore di selezione Non possono essere definiti sicuri 16 Union 1 La union è un tipo particolare di classe Il concetto di union del C traslato in C++ Tutti i membri dato della union sono memorizzati sulla stessa area di memoria La memoria assegnata ad una union è sufficiente a contenere il più grande dei suoi membri I membri di una union possono essere dichiarati privati, pubblici o protetti /02 9

10 Union 2 La union è un tipo particolare di classe All interno della union possono essere definiti metodi La union non può contenere al suo interno un membro statico un riferimento un oggetto di una classe che definisca un costruttore, un distruttore o un operatore di assegnamento per copia Si usa la parola chiave union invece di class 18 Esempio union ProvaVideo { Video s; // ERRORE Video ha costruttore Video *s; static int is; // ERRORE int &rfi; // ERRORE } /02 10

11 Union In ogni istante solo un membro della union contiene un valore L ultimo membro a cui è stato assegnato un valore Ogni scrittura distrugge il valore precedente Bisogna stare attenti a leggere il valore della union attraverso una variabile del tipo esatto 20 Classi Annidate È possibile definire una classe in un qualsiasi scope Una classe definita nello scope di un altra classe è detta annidata La classe annidata è visibile solo nello scope in cui è definita La definizione di una classe annidata può essere privata o pubblica (da evitare) Se è privata possono definire oggetti del tipo della classe annidata solo i metodi della classe contenitore ed i suoi amici Una classe dovrebbe essere annidata soltanto se si è sicuri che gli oggetti della classe contenitore saranno gli unici utenti della classe /02 11

12 Classi Annidate I metodi della classe contenitore non hanno nessun privilegio di accesso sui membri della classe annidata Possono accedere ai membri privati solo se sono amici I metodi della classe annidata non possono accedere ai membri non statici della classe contenitore (nemmeno ai pubblici) Per farlo devono avere un puntatore o una variabile che referenziano l oggetto contenitore 22 Esempio Classi Annidate class Nodo { int deg = 0; class Albero { class Nodo { Nodo* left, *right; Nodo() { left = right = 0; } Nodo *albero; // si riferisce alla classe interna } T; cout << T.(albero->deg) << endl; // ERRORE /02 12