Capitolo 7 Un primo sguardo agli oggetti Schema e valori Elementi di classe e d istanza

Transcript

1 I Sommario Prefazione xiii Capitolo 1 Introduzione alla programmazione Hardware e software La programmazione I paradigmi di programmazione Problemi, requisiti, specifiche, implementazioni La nozione di algoritmo I linguaggi formali Le grammatiche EBNF Esercizi Capitolo 2 Scrivere ed eseguire un programma Java Scrittura, compilazione ed esecuzione La compilazione L analisi lessicale e l analisi sintattica I commenti e la formattazione I token L analisi sintattica L esecuzione I package e la direttiva import Cosa può andare male? Esercizi Capitolo 3 Variabili e assegnamento Le variabili Le dichiarazioni di variabili I nomi delle variabili Il tipo e la dimensione di una variabile Il contenuto di una variabile I valori di tipo primitivo e di tipo riferimento L assegnamento

2 vi Sommario 3.4 Una classe di utilità e due esempi La classe jbook.util.input Bevande e numeri magici La media aritmetica e la media armonica Le costanti Il confronto per identità e per uguaglianza Cosa può andare male? Esercizi Capitolo 4 Alcuni tipi di dati fondamentali I tipi primitivi, i letterali, le classi involucro e le API I tipi numerici Gli interi I numeri decimali in virgola mobile La conversione di tipo Le costanti letterali numeriche I caratteri Le costanti letterali di tipo char Alcuni metodi e costanti della classe Character La conversione tra caratteri e numeri I booleani Le sequenze Le sequenze di lunghezza fissata: gli array Le sequenze di caratteri: String e StringBuffer Le sequenze di lunghezza variabile: Vector e ArrayList I tipi enumerativi Cosa può andare male? Esercizi Capitolo 5 Espressioni Le espressioni e il type checking La sintassi delle espressioni Valutare un espressione Assegnare il tipo a un espressione Gli operatori del linguaggio Le caratteristiche degli operatori Gli operatori aritmetici (e la concatenazione di stringhe) Gli operatori di confronto Gli operatori di uguaglianza Gli operatori logici

3 Sommario vii Gli operatori bit-a-bit Gli operatori di assegnamento Altri operatori Alcune operazioni di libreria Operazioni aritmetiche su oggetti La classe Math Cosa può andare male? Esercizi Capitolo 6 Comandi e strutture di controllo I blocchi Ambito di visibilità delle variabili locali Gli assegnamenti e altri comandi espressione I comandi condizionali Il comando if-else Il comando switch Cosa può andare male? Esercizi su comandi condizionali I comandi iterativi Il comando while Il comando do-while Il comando for L iterazione determinata su array e il comando for-each Le istruzioni iterative a confronto Cosa può andare male? Esercizi su comandi iterativi I comandi etichettati, break e continue Schemi di programmi iterativi Scansione di una sequenza: calcolo del massimo Cicli annidati: riempimento di array con controllo sui valori Inversione di un array Ordinamento di un array La ricerca binaria Array parzialmente riempiti Array multidimensionali Esercizi su schemi di programmi Capitolo 7 Un primo sguardo agli oggetti Schema e valori Elementi di classe e d istanza

4 viii Sommario 7.3 Dichiarazione di classi Creazione di oggetti Distruzione di oggetti La classe Class e l istanziazione dinamica Esercizi Capitolo 8 I metodi Dichiarazione e chiamata di metodi Cosa è un metodo? La dichiarazione di metodo L invocazione di metodi Il comando return Il meccanismo di chiamata Un esempio con chiamanti e chiamati I metodi variadici I metodi sovraccarichi L overloading Un esempio di overloading Le regole per la risoluzione I metodi generici La dichiarazione di metodo generico L invocazione di metodo generico Un esempio: da array a vettori La ricorsione Un introduzione alla ricorsione La definizione di ricorsione Ricorsione diretta, indiretta, multipla, mutua L implementazione della ricorsione Schemi di programmi ricorsivi Calcolo di funzioni ricorsive La ricerca binaria Operazioni su sequenze Operazioni su alberi Cosa può andare male? Esercizi Capitolo 9 La programmazione orientata agli oggetti La filosofia dell object-oriented I quattro strumenti dell object-oriented La programmazione object-oriented in Java

