Een constructor is een speciale methode die wordt uitgevoerd wanneer een object wordt gemaakt, gebruikt om de status ervan in te initialiseren naar een geldige begintoestand. Een destructor (of finalizer) wordt uitgevoerd wanneer een object wordt vernietigd, gebruikt om resources op te schonen.
{
String host;
{
(host == )
();
.host = host;
}
}
Een goede constructor zorgt ervoor dat het object nooit in een ongeldige toestand waarneembaar is.
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
| Taal | Cleanup-mechanisme |
|---|---|
| C++ | Destructor ~T(), loopt deterministisch |
| Java/C# | GC + finalize/Dispose (niet-deterministisch; gebruik try-with-resources / using) |
| Python | __del__ (onbetrouwbare timing); prefeer context managers |
In garbage-collected talen, vertrouw nooit op finalizers voor het vrijgeven van bestanden, sockets of locks — hun timing is ongedefinieerd. Gebruik expliciete close/Dispose/context managers.
Constructors zijn je garantie dat elk object geldig begint — de enige beste plek om vereiste argumenten en invarianten af te dwingen.
Opschonen is belangrijk omdat eindige resources (bestandshandles, verbindingen) weglekken als ze niet worden vrijgegeven, en het vertrouwen erop voor GC veroorzaakt intermitterende, moeilijk te debuggen uitputting.