ส่วนติดต่อสำหรับตัวจัดสรร

ตัวจัดสรรหน่วยความจำทุกตัวใน Zig จะถูกส่งต่อในรูปแบบชนิดเดียวคือ std.mem.Allocator โค้ดของคุณจะสื่อสารผ่านอินเทอร์เฟซนี้เพียงตัวเดียว ไม่เคยผูกกับกลไกเบื้องหลังตัวใดโดยเฉพาะ

std.mem.Allocator เป็น อินเทอร์เฟซ ขนาดเล็ก ซึ่งประกอบด้วยพอยน์เตอร์และตารางฟังก์ชัน อินเทอร์เฟซนี้อธิบายว่าตัวจัดสรรหน่วยความจำทำอะไรได้บ้าง ไม่ได้ระบุว่าคุณใช้ตัวใด

ตัวจัดสรรแบบหน้า หน่วยความจำแบบอารีนา หรือตัวจัดสรรสำหรับการทดสอบ ล้วนเปิดเผย รูปแบบ เดียวกัน การสลับจากตัวหนึ่งไปใช้อีกตัวไม่จำเป็นต้องเปลี่ยนโค้ดที่เรียกใช้งาน

คุณสร้างตัวจัดสรรหน่วยความจำที่เป็นรูปธรรมขึ้นมาก่อน จากนั้นใช้ตัวจัดการ .allocator() ของมันเพื่อส่งต่อในรูปชนิดทั่วไป std.mem.Allocator

เมื่อคุณมีตัวจัดสรรหน่วยความจำแล้ว ให้ส่ง ค่า เดียวกันนี้เข้าไปในทุกฟังก์ชันที่ต้องใช้หน่วยความจำ ทั้งโปรแกรมจึงสามารถใช้แหล่งเดียวร่วมกันได้

std.heap.page_allocator ขอหน่วยความจำจาก OS โดยตรง วิธีนี้เรียบง่ายแต่มีความละเอียดหยาบ จึงเหมาะกับบล็อกขนาดใหญ่หรือมีอายุการใช้งานยาวนาน ไม่เหมาะกับบล็อกขนาดเล็กมาก

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

การเขียนโค้ดโดยอ้างอิงอินเทอร์เฟซทำให้ฟังก์ชันของคุณทำงานกับตัวจัดสรรหน่วยความจำ ใดก็ได้ โค้ดเดียวกันจึงทำงานได้ทั้งในการทดสอบ บนฮาร์ดแวร์เปล่า หรือบนเซิร์ฟเวอร์

ฟังก์ชันไม่จำเป็นต้องรู้ว่าตนได้รับตัวจัดสรรหน่วยความจำตัวใด มันเพียง เรียกใช้เมธอดอย่าง alloc และ free บน std.mem.Allocator ที่ได้รับมา

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

ในการทดสอบ ให้ส่ง std.testing.allocator แทน โค้ดยังคงเหมือนเดิม แต่ตอนนี้หน่วยความจำรั่วจะทำให้การทดสอบไม่ผ่าน แสดงให้เห็นว่าอินเทอร์เฟซมีประโยชน์จริง ✅

ลองคิดดูว่าตัวจัดสรรหน่วยความจำทั้งหมดใน Zig ใช้ชนิดใดร่วมกัน

คุณได้เรียนรู้ว่า std.mem.Allocator เป็นอินเทอร์เฟซเดียวที่ครอบตัวจัดสรรหน่วยความจำหลายรูปแบบ ดังนั้นโค้ดที่ร้องขอหน่วยความจำจึงทำงานกับตัวจัดสรรใดก็ได้ที่คุณส่งให้ 🎯