5 Sommario ix Le classi in Java Gli oggetti in Java I messaggi in Java L ereditarietà in Java L astrazione in Java L incapsulamento in Java Il polimorfismo in Java Esercizi Capitolo 10 Sviluppo di classi Dichiarazione di classi: l intestazione Il corpo di una classe I contesti statici e non statici, e la parola chiave this Le variabili di classe e d istanza I costruttori e this() I blocchi di inizializzazione I metodi Le tecniche di incapsulamento Le classi annidate Le classi membro Le classi locali e anonime Compilazione e esecuzione di classi Unità di compilazione Il caricamento di una classe La creazione di istanze Cosa può andare male? Esercizi Capitolo 11 Ereditarietà e interfacce Sottoclassi e superclassi Ereditarietà come inclusione e specializzazione Tipi riferimento a tempo di esecuzione: instanceof e cast Sovrascrittura di metodi e binding dinamico Accesso a membri della superclasse con super Costruttori e costruzione di istanze in presenza di ereditarietà La radice della gerarchia: la classe Object Incapsulamento ed ereditarietà: il modificatore protected Le classi astratte Alcune note su metodi astratti e classi astratte Le interfacce

6 x Sommario La dichiarazione di interfacce Implementare le interfacce I ruoli delle interfacce I tipi generici e la gerarchia dei tipi I parametri di tipo semplici I parametri di tipo con un vincolo di supertipo I parametri di tipo con più vincoli di supertipo I tipi wildcard e i vincoli extends e super L erasure e i raw type Tipi enumerativi, di nuovo Un esempio: la bilancia galattica e il metodo values() Un esempio: la calcolatrice e i metodi propri Le annotazioni Uso delle annotazioni Le annotazioni predefinite Definire e usare le proprie annotazioni Recuperare le annotazioni e la Reflection API Cosa può andare male? Esercizi Capitolo 12 Eccezioni e tecniche di collaudo Le situazioni anomale a tempo di esecuzione L accesso a posizioni inesistenti Gli errori di formato numerico Gli errori aritmetici La gerarchia delle eccezioni Lanciare le eccezioni: il comando throw Creare le eccezioni Catturare le eccezioni: try, catch e finally L ispezione e la manipolazione di eccezioni Le eccezioni controllate e non controllate La clausola throws I controlli di analisi statica sulle eccezioni controllate Definire le proprie eccezioni Un esempio: IllegalTimeException Il collaudo e il debug Alcune tecniche di collaudo Stack tracing e logging Le asserzioni Il debug in ambiente integrato Come può andare peggio?

7 Sommario xi 12.9 Esercizi Capitolo 13 Multithreading Il ciclo di vita di un thread Gli stati di un thread Creare nuovi thread Controllare l esecuzione Condizioni di terminazione Comunicazione e interazione fra thread Condivisione della memoria I monitor Il comando synchronized I metodi synchronized wait() e notify() Cosa andrà male Esercizi Capitolo 14 Input e output Gli stream Le operazioni su stream Input e output su file di testo Input e output di singoli caratteri su file di testo Input e output bufferizzati e formattati su file di testo La serializzazione di oggetti Salvare gli oggetti su file Leggere gli oggetti da file Sviluppare classi che consentono la serializzazione I metodi della classe jbook.util.input Cosa può andare male? Esercizi Capitolo 15 Accesso alla rete Indirizzi di rete e la classe InetAddress Comunicazioni affidabili: TCP I socket Programmazione di un client Programmazione di un server Comunicazioni non affidabili: UDP Comunicazione via Datagram

8 xii Sommario Mittente UDP Destinatario UDP Cosa può andare male? Esercizi Appendice A Grammatica di Java 505 A.1 Produzioni della grammatica lessicale di Java A.2 Produzioni della grammatica sintattica di Java Appendice B Rappresentazione binaria di dati numerici 511 B.1 Rappresentazione binaria di valori senza segno B.2 Rappresentazione binaria di valori interi B.3 Rappresentazione binaria di valori con cifre decimali Appendice C Codice ASCII 517 Appendice D Documentazione del codice con javadoc 519 D.1 I commenti javadoc D.2 Eseguire javadoc Indice analitico 525