Ένας κατασκευαστής είναι μια ειδική μέθοδος που εκτελείται όταν δημιουργείται ένα αντικείμενο, χρησιμοποιείται για να αρχικοποιήσει την κατάσταση του σε μια έγκυρη αρχική συνθήκη. Ένας καταστροφέας (ή finalizer) εκτελείται όταν ένα αντικείμενο καταστρέφεται, χρησιμοποιείται για να καθαρίσει πόρους.
{
String host;
{
(host == )
();
.host = host;
}
}
Ένας καλός κατασκευαστής εξασφαλίζει ότι το αντικείμενο δεν είναι ποτέ παρατηρήσιμο σε μια άκυρη κατάσταση.
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
| Γλώσσα | Μηχανισμός καθαρισμού |
|---|---|
| C++ | Καταστροφέας ~T(), εκτελείται ντετερμινιστικά |
| Java/C# | GC + finalize/Dispose (μη-ντετερμινιστικό; χρησιμοποιήστε try-with-resources / using) |
| Python | __del__ (αναξιόπιστη χρονική στιγμή); προτιμήστε context managers |
Σε γλώσσες με garbage collection, ποτέ μην βασίζεστε στους finalizers για απελευθέρωση αρχείων, sockets ή κλειδωμάτων — ο χρονισμός τους είναι απροσδιόριστος. Χρησιμοποιήστε ρητό close/Dispose/context managers.
Οι κατασκευαστές είναι η εγγύησή σας ότι κάθε αντικείμενο ξεκινά έγκυρο — ο καλύτερος μόνος τόπος για να επιβάλετε υποχρεωτικά ορίσματα και αμετάβλητα.
Ο καθαρισμός έχει σημασία επειδή οι περιορισμένοι πόροι (file handles, συνδέσεις) διαρρέουν εάν δεν απελευθερωθούν, και η κατάσχεση του GC για αυτούς προκαλεί διακοπτόμενη, δύσκολη αποσφαλμάτωση κόπωση.