أنماط TypeScript المتقدمة: Generics و Utility Types و Type Guards

مقدمة

نظام الأنواع في TypeScript أقوى بكثير مما توحي به التعليقات التوضيحية الأساسية للأنواع. عند بناء قواعد كود كبيرة، يمكن للأنماط المتقدمة التقاط فئات كاملة من الأخطاء في وقت الترجمة، وجعل إعادة الهيكلة أكثر أماناً، والعمل كتوثيق حي.

النمط 1: الاتحادات المميزة لآلات الحالة

نمذج الحالة المعقدة مع فحص الشمولية في وقت الترجمة:

// ❌ النهج الساذج: الحقول الاختيارية تؤدي إلى حالات غير صالحة
interface ApiState {
  loading?: boolean;
  data?: User[];
  error?: Error;
}

// ✅ الاتحاد المميز: فقط الحالات الصالحة قابلة للتمثيل
type ApiState<T> =
  | { status: 'idle' }
  | { status: 'loading' }
  | { status: 'success'; data: T }
  | { status: 'error'; error: Error };

function renderUsers(state: ApiState<User[]>) {
  switch (state.status) {
    case 'idle':
      return <p>انقر لتحميل المستخدمين</p>;
    case 'loading':
      return <Spinner />;
    case 'success':
      return <UserList users={state.data} />;
    case 'error':
      return <ErrorMessage error={state.error} />;
  }
}

النمط 2: أنواع القوالب الحرفية

إنشاء أنواع سلاسل دقيقة:

type EventName<T extends string> = `on${Capitalize<T>}`;
type ClickHandler = EventName<'click'>; // "onClick"

type ExtractParams<T extends string> =
  T extends `${string}:${infer Param}/${infer Rest}`
    ? Param | ExtractParams<Rest>
    : T extends `${string}:${infer Param}`
    ? Param
    : never;

type UserRouteParams = ExtractParams<'/users/:userId/posts/:postId'>;
// "userId" | "postId"

النمط 3: نمط البناء مع تسلسل الطرق

واجهات برمجة سلسة آمنة من حيث النوع.

النمط 4: عميل API آمن من حيث النوع

توليد الأنواع من مخطط API.

النمط 5: الأنواع الموسومة

منع خلط الأنواع البدائية المتشابهة:

type Brand<T, B> = T & { __brand: B };

type UserId = Brand<string, 'UserId'>;
type TaskId = Brand<string, 'TaskId'>;

function assignTask(taskId: TaskId, userId: UserId) { /* ... */ }

const userId = createUserId('user-123');
const taskId = createTaskId('task-456');

assignTask(taskId, userId); // ✅ صحيح
assignTask(userId, taskId); // ❌ خطأ في النوع!

الخلاصة

أنماط TypeScript المتقدمة تحول قاعدة الكود الخاصة بك:

1. الاتحادات المميزة تمنع الحالات غير الصالحة
2. أنواع القوالب الحرفية تنشئ أنواع سلاسل دقيقة
3. أنماط البناء تمكّن واجهات برمجة سلسة وآمنة
4. أنواع عميل API تلتقط انتهاكات العقد في وقت الترجمة
5. الأنواع الموسومة تمنع خلط البدائيات المتشابهة

الاستثمار في أمان النوع يؤتي ثماره من خلال أخطاء أقل وإعادة هيكلة أكثر أماناً وتجربة مطور أفضل.