Un costruttore è un metodo speciale che viene eseguito quando un oggetto viene creato, utilizzato per inizializzare il suo stato in una condizione iniziale valida. Un distruttore (o finalizzatore) viene eseguito quando un oggetto viene distrutto, utilizzato per ripulire le risorse.
{
String host;
{
(host == )
();
.host = host;
}
}
Un buon costruttore garantisce che l'oggetto non sia mai osservabile in uno stato non valido.
class FileWriter:
def __init__(self, path):
self.f = open(path, "w") # acquire resource
def close(self):
self.f.close() # explicit cleanup
def __enter__(self): return self
def __exit__(self, *a): self.close() # deterministic cleanup
with FileWriter("out.txt") as w: # closed automatically at block end
pass
| Linguaggio | Meccanismo di pulizia |
|---|---|
| C++ | Distruttore ~T(), viene eseguito deterministicamente |
| Java/C# | GC + finalize/Dispose (non deterministico; usare try-with-resources / using) |
| Python | __del__ (timing inaffidabile); preferire context manager |
Nei linguaggi con garbage collection, non fare mai affidamento sui finalizzatori per rilasciare file, socket o lock — il loro timing è indefinito. Usare esplicitamente close/Dispose/context manager.
I costruttori sono la tua garanzia che ogni oggetto inizia valido — il luogo migliore per garantire argomenti obbligatori e invarianti.
La pulizia è importante perché le risorse finite (file handle, connessioni) si perdono se non vengono rilasciate, e fare affidamento su GC per esse causa esaurimento intermittente e difficile da debuggare.