undefined และหน่วยความจำที่ยังไม่ได้เริ่มต้น

บางครั้งคุณต้องการจัดสรรพื้นที่จัดเก็บไว้ก่อนที่จะมีค่ามาใส่ Zig มีคีย์เวิร์ด undefined สำหรับกรณีนี้โดยเฉพาะ

การเขียน undefined จะประกาศการผูกค่าที่มีหน่วยความจำ reserved ไว้ แต่ยังไม่มีค่าที่มีความหมาย คุณรับรองว่าจะเติมค่าให้ในเร็ว ๆ นี้

undefined คือคำรับรองของคุณว่าจะกำหนดค่าจริงก่อนอ่าน หากอ่านก่อน คุณจะได้ garbage ซึ่งเป็นรูปแบบบิตที่ไม่ระบุแน่ชัด

อาร์เรย์แบบตายตัวที่คุณกำลังจะเติมค่าเป็นกรณีคลาสสิก คุณกำหนดขนาด buffer ปล่อยให้เป็น undefined แล้วเขียนค่าลงไปทีละองค์ประกอบ

ในโหมด Debug และ ReleaseSafe, Zig จะเติมหน่วยความจำที่เป็น undefined ด้วยไบต์ 0xAA รูปแบบที่เห็นได้ชัดนี้ช่วยให้คุณพบการอ่านก่อนเวลาโดยไม่ตั้งใจ

กฎนั้นง่ายมาก: ต้อง write ค่าจริงก่อนอ่านการผูกค่าที่เป็น undefined เสมอ การอ่านก่อนถือเป็นข้อผิดพลาดที่ Zig ต้องการให้คุณหลีกเลี่ยง

undefined หมายถึงหน่วยความจำที่ยังไม่ได้กำหนดค่า ส่วน null หมายถึงค่าที่ absent โดยตั้งใจในค่าทางเลือก ทั้งสองอย่างใช้แก้ปัญหาคนละประเภทโดยสิ้นเชิง

การปล่อยพื้นที่จัดเก็บขนาดใหญ่ให้เป็น undefined ช่วยหลีกเลี่ยงต้นทุนการเขียนศูนย์ที่ไม่จำเป็น นี่คือการเลือกด้าน performance โดยเจตนา ไม่ใช่ความขี้เกียจ

ฟิลด์ของ struct สามารถเริ่มต้นเป็น undefined ได้เช่นกัน หากคุณวางแผนจะกำหนดค่าให้ภายหลัง จุดประสงค์คือการแสดงสถานะ uninitialized อย่างตรงไปตรงมาและชัดเจน

การผูกค่าส่วนใหญ่ควรมีค่าจริงตั้งแต่เริ่มต้น เลือกใช้ undefined เฉพาะเมื่อการจอง storage ดิบเป็นสิ่งที่คุณต้องการจริง ๆ

ภาษาอื่นอาจปล่อยให้ตัวแปรยังไม่ได้กำหนดค่าโดยไม่แจ้งให้ทราบ แต่ Zig ทำให้เรื่องนี้ explicit เพื่อให้ทุกคนที่อ่านโค้ดเห็นเจตนาได้อย่างชัดเจน

คุณเขียน var x: i32 = undefined; แล้วอ่าน x ก่อนกำหนดค่า คุณได้ทำอะไรลงไป

คุณได้เรียนรู้ว่า undefined จองพื้นที่จัดเก็บโดยไม่มีค่า ซึ่งมักใช้กับบัฟเฟอร์ ต้องกำหนดค่าก่อนอ่านเสมอ และจำไว้ว่า undefined แตกต่างจาก null 📦