1. I FONDAMENTI DELLA PROGRAMMAZIONE AD OGGETTI

Transcript

1 IL LINGUAGGIO JAVA Dispense per il corso di laboratorio di sistemi I.T.I.S. ABACUS A.S. 2008/2009 Autore: Roberto Amadini Testo di riferimento: La programmazione ad oggetti C++ Java (Lorenzi, Moriggia, Rizzi ATLAS) 1. I FONDAMENTI DELLA PROGRAMMAZIONE AD OGGETTI 1.1 Introduzione Il mondo in cui viviamo è molto complesso Bisogna saper gestire e controllare la complessità degli oggetti che lo compongono. Ciò avviene mediante un opportuna ASTRAZIONE della realtà (oggetti reali): L astrazione (o modellazione) è un procedimento che consente di semplificare la realtà che si sta analizzando, mediante opportune tecniche che permettono di considerare tutti e soli gli aspetti rilevanti di tale realtà, evitando di prendere in considerazione dettagli inutili. Il risultato (output) del processo di astrazione è la creazione di un MODELLO, ossia una rappresentazione semplificata della realtà in esame. PROBLEMA REALE p ASTRAZIONE DI p MODELLO DI p Esempi: Rappresentazione delle vie di una città piantina stradale Rappresentazione del profitto di un alunno pagella L astrazione svolge un ruolo fondamentale nell Informatica; la risoluzione di problemi infatti avviene sempre per mezzo di astrazioni più o meno evidenti, mediante l utilizzo di programmi sviluppati secondo diversi paradigmi di programmazione. Per PARADIGMA DI PROGRAMMAZIONE si intende la modalità concettuale attraverso la quale il programmatore analizza, modella e risolve un dato problema. Ogni linguaggio di programmazione è generalmente ispirato (o riconducibile) ad un certo paradigma; i principali paradigmi di programmazione sono: Imperativo: Il problema viene risolto mediante una sequenza ordinata di passi (algoritmo). L operazione principale è quella di assegnamento (es. x = 7) e l ordine di esecuzione delle istruzioni è fondamentale (es. x = 7; x++; x *= 3; in C++ ha una semantica ben diversa da x = 7; x *= 3; x++). Un paradigma di questo tipo è quindi orientato all algoritmo, cioè a come (how) il programma deve risolvere un dato problema. Esempi di linguaggi di programmazione imperativi sono ad esempio Fortran, Pascal, C. Dichiarativo: Questo paradigma è invece orientato al problema, cioè a cosa (what) il programma deve fare per risolvere un dato problema. I linguaggi di programmazione dichiarativa si dividono principalmente in logici (basati sulla logica

2 matematica, es. Prolog) e funzionali (basati sul concetto di funzione matematica, es. Lisp, Haskell). Un linguaggio dichiarativo molto diffuso per la manipolazione di basi di dati è l SQL. ORIENTATO AGLI OGGETTI: Il problema da risolvere viene analizzato e modellato secondo un opportuno SISTEMA DI OGGETTI che comunicano tra loro scambiandosi messaggi. In generale, un SISTEMA è una realtà costituita da elementi eterogenei caratterizzati da proprietà (attributi rilevanti) e azioni (relazioni fra componenti). Un OGGETTO si può invece vedere come un entità caratterizzata da un proprio stato (insieme di valori che l oggetto assume ad un certo istante di tempo) e da una propria algebra (insieme di operazioni che è possibile eseguire su tale oggetto). Questo paradigma sta alla base dei linguaggi di programmazione orientati agli oggetti (OOP, Object Oriented Programming). I linguaggi OO sono quindi un evoluzione dei linguaggi ad alto livello imperativi (Pascal, C) che, anziché essere orientati all algoritmo, sono orientati al concetto di sistema di oggetti, cioè sistemi i cui componenti fondamentali sono proprio gli oggetti. 1.2 Programmazione Orientata agli Oggetti (OOP) L orientamento agli oggetti si è sviluppato a partire dagli anni 70 partendo dal concetto di sistema. Questo approccio al problema, grazie ai suoi vantaggi, si è sviluppato fino ai giorni nostri toccando anche altri settori dell informatica quali ad esempio la gestione di database e l ingegneria del software. Il processo di astrazione consiste in un ANALISI dettagliata del problema reale, che produce un MODELLO del sistema, composto dagli oggetti e dalle relazioni che intercorrono tra essi. Tale modello non entra nei dettagli implementativi (cioè, non dice come deve essere implementato) ma si ferma ad un livello di astrazione più alto (cioè, indica solamente cosa deve fare il programma). In realtà, non è possibile parlare di oggetti senza prima aver introdotto il concetto di CLASSE: Una classe è un TIPO DI DATO ASTRATTO (ADT, Abstract Data Type) cioè un entità caratterizzata da un dominio di valori (cioè, un insieme di possibili valori che l entità può assumere) e da un algebra su tale dominio (cioè, un insieme di operazioni possibili su tale insieme). Ad esempio, sono ADT anche i tipi primitivi dei linguaggi di programmazione tradizionali (ad es. il tipo int in C++ ha come dominio l insieme degli interi compresi tra e e come operazioni possibili +, -, *, /, % ecc ). In una classe il dominio è composto da tutti gli ATTRIBUTI (cioè, tutte le proprietà che caratterizzano la classe) mentre le operazioni sugli attributi possono essere effettuate dall utente mediante l invocazione di appositi METODI della classe (cioè, l utente richiama apposite funzioni proprie di quella classe). A questo punto, posso definire un OGGETTO obj DI UNA CERTA CLASSE C come un ISTANZA (cioè, un membro, un rappresentante) di tale classe C. Ovviamente, obj erediterà tutti gli attributi ed i metodi della classe C. Il valore assunto dagli attributi di obj ne definirà lo stato. I metodi di obj corrisponderanno alle operazioni possibili sull oggetto (ad es. potrò invocare metodi di obj per leggere o modificare i suoi attributi).

