البنّاء (constructor) هو دالة خاصة يتم تنفيذها عند إنشاء كائن، وتُستخدم لـ تهيئة حالته إلى حالة ابتدائية صحيحة. المدمّر (destructor) أو ما يُعرف بـ (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)، لا تعتمد أبداً على المدمّرات لتحرير الملفات أو المآخذ (sockets) أو الأقفال — توقيت تنفيذها غير محدد. استخدم بدلاً من ذلك close/Dispose/مديري السياق الصريحة.
البنّاءات تضمن أن كل كائن يبدأ بحالة صحيحة — وهي أفضل مكان لفرض الحجج المطلوبة والثوابت (invariants).
التنظيف مهم لأن الموارد المحدودة (مقابض الملفات والاتصالات) تتسرّب إذا لم يتم تحريرها، والاعتماد على جامع القمامة لهذا الغرض يسبب استنزاف متقطع وصعب التتبع.