1) definizione di una rappresentazione 2) specificazione di un algoritmo (dipendente dalla rappresentazione) 3) traduzione in un linguaggio

Transcript

1 soluzione di un problema 1) definizione di una rappresentazione 2) specificazione di un algoritmo (dipendente dalla rappresentazione) 3) traduzione in un linguaggio rappresentazioni disponibili in C++: tipi di dato primitivi: int double char bool (e varianti ) '$' true E-7 'A' false esempio: rappresentiamo una persona con il suo peso rappresentazione in C++ int peso; (espresso in Kg) oppure double peso; (se vogliamo considerare anche frazioni di Kg) 1 L11 Fondamenti di Informatica 1 - VincenzoGrassi

2 cosa ci dice questa definizione (consideriamo int peso): peso è un oggetto che assume valori [INT_MIN, INT_MAX] a peso sono applicabili operazioni di base (+ - * / % ++ --) utilizzabili per definire operazioni più complesse: int cubo(int x) {return x*x*x;} peso = cubo(peso); insieme di valori + operazioni primitive = tipo di dato definire una rappresentazione significa definire un tipo di dato problema: cosa fare se i tipi disponibili non sono adeguati? 2 L11 Fondamenti di Informatica 1 - VincenzoGrassi

3 esempi: giorni della settimana: giorno {Lun, Mar, } valori succ prec feriale? possibili operaz. primitive documento scritto: docum insieme di tutte le possibili sequenze di caratteri valori ins_carattere ins_parola cancella il C++ ci fornisce strumenti per definire: possibili operaz. primitive nuove operazioni ( già noto: funzioni!!) nuovi insiemi di valori ( come??) 3 L11 Fondamenti di Informatica 1 - VincenzoGrassi

4 Meccanismi C++ per definire nuovi insiemi di valori: enum insiemi di valori semplici array insiemi di valori strutturati struct " " " (inoltre: file class) ================================= enumerazione definisce insiemi finiti, elencati esplicitamente sintassi: enum nome { lista_nomi } 4 L11 Fondamenti di Informatica 1 - VincenzoGrassi

5 esempi: enum semi{cuori, quadri, fiori, picche}; enum giorni_sett{lun, MAR, MER, GIO, VEN, SAB, DOM}; giorni_sett giorno; semi seme; giorno seme seme = cuori; seme cuori giorno = DOM; giorno DOM errori: enum semi{cuori, quadri, fiori, picche}; enum semi_rossi{cuori, quadri}; nomi da usare in una sola definizione!!! enum primi3char{'a', 'b', 'c'}; enum interi_piccoli{1, 2, 3, 4}; gli elementi devono essere nomi validi in C++!!! 5 L11 Fondamenti di Informatica 1 - VincenzoGrassi

6 proprietà delle enumerazioni: la lista dei nomi definisce implicitamente un ordinamento (crescente) (MAR < VEN) espressione vera (quadri > picche) espressione falsa non è possibile input/output diretto cin >> giorno; ERRORE cout << giorno; ERRORE si può fare in modo indiretto : int num_seme; semi seme; esempio input: cout<<"scrivi 1 per cuori, 2 per quadri," <<" 3 per fiori, 4 per picche"; cin>>num_seme; switch (num_seme) {case 1: seme = cuori; break; case 2: seme = quadri; break; } esempio output: switch (seme) {case cuori: cout << "cuori"; break; case quadri: cout << "quadri"; break; } 6 L11 Fondamenti di Informatica 1 - VincenzoGrassi

7 dare un nome a una definizione di insieme di valori strumento typedef sintassi: typedef tipo nuovonome nome di un tipo già esistente oppure definizione di un nuovo tipo con questa definizione si può dichiarare: tipo x; x esempi: usando un nome già esistente: valori del tipo specificato da tipo typedef double reale; reale x; x [DBL_MIN, DBL_MAX] usando una nuova definizione: typedef enum{golden, renetta} mele; mele frutto; frutto {golden, renetta} 7 L11 Fondamenti di Informatica 1 - VincenzoGrassi

8 tipi semplici vs tipi strutturati l enumerazione consente di definire insiemi formati da valori semplici (atomici) può essere necessario definire insiemi i cui elementi sono strutturati, cioè formati da aggregati di valori esempi: testo scritto aggregato di caratteri dati anagrafici aggregato di: nome residenza (che, a loro volta, sono strutturati ) 8 L11 Fondamenti di Informatica 1 - VincenzoGrassi

9 Dato un oggetto appartenente a un tipo strutturato, possiamo essere interessati a: a) considerare l oggetto nella sua interezza b) considerare isolatamente i singoli componenti dell oggetto esempio: discorso_di_capodanno {insieme delle possibili sequenze di caratteri} caso a: Stampa(discorso_di_capodanno); caso b: Cancella(7 carattere di discorso_di_capodanno) 9 L11 Fondamenti di Informatica 1 - VincenzoGrassi