3 Esempio: l automobile Supponiamo di voler modellare un sistema di automobili. Il componente principale (classe) sarà quindi l automobile. Quale sarà il suo dominio? Cioè quali saranno i suoi attributi? Ad esempio, alcune caratteristiche standard per ogni automobile sono: Costruttore Modello Colore Potenza Cilindrata Ecc Tali proprietà saranno quindi attributi della classe Automobile. Individuiamo ora i comportamenti, cioè le operazioni che è possibile effettuare con una generica automobile: Avvio Accelera / Decelera Fermati Gira a destra / sinistra Ecc Tali azioni saranno quindi metodi della classe Automobile. E gli oggetti? A cosa corrisponderanno? Per definizione, un oggetto è un istanza di una certa classe, per cui un oggetto della classe Automobile corrisponderà ad un rappresentante di tale classe, caratterizzato da un proprio stato (i valori di colore, modello, potenza ecc ) e da un insieme di operazioni possibili sull oggetto (tutti i metodi della classe Automobile: avvio, accelerazione ecc ) Ad es., potrei definire un oggetto miamacchina di classe Automobile con i seguenti attributi: Costruttore = Peugeot Modello = 206 Colore = Grigio Fer Potenza = 75 Cilindrata = 1360 Una volta definito tale oggetto potrei quindi utilizzarne i metodi per avviare l automobile, rallentare, scalare marcia ecc Inoltre, è possibile creare un numero indefinito di oggetti della classe Automobile; viceversa non è possibile definire un oggetto senza aver prima creato una classe, in quanto un oggetto si riferisce sempre ad una certa classe. Posso ad esempio creare un altro oggetto di classe Automobile: macchinadeimieigenitori: Costruttore = Ford Modello = Escort Colore = Nero Ecc

