RAII e cleanup deterministico
RAII esegue cleanup a ogni uscita dallo scope, incluse le exception.
Che cos’è RAII e cleanup deterministico?
RAII esegue cleanup a ogni uscita dallo scope, incluse le exception.
Lega il lifetime della risorsa all’oggetto.
Punti importanti
- Comprendi prima il meccanismo C.
- Usa RAII e value semantics per ownership.
- Preferisci astrazioni type-safe a macro e cast.
Esempi di codice C e C++
main.c
#include <stdio.h>
int main(void) {
int result = 1;
FILE *file = fopen("scores.txt", "w");
if (!file) goto cleanup;
if (fputs("Ada 95\n", file) < 0) goto cleanup;
result = 0;
cleanup:
if (file) fclose(file);
puts(result ? "failed" : "saved");
return result;
}
saved
C++
main.cpp
#include <fstream>
#include <iostream>
int main() {
std::ofstream file("scores.txt");
if (!file) return 1;
file << "Ada 95\n";
std::cout << "saved\n";
}
saved
Confronto tra C e C++
C usa un’etichetta cleanup per raggiungere fclose; il distruttore fstream chiude automaticamente e localizza ownership.
C
C usa prefissi, callback, macro e context espliciti.
C++
Il linguaggio offre astrazioni con scope, type-safe e spesso zero-overhead.
Esercizi pratici
Esegui entrambe le versioni e modificale per osservare le diverse garanzie.
- Scrivi prima il meccanismo C.
- Sostituisci cleanup manuale con RAII.
- Misura allocation e virtual dispatch.