استنتاج النوع مقابل الأنواع الصريحة

عند ربط قيمة، يمكن لـ Zig تحديد نوعها لك، أو يمكنك كتابته صراحةً. وتعتمد الطريقتان على نظام Zig القوي والثابت لتحديد type.

إذا جعلت القيمة النوع واضحًا، فاترك لـ Zig مهمة infer له. فـ ‎const name = "Ada"‎ واضح على أنه نص، ولا يحتاج إلى annotation.

لتحديد النوع بنفسك، اكتب colon ثم النوع بعد الاسم. هكذا تثبّت العرض الدقيق للعدد الصحيح.

يصبح literal العدد الصحيح المستنتج من النوع comptime_int إلى أن تستخدمه. وعندما يوضع في موضع محدد، تحوّله Zig إلى العرض المطلوب.

أحيانًا لا تكفي القيمة وحدها. يحتاج var الذي يبدأ بـ 0 إلى نوع صريح حتى تعرف Zig ما إذا كان u8 أم i64.

يكون العدد ‎3.14‎ دون تحديد نوع من نوع comptime_float. حدّد نوعه لاختيار f32 أو f64 عندما تكون الدقة وحجم الذاكرة مهمين فعلًا لك.

عندما يكون النوع واضحًا من السياق، فإن حذفه يجعل الأسطر clean. حدّد النوع فقط عندما يضيف وضوحًا حقيقيًا أو يكون مطلوبًا.

عند إسناد 5 إلى موضع من نوع u16، تلائم القيمة ذلك الموضع بهدوء. وتجري Zig coercion آمنًا نحو النوع المعلن كلما أمكنها ذلك.

تكون الأنواع دائمًا explicit في تواقيع الدوال وبنى البيانات. فالاستنتاج تسهيل محلي، وليس وسيلة لتجاوز التصريحات.

لن تحوّل Zig عددًا عشريًا إلى عدد صحيح بصمت نيابةً عنك. إذ تؤدي الأنواع غير المتطابقة إلى error، مما يحافظ على سلوك عددي يمكن التنبؤ به.

استنتج النوع عندما تكون القيمة واضحة بذاتها؛ وحدّده عندما يكون النوع هو information التي يحتاج إليها القارئ. ينبغي أن يقود الوضوح هذا الاختيار.

رأيت أن Zig تستطيع infer النوع من قيمة واضحة، أو يمكنك تحديده باستخدام colon. دع الوضوح والحالات المطلوبة يحددان الخيار المناسب. 🎯