4 1.3 Principali caratteristiche dell OOP 1. INCAPSULAMENTO: Possibilità di incorporare in un oggetto sia dati (attributi) che funzioni (metodi). Ad es. la stessa entità miaautomobile racchiude sia le caratteristiche tecniche dell oggetto sia le funzioni per poterlo utilizzare. 2. INFORMATION HIDING: Possibilità di nascondere le informazioni non necessarie all utente. Ad esempio, richiamando il metodo avvia l utente potrà avviare la macchina senza che egli sappia quale meccanismo stia realmente dietro all avvio dell automobile (all utente non interessano le fasi del motore a quattro tempi, basta che la macchina parta ). Strettamente legato all Information Hiding è il problema dell ACCESSO AGLI ATTRIBUTI di una classe: non tutti gli attributi di una classe possono essere acceduti dall utente esterno. Ad es. per ogni automobile si vuole tenere segreto un particolare attributo che tenga traccia del numero di riparazioni effettuate in modo che esso sia invisibile all utente. Stesso discorso per i metodi: ad es. potrebbe esserci un metodo raffreddamento richiamato dall automobile stessa qualora la temperatura del motore risulti troppo elevata; tale azione però non deve essere intrapresa dall utente bensì dall oggetto in modo invisibile all utente. Per distinguere ciò che un oggetto vuole mostrare all esterno da ciò che invece vuole tenere nascosto si utilizzano una sezione pubblica (contenente attributi e metodi utilizzabili dall esterno) ed una sezione privata (contenente attributi e metodi invisibili all utente esterno). 3. EREDITARIETA : Si riferisce alla capacità di creare, a partire da una certa classe C, un qualsiasi numero di SOTTOCLASSI o CLASSI FIGLIE di C (che quindi diventerà classe PADRE o SOVRACLASSE delle sue classi figlie). Tali relazioni tra classi inducono naturalmente una GERARCHIA di classi, cioè un ordinamento delle classi (strict weak ordering). Ad esempio: E B A D C A, B, C, D, E sono classi qualsiasi. La freccia da una qualsiasi classe X ad una qualsiasi altra classe Y sta ad indicare che X è sottoclasse di Y. In questo caso, B e C sono sottoclassi di A; D è sottoclasse di B e C; E è sottoclasse di B. Ma E è sottoclasse di A? Stesso discorso per D Certo, perché questa relazione gode della proprietà transitiva: potremmo dire che A è classe nonna di E e D, D ha due padri B e C (che sono tra loro fratelli ). L ereditarietà è un concetto fondamentale dell OOP; noi ci limiteremo solamente a considerare l ereditarietà PUBBLICA e SINGOLA, cioè: PUBBLICA: Ogni sottoclasse C1, C2,, Cn di una certa classe C eredita tutti i metodi e gli attributi pubblici di C, che può utilizzare per i propri scopi. SINGOLA: Ogni sottoclasse può avere al massimo una classe padre (nell esempio precedente D non usa l ereditarietà singola, perché eredita sia da B che da C)

