Esercizi per oggi

Link alle risorse online

La spiegazione dettagliata degli esercizi si trova qui: carminati-esercizi-02.html.
Come al solito, queste slides, che forniscono suggerimenti addizionali rispetto alla lezione di teoria, sono disponibili all'indirizzo ziotom78.github.io/tnds-tomasi-notebooks.
Ricordo a quanti usano i computer del laboratorio di configurare il compilatore. Seguite le istruzioni che avevamo fornito settimana scorsa (link).

Esercizi

Lo scopo della lezione di oggi è introdurre il concetto di «classe», che è un tipo di dato complesso del linguaggio C++, creando una classe Vettore che implementa un array «intelligente» di valori double.
Esercizio 2.0: creazione della classe Vettore.
Esercizio 2.1: completamento dell'esercizio 2.0.
Esercizio 2.2 (da consegnare per l'esame scritto): è lo stesso tipo di esercizio della scorsa lezione, ma ora occorre usare quanto si è scritto per gli esercizi 2.0 e 2.1.

Velocità del codice

Calcolo della varianza

Attenzione a non far fare al vostro codice calcoli inutili!

Un errore molto diffuso è quello di implementare il calcolo della varianza così:

for(int i = 0; i < N; ++i) {
  accum += pow(v[i] - calcola_media(v, N), 2);
}

Il codice invoca calcola_media per N volte! Molto meglio scrivere così:

double media = calcola_media(v, N);
for(int i = 0; i < N; ++i) {
  accum += pow(v[i] - media, 2);
}

Scrittura di test

Verificate il vostro codice!

N = 365:
  - Mean               : -1.0813335533916488
  - Variance           : 6.67466568793561 (corrected: 6.693002681583785)
  - Standard deviation : 2.5835374369138933 (corrected: 2.587083818043742)
  - Median             : -0.9156626506024095

N = 10:
  - Mean               : -1.1889156626506023
  - Variance           : 4.270508578893889 (corrected: 4.745009532104321)
  - Standard deviation : 2.0665208876016448 (corrected: 2.1783042790446703)
  - Median             : -1.3186746987951807

N = 9:
  - Mean               : -0.9204819277108434
  - Variance           : 4.024442831567232 (corrected: 4.527498185513136)
  - Standard deviation : 2.0061014011179075 (corrected: 2.12779185671746)
  - Median             : -0.9

Verifica della correttezza dei codici

Quando si scrive un programma, è indispensabile verificare che funzioni.
La scorsa settimana vi avevo fornito i risultati attesi, che avete (spero!) confrontato con l'output dei vostri programmi.
Ma se nelle prossime settimane deciderete di mettere mano ai vecchi esercizi per migliorarli, dovrete ricontrollare i numeri dopo ogni modifica del codice!
Non sarebbe meglio se fosse il computer a fare questi controlli per voi?

Un semplice esempio

#include <iostream>

int calc(int a, int b) { return a + b; }

int main() {
    std::cout << "Inserisci due numeri: ";

    int a, b;
    std::cin >> a >> b;

    std::cout << "Il risultato è " << calc(a, b) << "\n";
    return 0;
}

Un semplice esempio

Per verificare la correttezza del codice, si può eseguire alcune volte il programma.

$ g++ test1.cpp -o test1
$ ./test1
Insert two numbers: 4 6
The result is 10

$ ./test1
Insert two numbers: -1 3
The result is 2

$

Il conto però, come abbiamo visto, va verificato a mano ogni volta.

Test automatici {#test-automatici}

Si può verificare automaticamente la correttezza del codice con assert:

#include <cassert>

void test_sum() {
    // No need to write std::assert, as it is a macro
    assert(sum(4, 6) == 10);
    assert(sum(-1, 3) == 2);
}

Una chiamata ad assert viene tradotta più o meno così:

// assert(sum(4, 6) == 10);
if (! (sum(4, 6) == 10)) {
    make_the_program_crash();
}

Test automatici

Il resto del codice resta uguale, ma nel main si deve invocare test_sum() prima di ogni altra cosa:

int main(int argc, char *argv[]) {
    // This must be the very first thing!
    test_sum();

    // Now implement the exercise as requested
    …
}

Potete implementare più funzioni test_*(), che poi chiamerete una di seguito all'altra nel main.

Test automatici

Se c'è un errore, il programma si blocca con un messaggio:

$ ./test2
test2.cpp:4:void test_sum():
   Assertion `sum(-1,3) == 2' failed
Aborted (core dumped)
$

Avvertenza: questo output si ottiene solo se avete implementato il suggerimento della scorsa lezione e usate il flag -g3 nel Makefile.

Test automatici

Inserite sempre all'inizio del main una serie di test.

Il main dei vostri prossimi esercizi sembrerà questo:

int main(int argc, char *argv[]) {
    // Put the tests of the functions you're going to use
    test_bisection();
    test_simpson_integral();
    test_random_generator();
    test_hit_or_miss();
    …
}

In questa e nelle lezioni successive vi fornirò una serie di comandi assert da inserire nei vostri codici: vi aiuteranno a verificare che l'esercizio sia corretto.

Test sui floating-point

Se provate a scrivere dei test per gli esercizi di queste prime lezioni, vi imbatterete però in un problema legato ai numeri floating-point.
Si può vedere facilmente che i numeri floating-point sono solo un'approssimazione dei numeri reali. Ad esempio, il numero 0.1 non è rappresentabile esattamente con un float o un double.
Occorre fissare una tolleranza $\epsilon$ e verificare che il risultato del calcolo $x_\text{calc}$ differisca dal valore atteso $x_\text{exp}$ per meno di $\epsilon$, ossia

$$\left|x_\text{calc} - x_\text{exp}\right| < \epsilon.$$

Esercizio 1.1: assert

// Return true if `calculated` and `expected` differ by less than `epsilon`
bool are_close(double calculated, double expected, double epsilon = 1e-7) {
  return fabs(calculated - expected) < epsilon;
}

void test_statistical_functions(void) {
  double mydata[] = {1, 2, 3, 4};  // Use these instead of data.dat

  assert(are_close(CalcolaMedia(mydata, 4), 2.5));
  assert(are_close(CalcolaVarianza(mydata, 4), 1.25));
  assert(are_close(CalcolaMediana(mydata, 4), 2.5));  // Even
  assert(are_close(CalcolaMediana(mydata, 3), 2));    // Odd

  // Continue from here …

  // At the end, be sure to print a message stating that everything was ok
  cerr << "All the statistical tests have passed! 🥳\n";
}

Questi assert vanno bene anche per gli esercizi di oggi, con opportuni aggiustamenti (es., usare Vettore anziché double *).

Messaggio alla fine dei test

Se gli assert() ricevono un valore true, non stampano nulla.
È meglio però avere un feedback a video, altrimenti potreste non essere sicuri che i test siano effettivamente stati eseguiti. Ad esempio, potreste dimenticarvi di chiamare test_statistical_functions() nel main()!
Il codice della slide precedente produce questo messaggio:
```
All the statistical tests have passed! 🥳
```
Abituatevi ad aspettarvi questo genere di messaggio in cima ad ogni esercizio che scriverete d'ora in poi.

Esempio di output

Se avete sbagliato ad implementare una delle funzioni, questo è quello che accade quando eseguite il programma:

$ make
esercizio01.1: esercizio01.1.cpp:53: int main(): ↲
    Assertion `are_close(CalcolaMediana(mydata, num), 2.5)' failed.
Aborted (core dumped)
$

Anche quando avete verificato che gli assert passano con successo, lasciateli al loro posto: nel caso in cui in futuro dobbiate modificare l'implementazione delle funzioni (ad esempio per renderla più veloce), continueranno a fungere da controllo. (Ed è appagante vedere la faccina che festeggia 🥳!)

Assert negli esercizi

Le liste di assert che vi fornisco sono state costruite anno dopo anno, alla luce degli errori che solitamente hanno fatto i vostri precedenti colleghi nei loro esercizi.
Non presentatevi all'esame finché non riuscite a far passare tutti gli assert di tutti gli esercizi!
Molte volte degli studenti hanno presentato uno scritto in cui avevano usato librerie con errori! E quasi sempre ritrovavo commenti del genere negli esercizi che consegnavano:
```
// Siccome non riuscivo a far passare i test, ho commentato gli assert.
```

Implementazione di `Vettore`

Accesso ai dati {#operator-array}

Il testo dell'esercizio richiede di implementare i metodi GetComponent e SetComponent per leggere e scrivere valori nell'array:

Vettore v(2);
v.SetComponent(0, 162.3);
v.SetComponent(1, 431.7);
std::cout << v.GetComponent(1) << endl;   // Print 431.7

Questo è però più scomodo rispetto ai semplici array:

double v[2];
v[0] = 162.3;
v[1] = 431.7;
std::cout << v[1] << endl;                // Print 431.7

Uso di `operator[]`

Si può rendere valida la scrittura miovett[3] anche con oggetti di tipo Vettore implementando il metodo operator[]:

double Vettore::operator[](int index) {
    assert(index >= 0 && index < m_size);
    return m_arr[index];
}

In questo modo la linea di codice std::cout << miovett[5] << "\n" sarà equivalente a
```
assert(5 >= 0 && 5 < miovett.m_size);
std::cout << miovett.m_arr[5] << endl;
```

Uso di `operator[]`

Se si ritorna un reference, è possibile anche fare assegnamenti:

//     !
double & Vettore::operator[](int index) {
    assert(index >= 0 && index < m_size);
    return m_arr[index];
}

Così il programma seguente diventa legale:

Vettore v(2);
v[0] = 162.3;  // Assignment, works thanks to the reference
v[1] = 431.7;  // Ditto
std::cout << v[1] << endl;                // Print 431.7

Uso di header files

Avete visto a lezione l'utilità degli header files, ossia dei file con estensione .h, .hh o .hpp.
Capita spesso che un file sia incluso più volte nel corso di una stessa compilazione.

Consideriamo questo esempio:

// File main.cpp

#include "vettore.h"
#include "statistiche.h"

int main() {
    // ...
}

Nel main si usano sia le funzioni dichiarate in vettore.h che quelle dichiarate in statistiche.h, quindi ci vogliono entrambi gli #include.

Uso di header files

Supponiamo che questo sia il contenuto di vettore.h:

// File vettore.h

class Vettore {
    // ...
};

e questo sia il contenuto di statistiche.h:

// File statistiche.h

#include "vettore.h"

double CalcolaMedia(const Vettore & vett);

Uso di header files

Compilare il programma main.cpp provocherebbe un errore di compilazione:

Il primo #include definisce la classe Vettore;
Il secondo #include carica statistiche.h…
…che a sua volta definisce di nuovo la classe Vettore: ma il C++ non ammette di definire due classi con lo stesso nome (neppure se sono identiche!).

// File main.cpp

#include "vettore.h"
#include "statistiche.h"

int main() {
    // ...
}

Uso di header files

In pratica, g++ è come se vedesse questo codice:

// Questo viene da #include "vettore.h"
class Vettore {
    // ...
};

// Questo viene dal secondo #include
class Vettore {
    // ...
};

double CalcolaMedia(const Vettore & vett);

int main() { /* ... */ }

Header guards {#header-guards}

Questo è un problema che risale ai primordi del linguaggio C (fine anni '60), ed è stato storicamente risolto con l'uso di header guards:
```
// File vettore.h
#ifndef __VETTORE_H__
#define __VETTORE_H__

class Vettore {
    // ...
};

#endif
```
In questo modo, la seconda volta che il file viene incluso verrà saltato. L'identificatore __VETTORE_H__ è arbitrario.

`#pragma once` {#pragma-once}

I recenti compilatori C++, incluso il g++, permettono un'alternativa più semplice alle header guards.
La seguente scrittura è più agile e mette al riparo da errori:
```
#pragma once  // Questo file sarà incluso una volta sola

class Vettore {
    // ...
};
```
È più comoda perché si deve aggiungere una sola riga senza dover inventare un identificatore (__VETTORE_H__).

Possibili errori

L'uso di #pragma once mette al riparo anche da una serie di errori che gli studenti di questo corso fanno spesso.

// Primo esempio
#ifndef __vettore_h__
#define __vettore_h_

#endif

// Secondo esempio
#ifdef  __vettore_h__
#define __vettore_h__

#endif

// Terzo esempio
#ifdef  __vettore_h__
#define __Vettore_h__

#endif

Costruttori, move semantics, etc. {#move-semantics}

«Costruzione» di una variabile

Ci sono due passaggi che il compilatore C++ compie quando si introduce una variabile nel codice:
1. Allocazione della memoria necessaria;
2. Inizializzazione della memoria.

Esempio:

int x;  // Allocation
x = 15; // Initialization

int y = 30; // Shortcut, but there are still *two* operations here.

«Costruzione» di `Vettore`

Le classi, a differenza di int, richiedono l'invocazione di un costruttore.

Il costruttore va invocato quando si dichiara la variabile: non è possibile «differire» l'inizializzazione:

int x;
x = 15;         // Ok: first allocate, then initialize

Vettore v;
v(10);          // Error, you cannot call the constructor here!

Vettore w(10);  // Ok: allocate, then initialize

I costruttori possono richiedere molto tempo per essere eseguiti, ad esempio se al loro interno invocano new (com'è il caso di Vettore).

Analogia

{ width=20% } { width=20% }

Immaginiamo che una variabile sia come un appartamento. Una volta allocata, è come quando gli imbianchini e i piastrellisti hanno appena terminato il lavoro. Quando poi viene chiamato il costruttore della variabile, è come se la casa venisse arredata.

Costruttori

{ width=20% } { width=20% }

Vettore::Vettore(int n) : m_N(n) {
    m_v = new double[m_N];         // Allocate (build up the building)
    for(int i = 0; i < m_N; ++i)   // Initialize (add the furniture)
        m_v[i] = 0.0;
}

Costruttori di copia

{ width=20% } { width=20% }

Un copy constructor corrisponde all'azione di costruire una stanza vuota identica alla prima (ossia, di tipo Vettore), e riempirla con gli stessi identici mobili (ossia, assegnando lo stesso valore a m_N e agli elementi di m_v): è come se volessi arredare due camere di un albergo in modo che siano identiche.

Costruttori di copia

{ width=20% } { width=20% }

Vettore::Vettore(const Vettore &vett) : m_N(vett.m_N) {
    m_v = new double[m_N];        // Allocate (build up the building)
    for(int i = 0; i < m_N; ++i)  // Initialize (add a copy of the furniture
        m_v[i] = vett.m_v[i];     // that was used in the old building)
}

Operazione di assegnamento

{ width=20% } { width=20% }

Con una operazione di assegnamento (operator=), abbiamo due stanze già arredate (variabili già inizializzate), che vogliamo rendere identiche. Dobbiamo quindi prima svuotare la stanza di destinazione perché è piena, e solo dopo arredarla allo stesso modo dell'altra.

Operazione di assegnamento

{ width=20% } { width=20% }

Vettore & Vettore::operator=(const Vettore &vett) {
    m_N = vett.m_N;
    if(m_v) delete[] m_v;           // Put the old building in the garbage!
    m_v = new double[m_N];          // Create a new building
    for(int i = 0; i < m_N; ++i) {  // Fill the rooms with a copy of the
        m_v[i] = vett.m_v[i];       // old furniture
    }
}

Operazione di assegnamento

{ width=20% } { width=20% }

Vettore v1(10), v2(30);
// …here I initialize v1 and v2, and I use them for some time.

v1 = v2; // Assignment through Vettore::operator=

Move constructor

{ width=20% } { width=20% }

Il move constructor è stato introdotto nel C++11, e corrisponde a un trasloco: ho una stanza già arredata e una vuota, e voglio spostare i mobili dalla prima alla seconda, senza comprarne di nuovi: così non spreco nulla!

Move constructor

{ width=20% } { width=20% }

Vettore::Vettore(Vettore && vett) : m_n(vett.m_N) {
    // No need for "delete vett.m_v": I want to keep the old furniture!
    m_v = vett.m_v;  // No need to call "new": very fast!
    // No "for" loop to copy the elements: very fast!
}

Move constructor

{ width=20% } { width=20% }

// Function "Read" creates a Vector and fill it with data read from file
Vettore Read(int ndata, const char * filename) {
  Vettore result(ndata);
  // …
  return result;
}

Vettore v = Read(ndata, filename);

Distinguere tra i casi

Vettore v1(10);                    // Constructor
Vettore v2(v1);                    // Copy constructor
Vettore v3 = v1;                   // Copy constructor

v3 = v1;                           // Assignment
Vettore v4 = Read(10, "data.dat"); // Move constructor
                                   // (at the end of the call to "Read")

title: Laboratorio di TNDS -- Lezione 2 author: Maurizio Tomasi date: Martedì 1 Ottobre 2024 css:

css/custom.css
css/asciinema-player.css theme: white progress: true slideNumber: true background-image: ./media/background.png history: true width: 1440 height: 810 ...

Files

tomasi-lezione-02.md

Latest commit

History

tomasi-lezione-02.md

File metadata and controls

Esercizi per oggi

Link alle risorse online

Esercizi

Velocità del codice

Calcolo della varianza

Scrittura di test

Verificate il vostro codice!

Verifica della correttezza dei codici

Un semplice esempio

Un semplice esempio

Test automatici {#test-automatici}

Test automatici

Test automatici

Test automatici

Test sui floating-point

Esercizio 1.1: assert

Messaggio alla fine dei test

Esempio di output

Assert negli esercizi

Implementazione di Vettore

Accesso ai dati {#operator-array}

Uso di operator[]

Uso di operator[]

Uso di header files

Uso di header files

Uso di header files

Uso di header files

Uso di header files

Header guards {#header-guards}

#pragma once {#pragma-once}

Possibili errori

Costruttori, move semantics, etc. {#move-semantics}

«Costruzione» di una variabile

«Costruzione» di Vettore

Analogia

Costruttori

Costruttori di copia

Costruttori di copia

Operazione di assegnamento

Operazione di assegnamento

Operazione di assegnamento

Move constructor

Move constructor

Move constructor

Distinguere tra i casi

Implementazione di `Vettore`

Uso di `operator[]`

Uso di `operator[]`

`#pragma once` {#pragma-once}

«Costruzione» di `Vettore`