En konstruktor er en særlig metode, der køres, når et objekt oprettes, og bruges til at initialisere dets tilstand til en gyldig starttilstand. En destruktor (eller finalizer) køres, når et objekt ødelægges, og bruges til at rydde op efter ressourcer.
{
String host;
{
(host == )
();
.host = host;
}
}
En god konstruktor sikrer, at objektet aldrig kan observeres i en ugyldig tilstand.
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
| Sprog | Oprydningsmekanisme |
|---|---|
| C++ | Destruktor ~T(), køres deterministisk |
| Java/C# | GC + finalize/Dispose (ikke-deterministisk; brug try-with-resources / using) |
| Python | __del__ (upålideligt timing); foretrækkes context managers |
I garbage-collected sprog må du aldrig stole på finalizers til at frigive filer, sockets eller låse — deres timing er udefinereret. Brug eksplicit close/Dispose/context managers.
Konstruktorer er din garanti for, at hvert objekt starter gyldigt — det eneste bedste sted til at håndhæve påkrævede argumenter og invarianter.
Oprydning betyder noget, fordi begrænsede ressourcer (filhåndtag, forbindelser) lækker, hvis de ikke frigives, og at stole på GC for dem forårsager intermitterende, svært-at-debugge udtømning.