5 NOTA: La relazione di ereditarietà tra una classe figlia F ed una classe padre P è detta anche relazione ISA (da IS A, cioè è un ). Infatti F eredita tutti gli attributi ed i metodi di P, quindi in un certo senso F è un P, con opportune modifiche e/o specializzazioni. Esempio: MezziDiTrasporto MezziAMotore MezziNonAMotore Automobile Moto Bicicletta Sia i MezziAMotore che i MezziNonAMotore sono (ISA) MezziDiTrasporto. L Automobile e la Moto sono MezziAMotore (e quindi anche MezziDiTrasporto) ma non sono MezziNonAMotore. La Bicicletta fa parte dei MezziNonAMotore (e quindi anche dei MezziDiTrasporto) ma non dei MezziAMotore. QUANDO SI USA L EREDITARIETA? In generale, l ereditarietà consente ad una certa sottoclasse di utilizzare le caratteristiche (attributi e metodi) della classe padre da cui eredita. Come si differenzia quindi la sottoclasse dalla classe padre? Principalmente in tre modi: Per ESTENSIONE: la sottoclasse aggiunge nuovi attributi e/o metodi che si sommano a quelli ereditati dalla classe padre, in modo che l utente possa avere a disposizione un insieme di funzionalità esteso alle proprie necessità. Ad es., nella classe Automobile potrei aggiungere un metodo accenditergicristalli che è proprio dell auto e non dei mezzi a motore in generale (la moto non ha tergicristalli ). Per RESTRIZIONE: la sottoclasse restringe alcuni attributi e/o metodi della padre, cioè inibisce il loro utilizzo in modo che l utente abbia a disposizione solamente gli attributi ed i metodi dei quali necessita realmente. Ad es., se il metodo accenditergicristalli fosse presente nella classe MezziAMotore, nella classe Moto dovrei inibirlo in quanto la moto non presenta tale funzionalità. Per SPECIALIZZAZIONE: Simile all estensione; in questo caso però non aggiungo nuove funzionalità ma ridefinisco (o sovrascrivo, overriding) alcuni (o tutti) i metodi ereditati dalla classe padre. Tali metodi vengono quindi specializzati dalla sottoclasse in base al loro utilizzo. Ad es., supponiamo che la classe MezziDiTrasporto presenti un metodo avvia. Tale metodo dovrebbe essere ridefinito per le classi Automobile, Moto e Bicicletta in base al tipo di avvio del mezzo di trasporto (per avviare una macchina non spingo sui pedali ). I linguaggi OO permettono quindi la definizione di CLASSI ASTRATTE, cioè classi interfaccia che non possono generare oggetti in quanto almeno uno dei suoi metodi non è implementato. Sarà quindi compito delle sue sottoclassi implementare (cioè, specializzare) tali metodi lasciati indefiniti.

6 POLIMORFISMO: Si riferisce alla capacità di uno stesso metodo di assumere più forme, cioè la possibilità di avere un interfaccia comune per attività strettamente correlate. Si suddivide in: DINAMICO: realizzato con il meccanismo dell ereditarietà e dell overriding di metodi; ad es. il metodo avvia è polimorfo in quanto pur avendo la stessa interfaccia (lo stesso nome) è specializzato in modo differente da auto, biciclette, moto a seconda delle caratteristiche della sottoclasse che lo ridefinisce. Si dice dinamico perché il processo di associazione tra l oggetto che invoca il metodo ridefinito ed il metodo stesso avviene a tempo di esecuzione (run-time). In questo caso si parla anche di late binding. STATICO: un metodo con la stessa interfaccia (stesso nome) può essere sovraccaricato (overload) cioè differenziarsi per numero e tipo degli argomenti. Ad esempio per un Automobile potrei avere un metodo cambiamarcia() che di default mette una marcia in più, ma potrei anche avere un metodo cambiamarcia(n) che cambia n marce alla volta (es. n = -1 scalo di una marcia, n = 0 metto in folle, n = 1 metto una marcia in più ecc ). Si dice statico perché il processo di associazione tra l oggetto che invoca il metodo ridefinito ed il metodo stesso avviene a tempo di compilazione (compile-time). 1.4 I linguaggi orientati agli oggetti (Object Oriented) Un linguaggio è orientato agli oggetti se fornisce costrutti per gestire le principali caratteristiche del paradigma OOP: oggetti, classi, ereditarietà, polimorfismo. Si dividono in linguaggi OO puri (ogni entità è un oggetto, ad esempio Smalltalk e Eiffel) e ibridi (esistono entità che non sono oggetti, come ad es. i tipi primitivi int, char, float ecc ). Un linguaggio ibrido è meno formale e rigoroso, ma permette maggiore elasticità ed efficienza. I più importanti linguaggi OO ibridi ad oggi sono C++ e Java; in particolare noi ci soffermeremo sulle caratteristiche principali di quest ultimo. Si osservi tuttavia che spesso Java viene considerato linguaggio puro, in quanto gli oggetti costituiscono la base del linguaggio mentre i tipi primitivi solamente una parte marginale.