Indice. Prefazione. 3 Oggetti e Java 53

Transcript

1 Prefazione xv 1 Architettura dei calcolatori Calcolatori e applicazioni Alcuni esempi di applicazioni Applicazioni e interfacce Architettura dei calcolatori Hardware e software Macchina di von Neumann Tecnologia dei calcolatori Codifica dei dati Microprocessore Memoria centrale Memorie secondarie Il sistema operativo Architettura di un sistema operativo Calcolatori e programmazione 21 2 Oggetti software Programmi e programmazione Introduzione agli oggetti software Esempi di oggetti software L oggetto software System.out L oggetto software Math Un oggetto software per la lettura dalla tastiera Robot e labirinti Oggetti software Classi e costruzione di oggetti software Costruzione di oggetti software Componenti di una classe Esempi di classi La classe Math Le classi Robot e Labirinto Il linguaggio UML 50 3 Oggetti e Java 53

2 vi Indice 3.1 Introduzione alla programmazione in Java Il linguaggio di programmazione Java Classi Java Programmi Java API di Java Programmazione in Java Introduzione a Java (per esempi) Scrittore sullo schermo Calcolo di una radice quadrata Perimetro di un triangolo Lettura e somma di due numeri interi Robot in un labirinto Una classe per istanziare oggetti 82 4 Strumenti per la programmazione Strumenti per la programmazione Editing ed editor Compilazione e compilatori Esecuzione Compilatori e interpreti Compilazione ed esecuzione di programmi Java Java 2 Software Development Kit Che cosa fare in pratica Errori di programmazione Ambienti integrati di sviluppo 97 5 Problemi, algoritmi e oggetti Problemi e algoritmi Comprensione del problema Identificazione di un algoritmo per il problema Dall algoritmo all oggetto Qualità degli algoritmi Introduzione agli algoritmi (per esempi) Un linguaggio per scrivere algoritmi Progettazione di algoritmi Problemi di ingresso-uscita Lettura e somma di due numeri interi Somma di una sequenza di numeri interi Lunghezza di una sequenza Somma dei pari e dei dispari in una sequenza Somma di una sequenza di dieci numeri Somma dei primi N numeri interi positivi Traccia dell esecuzione di un metodo o di un algoritmo La formula di Gauss Attraversamento di labirinti Attraversamento di labirinti lineari 132

3 vii Attraversamento di labirinti Le basi del linguaggio Java Sintassi e semantica Introduzione alla sintassi di Java Introduzione alla semantica di Java Semantica delle espressioni Semantica delle istruzioni Sintassi, semantica ed errori Introduzione alle istruzioni di Java Leggibilità Stile e convenzioni di codifica Commenti Scelta dei nomi Indentazione Ordine delle istruzioni e delle dichiarazioni Repertorio di istruzioni Uso di oggetti Tipi ed espressioni Uso di oggetti Operazioni e messaggi Operazioni e metodi Invocazione di metodi Accesso a proprietà di oggetti Descrizione di oggetti e classi Descrizione di metodi Descrizione di metodi che restituiscono un valore Descrizione di variabili Selezione di metodi Creazione di oggetti e costruttori Variabili e assegnazione Variabili e assegnazione Variabili e aree di memoria Dichiarazione di variabili Assegnazione e accesso Costanti Variabili riferimento Errori di programmazione Classificazione degli errori Errori sintattici Errori di semantica statica Errori di semantica dinamica 194

4 viii Indice 10.5 Errori logici Discussione Tipi ed espressioni Tipi Espressioni Tipi primitivi per numeri interi Introduzione al tipo primitivo int Valutazione delle espressioni Rappresentazione dei numeri interi Altri tipi primitivi numerici interi Tipi primitivi per numeri reali La classe Math Conversione tra tipi Conversione implicita Conversione esplicita Il tipo primitivo char Algebra di Boole e tipo primitivo boolean Algebra di Boole Il tipo primitivo boolean Tipi riferimento e stringhe Tipi riferimento Stringhe e oggetti String Uso di variabili riferimento Uso di oggetti String Stringhe e tipi primitivi Conversione da tipi primitivi a stringhe Conversione da stringhe a tipi primitivi Il metodo charat Concatenazione di stringhe Confronto tra stringhe Sulla composizione dell invocazione di metodi Riferimenti e uguaglianza Il letterale null Istruzioni condizionali e blocco Introduzione alle istruzioni di controllo Istruzione condizionale if-else Blocco (istruzione composta) Istruzione condizionale if Istruzioni condizionali annidate Cascata di istruzioni if-else Il problema dell else mancante Uso di predicati complessi Linee guida 252

