keyof والوصول المفهرس

إن كان type User = { id: number; email: string } فإن keyof User هو الاتحاد الحرفي "id" | "email". والوصول المفهرس يسير في الاتجاه المعاكس: User["email"] هو string.

اجمعهما في عمومية: function getProp<T, K extends keyof T>(obj: T, key: K): T[K]. المفتاح غير الموجود يصير خطأ ترجمة، والناتج يأخذ نوع الحقل الذي طلبته بالضبط.

والفخّ أن تكتب key: keyof T وناتجًا T[keyof T]: هذا اتحاد كل القيم، فيصير البريد string | number. المُعامل الثاني K هو الذي يتذكّر أيّ مفتاح مرّرت.