พอยน์เตอร์แบบออปชันและ ?*T

โดยปกติพอยน์เตอร์ต้องชี้ไปยังค่าที่ถูกต้องเสมอ แต่เมื่อทำให้เป็น optional ก็จะมีวิธีที่ถูกต้องในการสื่อว่ายังไม่มีค่า

ชนิด ?*T อ่านได้ว่าเป็นพอยน์เตอร์แบบ optional ที่ชี้ไปยัง T ซึ่งอาจชี้ไปยังค่าจริงหรือเก็บค่า null

นี่คือคำตอบของ Zig สำหรับพอยน์เตอร์ null ในภาษา C พอยน์เตอร์อาจไม่มีค่าได้ แต่ optional จะบังคับให้คุณตรวจสอบก่อนอ้างอิงค่าที่พอยน์เตอร์ชี้ไป

คุณไม่สามารถอ้างอิงค่า ?*T โดยตรงได้ ก่อนอื่นต้อง แกะค่า ด้วย if หรือ orelse เพื่อให้ได้พอยน์เตอร์ปกติที่อยู่ภายใน

ภายในการจับค่าของ if ชื่อดังกล่าวจะเป็น *Node ปกติ พร้อมให้อ้างอิงด้วย .* ได้เช่นเดียวกับพอยน์เตอร์ที่ไม่ใช่ optional

พอยน์เตอร์แบบ optional มีประโยชน์อย่างมากกับ รายการเชื่อมโยง และต้นไม้ ซึ่งฟิลด์ถัดไปหรือลูกจะเป็น null เมื่อถึงปลายสาย

เมื่อเดินผ่านรายการ ฟิลด์ถัดไปที่เป็น null จะบอกอย่างชัดเจนว่าคุณมาถึงโหนดสุดท้ายแล้วและควรหยุด

สำหรับพอยน์เตอร์ Zig จะเก็บสถานะ null ไว้ในค่าพอยน์เตอร์เอง ดังนั้น ?*T จึงไม่ใช้พื้นที่เพิ่มจากพอยน์เตอร์ปกติ

คุณสามารถรวมการอ่านอย่างเดียวกับ optional ได้: ?*const T คือพอยน์เตอร์แบบ optional ที่คุณอ่านได้แต่เขียนไม่ได้

เนื่องจากชนิดระบุว่าอาจเป็น null คอมไพเลอร์จึงไม่ยอมให้คุณ ลืม ตรวจสอบ ต่างจากการอ้างอิงพอยน์เตอร์ดิบในภาษา C

ลูป while ที่จับพอยน์เตอร์ถัดไปแบบ optional แต่ละตัว เป็นวิธีมาตรฐานในการ เดินผ่าน รายการจนกว่าจะพบ null

ชนิด ?*Node อธิบายอะไร

คุณได้เรียนรู้ ?*T: พอยน์เตอร์แบบ optional ที่ปลอดภัย ให้แกะค่าก่อนอ้างอิง และใช้ null ทำเครื่องหมายจุดสิ้นสุดของโครงสร้างเชื่อมโยง 🔗