5 ix Errori comuni Istruzioni ripetitive Istruzioni ripetitive Istruzione ripetitiva while Istruzione ripetitiva for Istruzione for con variabile contatore Istruzione ripetitiva do-while Confronto tra istruzioni ripetitive Linee guida Istruzioni ripetitive e cicli Errori comuni Ciclo infinito Errore di uno Istruzioni ripetitive annidate Terminazione precoce Definizione di metodi Introduzione alla definizione di metodi Definizione di un semplice metodo Uso di classi e metodi Metodi e variabili locali Metodi con parametri Metodi che restituiscono un valore Sovraccarico di nomi Auto-referenziazione Classi e applicazioni Visibilità delle variabili Programmazione strutturata (e non) Effetti collaterali Metodi di supporto Il modificatore private Legame dei parametri Legame dei parametri per valore Legame dei parametri per riferimento Linee guida Correttezza Introduzione alla correttezza Correttezza dei metodi Specifica di un metodo Correttezza di un metodo Correttezza e responsabilità Verifica di correttezza Test a scatola nera Test a scatola trasparente 331

6 x Indice Metodi di test Individuazione e correzione degli errori Test di un insieme di metodi Iterazione Accesso a sequenze Accumulazione Conteggio Verifica esistenziale Verifica universale Ricerca File di testo Definizione di classi Classi per istanziare oggetti Esempio: la classe Punto Variabili d istanza Accesso a variabili d istanza Metodi d istanza Costruttori Ulteriori aspetti nella definizione di classi Auto-referenziazione Il metodo tostring Il metodo equals Sovraccarico del costruttore Metodi di classe Variabili di classe Classi e oggetti Occultamento dell informazione Esempio: la classe Rettangolo Classi per oggetti dati Array Il problema degli studenti da promuovere Array Array in Java Uso di array Dichiarazione di variabili array e tipi array Creazione di array Accesso a un array Il problema degli studenti da promuovere Lunghezza di un array Array e metodi Letterali array Array e accesso posizionale Somma degli elementi di un array 393

7 xi Visualizzazione degli elementi di un array Calcolo del massimo elemento di un array di interi Verifica se un array è crescente Coppia di elementi uguali Array paralleli Clonazione di array Uguaglianza tra array Elementi positivi di un array di interi Array e oggetti Parametro del metodo main Ricerca sequenziale Ricerca binaria Fusione di sequenze ordinate Array di array Array bidimensionali Creazione e uso di array bidimensionali Array di array Gestione di array di array Visualizzazione degli elementi di un array di array Somma degli elementi di un array di array Uguaglianza tra array di array Clonazione di array di array Modello runtime Modello runtime e gestione della memoria Esecuzione di metodi e costruttori Esecuzione di metodi: un esempio Esecuzione di metodi: discussione Gestione degli oggetti Gestione di oggetti: un esempio Gestione di oggetti: discussione Vita delle variabili Ricorsione Definizioni induttive Definizione induttiva di insiemi Definizione induttiva di funzioni Metodi ricorsivi Definizione di metodi ricorsivi Esecuzione di metodi ricorsivi Progettazione di metodi ricorsivi Errori comuni Ricorsione lineare e non lineare Tipi ricorsivi Tipi ricorsivi e metodi ricorsivi 462

8 xii Indice 22.4 Ricorsione e stringhe Ricorsione e array Ricerca binaria Quando usare (o non usare) la ricorsione Complessità Complessità dei metodi Modello di costo Analisi di caso peggiore Complessità asintotica Modello di costo asintotico Operazione dominante Complessità di algoritmi e problemi Complessità della ricerca in un array Complessità della ricerca sequenziale Complessità della ricerca binaria Discussione Ordinamento Ordinamento di un array Ordinamento di array e API di Java Ordinamento per selezione Complessità dell ordinamento per selezione Ordinamento a bolle Complessità dell ordinamento a bolle Ordinamento per inserzione Complessità dell ordinamento per inserzione Ordinamento per fusione Complessità dell ordinamento per fusione Ordinamento veloce Complessità dell ordinamento veloce Risultati sperimentali Ereditarietà e polimorfismo Estensione di classi Polimorfismo L operatore instanceof Conversione esplicita La classe Object Estensione di classi e progettazione di classi Il modificatore protected Classi astratte Interfacce Collezioni Introduzione al Java Collections Framework 527

9 xiii 26.2 Collezioni Insiemi Iteratori Liste Mappe Interfacce grafiche Interfacce grafiche La classe JFrame Componenti Struttura di una interfaccia grafica Gestori di layout Eventi, sorgenti e ascoltatori Gestione di eventi Gestione di più sorgenti di eventi Programmazione ad eventi Programmazione visuale 555