الوصول بالمفتاح مع keyof

إذا كان عندك type User = { id: number; email: string } فإن keyof User هو اتحاد أسماء المفاتيح "id" | "email"، أما الوصول بالمفتاح (indexed access) فيعمل في الاتجاه المعاكس، فـ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 هو الذي يحفظ أيّ مفتاح مرّرته بالتحديد.