لماذا لا يحتوي Zig على تخصيصات خفية

في Zig، لا تستولي أي دالة من المكتبة القياسية على ذاكرة الكومة خفيةً. فإذا احتاجت الشيفرة إلى الحجز، فعليها التصريح بذلك بوضوح. 📦

كل ما يحجز ذاكرة يتلقى مخصّصاً كوسيط. فلا يمكن أن تظهر الذاكرة ما لم تمنح الدالة الأداة اللازمة لإنشائها.

لا يملك Zig معامل new ولا جامعاً للمهملات. فلا يصل أي شيء إلى الكومة من وراء ظهرك كما يحدث في كثير من اللغات.

بما أن الحجز ظاهر، فأنت تعرف دائماً من أين تأتي الذاكرة. وهذا أمر حيوي للرقائق المضمّنة والنوى وحلقات الألعاب التي تتطلب أداءً عالياً.

تُظهر الدالة التي قد تحجز ذاكرة ذلك في توقيعها: فهي تتلقى مخصّصاً، وعادةً ما تعيد اتحاد أخطاء باستخدام !.

تعيش المتغيرات المحلية العادية على المكدس ولا تحتاج إلى مخصّص. ولا تحتاج إليه إلا عندما يجب أن تتجاوز قيمة عمر دالتها أو تنمو وقت التشغيل.

قد يفشل طلب ذاكرة من الكومة، ولذلك تعيد دوال الحجز خطأً. ويجب عليك التعامل مع احتمال OutOfMemory وعدم تجاهله أبداً.

يمتلك من يستدعي المخصّص النتيجة، ويجب عليه تحريرها. ولا يحرّر Zig ذاكرتك نيابةً عنك، لذلك تكون الملكية واضحة دائماً.

بما أن المخصّص وسيط، يمكنك تبديل الاستراتيجيات دون تغيير المنطق. تستخدم الاختبارات مخصّصاً، ويستخدم الإنتاج مخصّصاً آخر.

لا تخفي المكتبة المكتوبة جيداً أي عملية حجز. فهي تقبل مخصّصك، فتتحكم في الذاكرة حتى داخل شيفرة الآخرين.

تُعد هذه القاعدة جزءاً من وعد Zig بعدم وجود تدفق تحكم خفي. ويحافظ الحجز الصريح على قابلية التنبؤ بالبرامج وسهولة تحليلها. ✅

رأيت أن Zig لا يحتوي على حجوزات خفية: لا تأتي الذاكرة إلا عبر مخصّص تمرّره، وأنت تملك كل ما تنشئه وتحرّره. 🎯