اختبار الوحدة: الـ Generics بعمق

خمسة أسئلة عن هذه الوحدة. أجب عنها كلها، ثم شاهد نتيجتك وسبب صحة كل إجابة أو خطئها.

أيّ توقيع يجعل firstWhere(orders, (o) => o.status === 'shipped') تُعيد Order | undefined، وfirstWhere(products, …) تُعيد Product | undefined، مع تحديد نوع o في الـ callback؟

function firstWhere<T>(items: T[], predicate: (item: T) => boolean): T | undefined
function firstWhere(items: unknown[], predicate: (item: unknown) => boolean): unknown
function firstWhere<T>(items: unknown[], predicate: (item: T) => boolean): T | undefined
function firstWhere(items: any[], predicate: (item: any) => boolean): any

ما نوع t.value؟

TypeScript

function tag<T>(value: T) {
  return { value };
}
const t = tag('shipped');

'shipped'
unknown
any
string

يجب أن تُرفض setDefault(['standard', 'express'], 'overnight') لأن 'overnight' ليست أحد الخيارات. أيّ توقيع يفعل ذلك؟

function setDefault<const T>(options: T[], fallback: T)
function setDefault<T extends string>(options: T[], fallback: T)
function setDefault<T extends string>(options: T[], fallback: NoInfer<T>)
function setDefault<T>(options: T[], fallback: NoInfer<T>)

مستدعو عميل Cartwheel يكتبون api.get<Order>('/orders/1042') في كل مكان، وفي الأسبوع الماضي كتب أحدهم api.get<Order[]>('/orders/1042'). ما الإصلاح الأفضل؟

اجعل العميل مفهرسًا بنوع خريطة مسارات، فيُبحث عن نوع الاستجابة من المسار ولا يمرّر المستدعون أي وسيط نوع.
أضف قاعدة ESLint تتطلّب وسيط نوع في كل استدعاء لـ get.
غيّر معامل النوع الافتراضي لـ get إلى any.
اجعل get تُعيد unknown ودع كل مستدعٍ يحوّل بـ as.

تُستدعى function useQuery<TData, TKey extends string>(key: TKey, fetcher: () => Promise<TData>) هكذا useQuery<Order>('order-1042', loadOrder) فتفشل مع “Expected 2 type arguments, but got 1”. ما الإصلاح الأفضل في موضع الاستدعاء؟

اكتب useQuery<Order, string>(…) في كل مكان.
احذف <Order> ودع معاملَي النوع يُستنتجان، TData من نوع إرجاع loadOrder.
غلّف المفتاح بـ NoInfer.
حوّل نتيجة الاستدعاء إلى any.

5 أسئلة بلا إجابة