10 sono state individuate varie modalità concettuali di definire insiemi di valori strutturati (a prescindere dal particolare tipo degli elementi costituenti) tipi di dato astratti!!! ognuna è caratterizzata da: modo di strutturare i costituenti in un singolo oggetto operazioni primitive sulla struttura esempi: lista di : sequenza lineare ordinata e dinamica inserisci, estrai, coda di : sequenza lineare ordinata e dinamica inserisci_in_coda, estrai_in_testa, base di dati di : insieme dinamico di record inserisci, estrai, ricerca web di : insieme dinamico di ipertesti crea_collegamento, 10 L11 Fondamenti di Informatica 1 - VincenzoGrassi

11 normalmente, i linguaggi di programmazione non forniscono direttamente rappresentazioni di questi tipi astratti (non è predefinito il tipo lista, oppure web, ) mettono solo a disposizione strumenti di base per costruire possibili rappresentazioni in questo corso, vedremo fondamentalmente quali sono questi strumenti (come usarli per costruire rappresentazioni efficaci di tipi astratti complessi sarà oggetto di corsi più avanzati) 11 L11 Fondamenti di Informatica 1 - VincenzoGrassi

12 array : strumento per definire insiemi strutturati, dove: ogni elemento dell insieme è un aggregato omogeneo ogni componente di un aggregato è acceduto tramite un indice numerico (viene utilizzato per costruire rappresentazioni di tipi astratti come: liste, code, ) esempio: memorizzare 50 numeri interi (p.es. voti), ed elaborarli 1 a soluzione: int voto1, voto2,, voto50; soluzione rigida e scomoda 12 L11 Fondamenti di Informatica 1 - VincenzoGrassi

13 2 a soluzione: usare un array int voti[50]; tipo base (dei singoli numero di componenti ("dimensione"); componenti) deve essere una costante intera (anche simbolica) nome dell oggetto voti voti[0] voti[1] voti[2] voti[49] modo di specificare i singoli componenti (l indice numerico è lo scostamento (quante posizioni in più) rispetto al primo componente nome di una singola variabile formata da 50 locazioni di memoria consecutive 13 L11 Fondamenti di Informatica 1 - VincenzoGrassi

14 dichiarazione di una variabile di tipo array: sintassi: tipo nomevar [ dim ] tipo dei nome della singoli variabile componenti da quanti componenti è formato l "aggregato" semantica: nomevar nomevar[0] nomevar[1] nomevar[dim - 1] un singolo elemento è indicabile come: nomevar [ espressione ] 0 dim-1 14 L11 Fondamenti di Informatica 1 - VincenzoGrassi

15 int voti [50], altrivoti[50]; int i; voti[2] 3 elemento di voti voti[0] 1 elemento di voti i = 2; voti[2*i-1] 4 elemento di voti voti[i*30-2] ERRORE!! (grave) è lecito scrivere: voti[3*i] = 27; altrivoti[2] = voti[i] + 5; in generale: non si può fare assegnamento tra variabili di tipo array (voti = altrivoti; ERRORE) non si possono usare operatori di relazione o aritmetici tra variabili di tipo array voti + altrivoti ERRORE voti <= altrivoti ERRORE 15 L11 Fondamenti di Informatica 1 - VincenzoGrassi

16 un array non può essere il tipo di una funzione un array può essere parametro di una funzione (implicitamente, è sempre per riferimento) void f(int x[10]) { } si può inizializzare una variabile di tipo array (ma solo al momento della dichiarazione) int voti [5] = {27, 19, 30, 24, 26}; esempio: programma che legge 50 voti e #include <iostream.h> main() {const int NUMVOTI = 50; int voti[numvoti]; int i; for (i=0; i<numvoti; i++) nota il < {cout<<"scrivi un voto: "; con <= si cin>>voti[i]; } incrementa di 3 ogni voto: for (i=0; i<numvoti; i++) voti[i] = voti[i]+3; andrebbe fuori dai limiti! 16 L11 Fondamenti di Informatica 1 - VincenzoGrassi

17 azzera i voti di indice pari: 1a versione for (i=0; i<numvoti; i++) if (i%2==0) voti[i] = 0; 2a versione for (i=0; i<numvoti; i=i+2) voti[i] = 0; quale delle due è piu efficiente? stampa tutti i voti finchè non ne incontra uno < 27 i = 0; while (voti[i] < 27) {cout <<voti[i]<<' '; i = i+1; } 17 L11 Fondamenti di Informatica 1 - VincenzoGrassi