التصريح عن الأنواع الاختيارية

تواجه البرامج الحقيقية حالات تكون فيها القيمة مفقودة ببساطة: يفشل البحث، أو يكون أحد الحقول فارغًا. يمثّل Zig هذا الغياب بأمان وعن قصد.

يمكن للنوع optional أن يحتوي إما على قيمة حقيقية من نوع معيّن، أو على القيمة الخاصة null التي تعني عدم وجود شيء.

تجعل أي نوع اختياريًا بكتابة ? قبله. لذلك فإن ?i32 هو عدد صحيح قد تكون قيمته أيضًا null.

يمكن للنوع الاختياري أن يحتوي على قيمة عادية أيضًا. إذ تسند 42 إلى ?i32 بالطريقة نفسها التي تسند بها قيمة إلى i32 عادي.

الكلمة المفتاحية null هي القيمة الحرفية التي تعني عدم وجود قيمة. ولا يُسمح إلا للأنواع الاختيارية باحتوائها.

لا يمكن لـ i32 عادي أن يكون null أبدًا. يوقفك المصرّف، فيظل الغياب ظاهرًا في النوع بدلًا من أن يختبئ في صورة قيمة غير صالحة.

الأنواع الاختيارية ليست مخصصة للأعداد فقط. يمكنك جعل bool أو بنية أو شريحة أو أي نوع آخر اختياريًا بإضافة علامة الاستفهام.

عند إسناد قيمة اختيارية، يستنتج Zig النوع الاختياري نيابةً عنك، لذلك لا يتعين عليك دائمًا كتابته يدويًا.

في C، يحاكي المطورون الغياب باستخدام قيم مثل -1 أو مؤشر null. أما Zig فيمنحك نوعًا اختياريًا حقيقيًا، فلا يمكن الخلط بين الغياب والبيانات.

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

من الشائع بدء النوع الاختياري بالقيمة null ثم تعبئته لاحقًا عندما تحصل فعلًا على القيمة التي تريد تخزينها.

كيف تعلن عن u32 قد تكون قيمته مفقودة؟

تعرّفت إلى الأنواع الاختيارية: اكتب ? قبل النوع للسماح بقيمة حقيقية أو null. أصبح الغياب الآن جزءًا من النوع، واضحًا وصريحًا. ❓