satisfies (TS 4.9+) ตรวจสอบว่าค่า สอดคล้องกับ ประเภท โดยไม่ขยาย ประเภทที่ได้มาของค่า ซึ่งจะยืนยันความถูกต้องตามข้อจำกัด โดยยังคงประเภทที่แน่นอนและตามตัวอักษรไว้สำหรับการใช้งานในภายหลัง — การรวมกันที่ดีที่สุดของการสังเกต (Annotation) และการอนุมาน (Inference)
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
ด้วยการสังเกต b จะถูกพิมพ์เป็น Config ที่กว้าง ด้วย satisfies b จะยังคงรูปแบบที่แน่นอน { host: string; port: number } และ ได้รับการยืนยันว่าเป็น Config ที่ถูกต้อง
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as vs การสังเกต (Annotation): T — ตรวจสอบ แต่ขยายเป็น T (สูญเสียรายละเอียด)as T — บังคับประเภท ไม่มี การตรวจสอบจริง (ไม่ปลอดภัย)satisfies T — ตรวจสอบเทียบกับ T ยังคงประเภทที่ได้มาที่แคบ (ปลอดภัย + แน่นอน)satisfies ให้คุณสามารถตรวจสอบว่าวัตถุตรงกับอินเทอร์เฟซ/ข้อจำกัด ขณะเดียวกันก็ได้ประเภทตามตัวอักษรที่แน่นอนสำหรับการเติมเต็มอัตโนมัติ การจำกัด และ keyof
เหมาะสำหรับวัตถุการกำหนดค่า แมปเส้นทาง จานสีธีม และการค้นหาค่าคงที่ที่คุณต้องการความถูกต้อง และ การอนุมานที่แน่นอน