ทีม TypeScript ได้ปล่อย compiler flag ใหม่ในเวอร์ชัน 6.0 นั่นคือ --noPropertyAccessFromIndexSignature เมื่อเปิดใช้งาน คอมไพเลอร์จะปฏิเสธการเข้าถึง property ผ่าน dot notation สำหรับ property ที่มาจาก index signature โดยบังคับให้เหล่านักพัฒนาต้องใช้ bracket notation แทน ซึ่งจะช่วยให้ตรวจพบค่า undefined ที่อาจเกิดขึ้นได้ตั้งแต่ตอน compile time แทนที่จะไปเจอใน production

ทำไม flag นี้ถึงสำคัญ

ใน JavaScript วัตถุ (objects) มักทำหน้าที่เป็น dictionary และ TypeScript ช่วยให้คุณกำหนดประเภทของโครงสร้างดังกล่าวด้วย index signature เช่น Record<string, T> ภาษาจะมองว่า obj.key และ obj["key"] สามารถใช้แทนกันได้ ดังนั้นคอมไพเลอร์จึงสมมติว่า property นั้นมีอยู่จริง แม้ว่า key นั้นจะทราบได้เฉพาะตอน runtime ก็ตาม ข้อสมมติฐานที่เงียบเชียบนี้เองที่เป็นสาเหตุของปัญหา crash มากมาย: โค้ดที่เข้าถึง obj.missingProp สามารถ compile ผ่านและรันได้ แต่แล้วก็เกิด error เพราะค่าที่ได้คือ undefined

Dot notation มาพร้อมกับการรับประกันโดยนัย (implicit guarantee) ซึ่งเป็นการบอกผู้อ่านและ type checker ว่า property นั้นมีอยู่แน่นอน ในทางตรงกันข้าม Bracket notation จะส่งสัญญาณถึงความไม่แน่นอน ว่า key นั้นอาจจะหายไปและผลลัพธ์อาจเป็น undefined ได้ --noPropertyAccessFromIndexSignature จะช่วยบังคับให้เกิดความแตกต่างทั้งในเชิงภาพลักษณ์ (visual) และเชิงความหมาย (semantic) โดยเปลี่ยนกลุ่มของ runtime errors ให้กลายเป็น compile-time diagnostics

การทำงานของ flag นี้

เมื่อเปิดใช้งาน flag นี้ expression ใดๆ ที่เข้าถึง property ผ่าน index signature ด้วย dot notation จะถูกแจ้งว่าเป็น error โค้ดจะต้องถูกเขียนใหม่เพื่อใช้ bracket:

// Before
const name = userData.name;          // OK even if "name" is not in the index

// After enabling the flag
const name = userData["name"];       // Error unless brackets are used

จากนั้นคอมไพเลอร์จะใช้กฎการจัดการ undefined แบบเดียวกับที่ใช้สำหรับการเข้าถึงผ่าน bracket อยู่แล้ว หากเปิดใช้งาน --noUncheckedIndexedAccess ด้วย ประเภท (type) ของ userData["name"] จะกลายเป็น T | undefined ซึ่งบังคับให้นักพัฒนาต้องตรวจสอบกรณีที่ข้อมูลหายไป

ขั้นตอนการย้ายระบบในทางปฏิบัติ

  1. เปิดใช้งาน flag ใน tsconfig.json:

    {
  "compilerOptions": {
    "noPropertyAccessFromIndexSignature": true
  }
}

  2. รัน type checker. การเข้าถึง key ของ index-signature ด้วย dot notation ทั้งหมดจะปรากฏเป็น error

  3. เปลี่ยนจุดเป็นวงเล็บ (brackets). การเปลี่ยนแปลงนี้เป็นเพียงเชิงกลไก (mechanical) และไม่ส่งผลต่อประสิทธิภาพในขณะ runtime

  4. จัดการกับ type undefined ที่เกิดขึ้น. เพิ่ม nullish coalescing, optional chaining หรือการตรวจสอบแบบชัดเจน (explicit checks) ในจุดที่จำเป็น

  5. พิจารณาใช้คู่กับ --noUncheckedIndexedAccess เพื่อความปลอดภัยสูงสุด เมื่อใช้ร่วมกันจะช่วยให้มั่นใจว่าการเข้าถึงข้อมูลในรูปแบบ dictionary จะถูกปฏิบัติเสมือนว่าข้อมูลนั้นอาจจะไม่มีอยู่จริง

เมื่อใดควรใช้ explicit properties

หากฟิลด์นั้นเป็นส่วนหนึ่งของ API contract ที่มีความเสถียร ให้ประกาศเป็น explicit property แทนที่จะพึ่งพา index signature การใช้ explicit property จะยังคงอนุญาตให้ใช้ dot notation ได้ ซึ่งเป็นการรักษาการรับประกันว่าฟิลด์นั้นจะมีอยู่เสมอ (เท่าที่ระบบ type จะตรวจสอบได้) ควรสงวน index signature ไว้สำหรับข้อมูลที่มีความไดนามิก (dynamic) จริงๆ ซึ่งไม่ทราบ key ล่วงหน้า

มุมมองที่ต่างออกไป: ความเยิ่นเย้อที่เพิ่มขึ้น

บางทีมอาจรู้สึกว่าการใช้ bracket เพิ่มขึ้นทำให้โค้ดดูรก (noisy) โดยเฉพาะใน codebase ที่มีการใช้ object แบบยืดหยุ่นสูง Flag นี้บังคับให้ต้องมีวินัยที่เข้มงวดขึ้น ซึ่งอาจต้องมีการ refactor ครั้งใหญ่สำหรับโปรเจกต์เก่า (legacy projects) สำหรับกรณีเหล่านั้น สามารถค่อยๆ นำ flag นี้มาใช้ทีละน้อย เช่น จำกัดไว้เฉพาะโมดูลใหม่ ในขณะที่ค่อยๆ ปรับเปลี่ยน codebase ส่วนใหญ่ให้เป็นไปตามรูปแบบนี้เมื่อเวลาผ่านไป

สิ่งที่ควรจับตามองต่อไป

Flag นี้เป็นส่วนหนึ่งของการผลักดันไปสู่ความปลอดภัยของ type (type safety) ที่เข้มงวดขึ้นใน TypeScript 6.0 เวอร์ชันในอนาคตอาจมีการเพิ่มการตรวจสอบเพิ่มเติมเกี่ยวกับ object spread, optional chaining หรือการใช้งาน any ที่ถูกอนุมาน (inferred) การติดตาม TypeScript roadmap จะช่วยให้ทีมตัดสินใจได้ว่าควรนำฟีเจอร์ความปลอดภัยชุดถัดไปมาใช้เมื่อใดโดยไม่กระทบต่อกำหนดการส่งมอบงาน

สรุปสาระสำคัญ: การเปิดใช้งาน --noPropertyAccessFromIndexSignature ทำให้ความแตกต่างระหว่าง “property นี้มีการรับประกันว่ามีอยู่” และ “property นี้อาจจะหายไป” ชัดเจนขึ้นในโค้ด ช่วยดักจับบั๊กทั้งกลุ่มก่อนที่จะถึง production การเปลี่ยนความล้มเหลวที่เงียบเชียบใน runtime ให้กลายเป็น error ในตอน compile เป็นการเปลี่ยนแปลงเล็กน้อยแต่ส่งผลกระทบอย่างมหาศาลต่อความน่าเชื่อถือของระบบ