ชนิดข้อมูลคือค่า comptime

ใน Zig ชนิดข้อมูลไม่ใช่ไวยากรณ์ลึกลับ แต่เป็น ค่าปกติที่คุณเก็บ ส่งต่อ และคืนค่าได้ เพียงแต่มีอยู่เฉพาะในเวลาคอมไพล์ 🧠

ชนิดข้อมูลทุกชนิดมีชนิดเป็น type ดังนั้น u8 จึงเป็นค่าที่มีชนิดเป็น type เช่นเดียวกับที่ 5 เป็นค่าที่มีชนิดเป็นจำนวนเต็ม

คุณตั้งชื่อให้ชนิดข้อมูลด้วยค่าคงที่ได้ ในที่นี้ Number กลายเป็นอีกชื่อหนึ่งของ i32 ซึ่งใช้ได้ทุกที่ที่ต้องการชนิดข้อมูล

ฟังก์ชันสามารถรับชนิดข้อมูลเป็นพารามิเตอร์ comptime ได้ อาร์กิวเมนต์นี้เป็นค่าจริงที่ถูกประเมินขณะโปรแกรมคอมไพล์

เนื่องจากชนิดข้อมูลเป็นค่า ฟังก์ชันจึงสามารถ คืนค่าเป็นชนิดข้อมูลได้ ชนิดคืนค่าของมันคือ type และเนื้อหาฟังก์ชันจะสร้างชนิดข้อมูลเป็นผลลัพธ์

การส่งต่อและคืนชนิดข้อมูลคือพื้นฐานของ ชนิดทั่วไปใน Zig ไม่มีไวยากรณ์ชนิดทั่วไปแบบพิเศษ มีเพียงค่าชนิดข้อมูลที่ส่งต่อกันไปมา

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

บิลท์อินจะถือว่าชนิดข้อมูลเป็นข้อมูลชนิดหนึ่ง @sizeOf รับค่าชนิดข้อมูลและส่งคืนจำนวนไบต์ที่อินสแตนซ์หนึ่งรายการของชนิดนั้นใช้

เนื่องจากชนิดข้อมูลเป็นค่า คุณจึงสามารถเปรียบเทียบชนิดข้อมูลได้ขณะคอมไพล์ นิพจน์ T == u8 จะเป็นจริงก็ต่อเมื่อ T เป็น u8 โดยตรงเท่านั้น

คุณสามารถแยกแขนงตามชนิดข้อมูลและเลือกชนิดข้อมูลอื่นได้ทั้งหมดในระหว่างการคอมไพล์ วิธีนี้ทำให้ฟังก์ชันหนึ่งปรับ พฤติกรรม ให้เข้ากับชนิดข้อมูลที่ได้รับได้

เนื่องจากฟังก์ชันสามารถส่งคืนชนิดข้อมูลได้ คุณจึงสามารถ ผูก ผลลัพธ์นั้นเข้ากับค่าคงที่ แล้วใช้ค่าคงที่นั้นได้เหมือนชื่อชนิดข้อมูลบิลท์อินทุกประการ

ใน Zig ชนิดข้อมูลของชนิดข้อมูล u8 เองคืออะไร

ชนิดข้อมูลใน Zig คือ ค่าที่ทราบขณะคอมไพล์ ซึ่งมีชนิดเป็น type คุณสามารถตั้งชื่อ ส่งผ่าน ส่งคืน และเปรียบเทียบชนิดข้อมูลเหล่านี้ได้ และนี่คือพื้นฐานที่ใช้สร้างเจเนริก 🎯