التحقق أثناء الترجمة و@compileError
أوقف عملية البناء برسائل واضحة
التحقق أثناء الترجمة و@compileError درس مجاني في Zig Academy على CoddyKit. هذا هو الدرس 3 من أصل 4. يمكنك قراءة الدرس كاملاً أدناه مجاناً — ثم تمرن عليه مباشرة في المتصفح باستخدام محرر أكواد مدمج ومدرس ذكاء اصطناعي متاح 24/7. هذا الدرس جزء من مسار التعلم في Zig Academy، وتقدمك يتزامن عبر الويب وتطبيق CoddyKit. تتضمن دورة Zig Academy 4 دروس في المجموع.
اكتشاف الأخطاء قبل وقت التشغيل
يتيح لك Zig رفض الاستخدامات غير الصحيحة أثناء ترجمة الشيفرة. وتوقف البنية المدمجة @compileError عملية البناء برسالة تكتبها أنت. 🛑
الفشل برسالة واضحة
تأخذ @compileError سلسلة نصية معروفة وقت comptime وتوقف الترجمة، مع طباعة النص نفسه تمامًا حتى يعرف المستدعي ما الذي حدث.
@compileError("this type is not supported");حماية دالة عامة
داخل فرع comptime، يمكنك رفض الأنواع غير المرغوبة. لا تمر هنا إلا الأعداد الصحيحة؛ أما الأنواع الأخرى فتصل إلى @compileError عند موضع الاستدعاء.
if (@typeInfo(T) != .Int) {
@compileError("T must be an integer");
}تشير الأخطاء إلى المستدعي
يُجرى فحص comptime عند إنشاء نسخة الدالة، لذلك يظهر error حيث مُرّر النوع الخاطئ فعليًا.
تأكيد الحقائق باستخدام comptime
بالنسبة إلى الثوابت البسيطة، توقف comptime assert عملية البناء عندما يكون الشرط خاطئًا، على نحو يشبه تأكيد وقت التشغيل لكن في مرحلة أبكر.
comptime std.debug.assert(@sizeOf(T) <= 8);التحقق من وجود تصريح
استخدم @hasDecl للتأكد من أن نوعًا ما يوفر دالة أو ثابتًا قبل استدعائه، ثم أبلغ عن الفشل بوضوح إذا لم يوفره.
if (!@hasDecl(T, "init")) {
@compileError("T needs an init function");
}التحقق من وجود حقل
وبالمثل، تخبرك @hasField بما إذا كانت بنية ما تحتوي على حقل مسمّى، وهو أمر مفيد عند التحقق من الأشكال وقت الترجمة.
const ok = @hasField(Config, "port");بناء الرسائل من أسماء الأنواع
ادمج @typeName مع std.fmt لتضمين النوع المتسبب في المشكلة داخل رسالتك، ومنح المستدعين خطأً دقيقًا وسهل القراءة.
@compileError("unsupported type: " ++ @typeName(T));ضم السلاسل وقت الترجمة
يضم العامل ++ سلاسل comptime، لذلك يمكنك إنشاء نص خطأ مفصل من دون أي تخصيص على الكومة.
من دون تكلفة وقت تشغيل
تحدث كل عمليات التحقق هذه أثناء الترجمة. ولا يحمل البرنامج الذي يُبنى بنجاح أي تكلفة على الإطلاق للتحقق وقت التشغيل. ⚡
أفضل من انهيار وقت التشغيل
يحوّل التحقق في comptime احتمال حدوث انهيار إلى رسالة ودية أثناء البناء، وبذلك يُكتشف سوء الاستخدام مبكرًا ويُشرح جيدًا.
تحقق سريع
تريد إيقاف البناء برسالة مخصصة عندما يكون نوع ما غير مدعوم. ماذا تستدعي؟
مراجعة
ترفض @compileError، إلى جانب فحوص مثل @hasDecl وcomptime assert، الاستخدامات غير الصحيحة أثناء البناء، من دون أي تكلفة وقت تشغيل. 🎯
تعلم Zig مع معلم ذكاء اصطناعي — مجانًا
اكتب وقم بتشغيل أكوادك الفعلية في المتصفح، واحصل على مساعدة فورية من معلم ذكاء اصطناعي متاح 24/7، واستمر من حيث توقفت على الويب أو في التطبيق.
- الدورات
- 30
- الدروس
- 120
الأسئلة الشائعة
هل درس «التحقق أثناء الترجمة و@compileError» مجاني؟
نعم — نص درس «التحقق أثناء الترجمة و@compileError» كامل متاح مجاناً هنا على الويب. لتمرينه بشكل تفاعلي (محرر أكواد مدمج ومدرس ذكاء اصطناعي متاح 24/7) وفتح باقي دورة Zig Academy، انتقل إلى CoddyKit PRO. تتضمن دورة Zig Academy 4 دروس في المجموع.
ماذا ستتعلم في «التحقق أثناء الترجمة و@compileError»؟
أوقف عملية البناء برسائل واضحة تتمرن على Zig Academy مع أكواد عملية تشغلها مباشرة في المتصفح، ومدرس ذكاء اصطناعي متاح 24/7 يجيب على أسئلتك أثناء عملك.
هل أحتاج إلى خبرة سابقة لأبدأ Zig Academy؟
لا تُشترط خبرة سابقة. Zig Academy على CoddyKit منظم للمبتدئين حتى المتقدمين، لذا يمكنك البدء من هنا أو من البداية والتقدم بسرعتك الخاصة. هذا هو الدرس 3 من أصل 4.
كم من الوقت يستغرق درس «التحقق أثناء الترجمة و@compileError»؟
معظم دروس CoddyKit تستغرق حوالي 5–10 دقائق. كل منها موجز وتفاعلي، لذا تحرز تقدماً مستمراً وتستأنف من حيث توقفت عبر الويب والتطبيق.
هل يمكنني كتابة وتشغيل أكواد في درس Zig Academy هذا؟
نعم. كل درس في Zig Academy يتضمن محرر أكواد مدمج، لذا تكتب وتشغل أكواداً حقيقية مباشرة في متصفحك وتحصل على تعليقات فورية من الذكاء الاصطناعي — بدون إعداد محلي.
جميع الدروس في هذه الدورة
- فحص الحقول باستخدام @typeInfo
- بناء الأنواع باستخدام @Type
- التحقق أثناء الترجمة و@compileError
- توليد التعليمات البرمجية باستخدام comptime