การตรวจสอบขณะคอมไพล์และ @compileError

Zig ช่วยให้คุณปฏิเสธการใช้งานที่ไม่ถูกต้องขณะคอมไพล์โค้ดได้ บิลด์อิน @compileError จะหยุดการสร้างโปรแกรมพร้อมข้อความที่คุณเขียนขึ้น 🛑

@compileError รับสตริง comptime และยกเลิกการคอมไพล์ โดยพิมพ์ข้อความนั้นตรง ๆ เพื่อให้ผู้เรียกทราบว่าเกิดข้อผิดพลาดอะไรขึ้น

ภายในแขนง comptime คุณสามารถปฏิเสธชนิดข้อมูลที่ไม่ต้องการได้ ในกรณีนี้มีเพียงจำนวนเต็มเท่านั้นที่ผ่าน ชนิดอื่น ๆ จะพบกับ @compileError ณ จุดที่เรียกใช้

การตรวจสอบ comptime จะทำงานเมื่อสร้างอินสแตนซ์ของฟังก์ชัน ดังนั้น ข้อผิดพลาด จึงปรากฏตรงจุดที่ส่งชนิดข้อมูลผิดเข้ามาจริง ๆ

สำหรับเงื่อนไขคงรูปแบบง่าย ๆ comptime assert จะหยุดการสร้างโปรแกรมเมื่อเงื่อนไขเป็นเท็จ คล้ายกับ assert ตอนรันไทม์แต่ตรวจพบได้เร็วกว่า

ใช้ @hasDecl เพื่อยืนยันว่าชนิดข้อมูลมีเมธอดหรือค่าคงที่ก่อนเรียกใช้ จากนั้นจึงล้มเหลวพร้อมข้อความที่ชัดเจนหากไม่มี

เช่นเดียวกัน @hasField จะบอกว่า struct มีฟิลด์ตามชื่อที่ระบุหรือไม่ ซึ่งมีประโยชน์เมื่อตรวจสอบโครงสร้างข้อมูลขณะคอมไพล์

ผสาน @typeName เข้ากับ std.fmt เพื่อฝังชนิดข้อมูลที่ก่อปัญหาไว้ในข้อความ ทำให้ผู้เรียกได้รับข้อผิดพลาดที่แม่นยำและอ่านเข้าใจง่าย

ตัวดำเนินการ ++ ใช้ต่อสตริง comptime คุณจึงประกอบข้อความข้อผิดพลาดโดยละเอียดได้โดยไม่ต้องจองหน่วยความจำบนฮีป

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

การตรวจสอบ comptime เปลี่ยนโอกาสที่โปรแกรมจะหยุดทำงานให้กลายเป็นข้อความที่เป็นมิตรระหว่างการสร้างโปรแกรม ทำให้จับการใช้งานผิดได้ ตั้งแต่เนิ่น ๆ พร้อมคำอธิบายที่ดี

@compileError ร่วมกับการตรวจสอบอย่าง @hasDecl และ comptime assert จะปฏิเสธการใช้งานที่ไม่ถูกต้องระหว่างการสร้างโปรแกรม โดยไม่มีต้นทุนขณะรันไทม์ 🎯