Konstruktori on erityinen metodi, joka suoritetaan kun objekti luodaan, ja sen tarkoitus on alustaa objektin tilaa kelvolliseen alkutilaan. Destruktori (tai finalisaattori) suoritetaan kun objekti tuhoutuu, ja sen tarkoitus on vapauttaa resursseja.
{
String host;
{
(host == )
();
.host = host;
}
}
Hyvä konstruktori takaa, että objekti ei ole koskaan havaittavissa virheellisessä tilassa.
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
| Kieli | Puhdistamismekanismi |
|---|---|
| C++ | Destruktori ~T(), suoritetaan determinististisesti |
| Java/C# | GC + finalize/Dispose (ei-deterministinen; käytä try-with-resources / using) |
| Python | __del__ (epäluotettava ajankohta); käytä kontekstinhallinnan |
Roskienkeruulla varustetuissa kielissä älä koskaan luota finalisaattoreihin tiedostojen, sokettien tai lukkojen vapauttamiseen — niiden ajankohta on määrittelemätön. Käytä eksplisiittisiä close/Dispose/kontekstinhallintamenetelmiä.
Konstruktorit ovat takuu siitä, että jokainen objekti alkaa kelvollisessa tilassa — paras paikka vaatia välttämättömiä argumentteja ja invariantteja.
Puhdistaminen on tärkeää, koska rajalliset resurssit (tiedostokäsittelijät, yhteydet) vuotavat, jos niitä ei vapauteta, ja niiden vapauttamiseen luottaminen roskienkeruussa aiheuttaa satunnaisia, vaikeasti debugattavia loppumisia.