ประกาศชนิดออปชัน

โปรแกรมจริงมักพบกรณีที่ค่าไม่มีอยู่จริง เช่น การค้นหาไม่พบข้อมูล หรือฟิลด์ว่างเปล่า Zig จำลอง การไม่มีค่า อย่างปลอดภัยและโดยตั้งใจ

ชนิด optional สามารถเก็บค่าจริงของชนิดใดชนิดหนึ่ง หรือค่าพิเศษ null ซึ่งหมายความว่าไม่มีอะไรอยู่

คุณทำให้ชนิดใด ๆ เป็น optional ได้โดยเขียน ? ไว้ข้างหน้า ดังนั้น ?i32 คือจำนวนเต็มที่อาจเป็น null ได้

optional สามารถเก็บค่าปกติได้เช่นกัน คุณกำหนดค่า 42 ให้กับ ?i32 ได้เช่นเดียวกับการกำหนดให้กับ i32 ปกติ

คีย์เวิร์ด null คือตัวอักษรที่หมายถึงไม่มีค่า มีเฉพาะชนิด optional เท่านั้นที่เก็บค่านี้ได้

i32 ปกติไม่สามารถเป็น null ได้เลย คอมไพเลอร์จะหยุดคุณไว้ เพื่อให้การไม่มีค่ายังคงมองเห็นได้ใน ชนิด แทนที่จะซ่อนอยู่ในรูปค่าที่ไม่ถูกต้อง

Optional ไม่ได้มีไว้สำหรับตัวเลขเท่านั้น คุณสามารถทำให้ bool, โครงสร้าง, slice หรือชนิดใด ๆ เป็น optional ได้ด้วยการเติมเครื่องหมายคำถาม

เมื่อกำหนดค่า optional แล้ว Zig จะ อนุมาน ชนิด optional ให้คุณ ดังนั้นคุณไม่จำเป็นต้องเขียนชนิดนั้นด้วยตนเองทุกครั้ง

ในภาษา C ผู้คนมักจำลองการไม่มีค่าด้วยค่าอย่าง -1 หรือพอยน์เตอร์ null แต่ Zig มอบ optional ที่แท้จริงให้ จึงไม่อาจสับสนระหว่างการไม่มีค่ากับข้อมูลได้

เนื่องจาก ? อยู่ในชนิดโดยตรง ทุกคนที่อ่านโค้ดจะเห็นทันทีว่าค่าอาจ ไม่มีอยู่ และต้องจัดการกับกรณีนี้

โดยทั่วไปจะเริ่มต้น optional ด้วย null แล้วค่อยเติมค่าภายหลังเมื่อมีค่าที่ต้องการจัดเก็บจริง ๆ

คุณประกาศ u32 ที่อาจไม่มีค่าได้อย่างไร

คุณได้รู้จัก optionals: เขียน ? ไว้หน้าชนิดเพื่อให้เก็บค่าจริงหรือ null ได้ ตอนนี้การไม่มีค่าอยู่ในชนิดอย่างชัดเจนและมองเห็นได้ ❓