الأنواع الأوّلية في Zero: أعداد صحيحة وكسور عشرية وBool وString وVoid

الأنواع المضمَّنة

تُعطيك Zero مجموعة صغيرة منتظمة من الأنواع الأوّلية. لا شيء غريب، لا شيء مفاجئ — فقط الأنواع التي يحتاجها كل لغة أنظمة، مُسمَّاة باتّساق.

العائلة	الأنواع	ملاحظات
أعداد صحيحة بإشارة	i8، i16، i32، i64	تمثيل المتمّم الثنائي.
أعداد صحيحة بدون إشارة	u8، u16، u32، u64	الصفر والقيم الموجبة فقط.
بحجم المؤشِّر	usize، isize	العرض يطابق مؤشِّر المنصّة.
كسور عشرية	f32، f64	IEEE-754.
منطقي	bool	true أو false.
محرف	char	قيمة قياسية واحدة من Unicode.
نصّ	String	نصّ UTF-8.
فارغ	Void	"لا قيمة مفيدة."

هذه القائمة الكاملة للأنواع الأوّلية التي ستلمسها يوميًا. الأنواع المُركّبة — shape، وenum، وchoice — مبنية من هذه.

الأعداد الصحيحة

تتّبع أنواع الأعداد الصحيحة نمط تسمية موحّدًا: i للأعداد ذات الإشارة، وu لغير المُشارة، يتبعها عدد البتات. فـ i32 عدد صحيح بإشارة 32 بت؛ وu8 بايت بدون إشارة؛ وi64 عدد صحيح بإشارة 64 بت.

let small_signed: i8   = -120
let byte:         u8   = 250
let id:           i32  = 1
let big:          i64  = 9_000_000_000
let index:        usize = 0

النوع الافتراضي للقيمة الحرفية بلا لاحقة هو i32 ما لم يفرض السياق المحيط شيئًا آخر:

let answer = 42       // i32

عندما تحتاج عرضًا محدّدًا، أرفق لاحقة بالقيمة الحرفية أو علّق الربط:

let byte = 250_u8     // قيمة حرفية معلَّمة بالنوع
let byte: u8 = 250    // ربط معلَّم بالنوع

يُنتج كلا الشكلين القيمة نفسها. شكل لاحقة القيمة الحرفية مفيد عندما تمرّر قيمة حرفية مباشرة إلى دالة أو تبني بنية:

let pair: BytePair = Pair { left: 1_u8, right: 2_u8 }

متى تختار أيّ عرض

قاعدة عامة قصيرة:

• i32 لمعظم الحسابات ذات الإشارة. واسع بما يكفي لأي شيء تعدّه تقريبًا، وسريع على كل منصّة.
• u8 للعمل على مستوى البايت. بايتات من ملف، بايتات في مخزن، بايتات عبر الشبكة.
• u32 / u64 للأعداد غير السالبة عندما يهمّ المدى. إزاحات ملف أكبر من 2 جيجابايت، أعداد كبيرة.
• usize للأحجام والفهارس. بحجم المؤشِّر — يطابق ما تستخدمه المنصّة لعنونة الذاكرة.
• i64 للوقت منذ الحقبة (Unix epoch) وما يشبهه. كبير بما يكفي لنانوثوانٍ تمتدّ مئات السنين.

اختيار أصغر نوع يناسب الحالة ممارسة جيّدة؛ واختيار نوع صغير جدًا والفيض أكبر بكثير من اختيار نوع أعرض بقليل.

القيم المنطقية

let ok = true
let done: bool = false

‏bool له قيمتان فقط: true وfalse. هما قيم حرفية، لا ثوابت تستوردها من مكان ما. الشرط في if أو while من النوع bool — لا يوجد تحويل ضمني لقيم الصدق من الأعداد الصحيحة أو النصوص.

if ok {
    check world.out.write("yes\n")
} else {
    check world.out.write("no\n")
}

If/else يغطّي الشروط بالتفصيل.

الكسور العشرية

‏f32 وf64 أعداد كسرية بتمثيل IEEE-754 بحجم 32 بت و64 بت على التوالي. استخدمها عندما تحتاج قيمًا كسرية — قياسات، نسب، هندسة. للحساب الدقيق على العملات، فضّل الأعداد الصحيحة بالوحدة الأصغر (سنتات، ساتوشي) على الكسور العشرية.

let ratio: f32 = 0.5
let pi:    f64 = 3.141592653589793

‏f64 هو الافتراضي للقيم الكسرية الحرفية بلا لاحقة.

المحارف والنصوص

‏char يحمل قيمة قياسية واحدة من Unicode:

let initial: char = 'Z'

‏String سلسلة من المحارف، مُرمَّزة عادة بـ UTF-8 من المكتبة القياسية. القيم النصّية الحرفية تستخدم علامات اقتباس مزدوجة:

let message: String = "hello from zero\n"

تسلسلات الإفلات التي تتوقّعها تعمل — \n لسطر جديد، و\t لجدولة، و\\ للشَّرطة المائلة العكسية الحرفية، و\" لعلامة اقتباس مزدوجة حرفية.

let multi_line = "line one\nline two\n"

تكشف المكتبة القياسية عن عروض بايتية للنصّ للعمل منخفض المستوى. الشكل std.mem.span("zero") يُعيد Span<u8> على البايتات — مفيد عندما تُحلّل أو تحسب تجزئة أو تُقارن بايتيًا.

Void

‏Void هو نوع "لا قيمة مفيدة للإرجاع" في Zero. الدوال الموجودة لتأثيراتها الجانبية تستخدمه:

pub fun main(world: World) -> Void raises {
    check world.out.write("hello\n")
}

‏main تكتب شيئًا وتعود. لا توجد قيمة لتُسلَّم، لذا النوع Void. سترى Void على معظم الدوال التي تمسّ World — هي مختارة لتأثيرها، لا لنتيجتها.

الشَّرطات السفلية في القيم العددية الحرفية

القيم العددية الحرفية الطويلة تستطيع استخدام شَرطات سفلية كفواصل بصرية. يتجاهلها المترجم، فهي ميزة لقراءة أسهل فقط:

let big   = 9_000_000_000_i64
let bytes = 1_048_576_u32     // 1 ميبيبايت

استخدمها أينما أصبحت الأرقام صعبة العدّ.

ورقة سريعة للواحق القيم الحرفية المعلَّمة

اللاحقة	النوع	مثال
_i8 / _i16 / _i32 / _i64	عدد صحيح بإشارة	127_i8
_u8 / _u16 / _u32 / _u64	عدد صحيح بدون إشارة	255_u8
_usize / _isize	بحجم المؤشِّر	0_usize
_f32 / _f64	كسر عشري	0.5_f32

استخدمها عندما تبني قيمة لا يُثبّت السياق المحيط نوعها.

التالي: الدوال

الأنواع الأوّلية بلا فائدة دون شيء تعمله بها. التوثيق التالي يُغطّي الدوال في Zero — كيف تُعلنها، وكيف تُعيد منها قيمًا، وكيف تجمعها لبناء برامج حقيقية.