فئات المنتجات في Cartwheel تشكّل شجرة: Kitchen تحتوي Cookware، التي تحتوي Pans. يُعيد الـ API هذه الشجرة كـ JSON متداخل، وتعدّل شاشة إعدادات الدفع كائن إعداد متداخلًا بعمق. كلاهما يحتاج إلى أنواع تشير إلى نفسها. يتعامل TypeScript مع ذلك جيدًا، إلى حدٍّ ما. هذا الدرس يغطّي كيف تكتب الأنواع التعاودية، وأين تقع الحدود، والقرار التقديري الذي كان هذا القسم كله يمهّد له: متى تتوقّف.
\nيمكن للاسم المستعار للنوع أن يذكر نفسه داخل نوع كائن أو مصفوفة:
\ntype Category = { id: number; name: string; children: Category[] };\n\ntype Json = string | number | boolean | null | Json[] | { [key: string]: Json };Category يصف شجرة بأي عمق. وJson يصف أي قيمة يمكن أن تُعيدها JSON.parse، ما يجعله نوع إرجاع أفضل بكثير لمحلّل من any: إنه صادق، ويجبرك على التضييق قبل الاستخدام.
الدوال التعاودية على مستوى الأنواع تتبع الفكرة نفسها. Awaited<T>، المدمج في الـ lib منذ TypeScript 4.5، يفكّ الـ promises حتى لا يبقى منها شيء. إليك نسخة مبسّطة:
type MyAwaited<T> = T extends Promise<infer V> ? MyAwaited<V> : T;\n\ntype Loaded = MyAwaited<Promise<Promise<Order>>>; // Orderكل خطوة تقشر Promise واحدًا وتستدعي نفسها على ما كان بداخله. وحين لا يعود النوع promise، يُعيده الفرع الكاذب وينتهي التعاود.
الـ mapped types من الـ Mapped Types وإعادة تسمية المفاتيح سطحية. والتعاود يجعلها عميقة:
\ntype DeepReadonly<T> = T extends (...args: any[]) => any\n ? T\n : T extends object\n ? { readonly [K in keyof T]: DeepReadonly<T[K]> }\n : T;\n\ntype FrozenCheckout = DeepReadonly<Checkout>;لكل حالة سببها. الأنواع الأولية تمرّ دون تغيير. والكائنات تُحوَّل، وتُعالَج كل خاصية تعاوديًا. والدوال لها فرعها الخاص لأن الـ mapped type يحتفظ بالخصائص لا بتوقيعات الاستدعاء: دون هذا الفرع، سيتحوّل handler مثل onSubmit إلى كائن لا يمكنك استدعاؤه. أما المصفوفات فلا تحتاج حالة خاصة هنا، لأن الـ mapped type التماثلي المطبَّق على مصفوفة ينتج مصفوفة للقراءة فقط.
DeepPartial هو الآخر الذي ستصادفه، عادةً لبيانات الاختبار الجاهزة (fixtures) ولتجاوزات الإعداد:
type DeepPartial<T> = T extends readonly unknown[]\n ? T\n : T extends object\n ? { [K in keyof T]?: DeepPartial<T[K]> }\n : T;\n\ndeclare function checkoutFixture(overrides?: DeepPartial<Checkout>): Checkout;\ncheckoutFixture({ shipping: { address: { country: 'JO' } } });هنا تُحفظ المصفوفات كاملة عن قصد: مصفوفة جزئية من بنود جزئية نادرًا ما تكون ما يقصده الاختبار.
\n\nهذا هو النوع الذي يلجأ إليه الناس حين يريدون أن تُفحص get(checkout, 'shipping.address.city'):
type Paths<T> = {\n [K in keyof T & string]: T[K] extends object ? K | `${K}.${Paths<T[K]>}` : K;\n}[keyof T & string];\n\ntype CheckoutPath = Paths<{ shipping: { address: { city: string; country: string } }; totalCents: number }>;\n// 'shipping' | 'shipping.address' | 'shipping.address.city' | 'shipping.address.country' | 'totalCents'إنه يعمل، وعلى نوع صغير يكون ممتعًا. لكنه أيضًا mapped type وشرط وtemplate literal وتعاود في أربعة أسطر، وكلفته تنمو مع كل حقل وكل مستوى. على كائن حالة حقيقي من 40 حقلًا فيه مصفوفات وتواريخ، قد ينتج نوع كهذا آلاف الأعضاء ويجعل كل ضغطة مفتاح في المحرّر أبطأ.
\nولدى TypeScript أيضًا حدود صارمة. كل تجسيد متداخل يُحسب، وبعد بضع عشرات من مستويات التعاود العادي تحصل على Type instantiation is excessively deep and possibly infinite. ومنذ TypeScript 4.5، يُحسَّن الـ conditional type الذي يكون استدعاؤه التعاودي في موضع ذيلي (tail position) (أي النتيجة الكاملة لفرع، كما في MyAwaited)، ويمكن أن يُنفَّذ نحو 1,000 تكرار. ولا يوجد خيار في الـ compiler لرفع أيٍّ من الحدّين.
الأنواع التعاودية هي الأداة الصحيحة للبيانات التعاودية فعلًا: الأشجار، وJSON، والإعدادات المتداخلة. ولكل ما عدا ذلك، اكتب النوع الممل أولًا، ولا تلجأ إلى الذكي إلا حين يبرّره خطأ حقيقي.
\nفي التمرين ستكتب MyAwaited وDeepReadonly وDeepPartial، وتستخدم الأخير لبيانات اختبار جاهزة. وبه يُختم قسم مستوى الأنواع. القسم 4 ينتقل إلى الأنماط: ما تبنيه الفرق المتمرّسة فعلًا بكل هذا.
DeepReadonly وDeepPartial تحتاج إلى حالات صريحة للدوال والمصفوفات، وإلا حوّلت أشياء لم تقصد لمسها.","يوقف TypeScript التعاود بعد بضع عشرات من المستويات المتداخلة، أو نحو 1,000 للـ conditional types ذات التعاود الذيلي، برسالة “Type instantiation is excessively deep”.","readonly تمنع فقط إسناد الخصائص؛ أما methods مثل Date#setFullYear أو Map#set فما زالت تعدّل القيمة المعرَّفة للقراءة فقط بعمق.","قبل اعتماد نوع ذكي، اسأل ما الخطأ الذي يمنعه، وهل يستطيع زميل قراءة أخطائه، وكم يكلّف المحرّر."],"further":[{"title":"Recursive conditional types (TypeScript 4.1 release notes)","url":"https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-1.html"},{"title":"Tail-recursion elimination on conditional types (TypeScript 4.5 release notes)","url":"https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-5.html"},{"title":"Awaited utility type","url":"https://www.typescriptlang.org/docs/handbook/utility-types.html#awaitedtype"}],"quiz":[{"q":"بهذا التعريف، ما نوع o.lines؟
type DeepReadonly<T> = T extends (...args: any[]) => any\n ? T\n : T extends object ? { readonly [K in keyof T]: DeepReadonly<T[K]> } : T;\ndeclare const o: DeepReadonly<{ lines: { sku: string }[] }>;{ sku: string }[]، لأن الـ mapped types تتخطّى المصفوفات","why":"الـ mapped type التماثلي المطبَّق على مصفوفة ينتج مصفوفة، وهنا يضيف readonly أيضًا."},{"text":"readonly { readonly sku: string }[]","why":"صحيح. المرور على نوع مصفوفة يعطي مصفوفة للقراءة فقط، ويُجعل كل عنصر للقراءة فقط بعمق بالاستدعاء التعاودي."},{"text":"{ readonly 0: …; readonly length: number; … }، كائن بمفاتيح رقمية","why":"يعامل TypeScript الـ mapped types التماثلية على المصفوفات والـ tuples معاملة خاصة، فتبقى النتيجة نوع مصفوفة."}],"answer":1},{"q":"لماذا يحتاج نوع DeepReadonly عادةً إلى فرع منفصل للدوال؟
onSubmit عن كونها قابلة للاستدعاء."},{"text":"لأن الدوال لا يمكن أن تكون للقراءة فقط في JavaScript.","why":"المشكلة في تحويل النوع، لا في التجميد وقت التشغيل؛ الـ mapped type سينزع توقيع الاستدعاء."},{"text":"لأن keyof على نوع دالة خطأ.","why":"keyof على نوع دالة مقبولة (وهي في الغالب never). المشكلة فيما ينتجه الـ mapped type."}],"answer":0},{"q":"MyAwaited<T> = T extends Promise<infer V> ? MyAwaited<V> : T. ما هو MyAwaited<Promise<Promise<Order>>>؟
Promise<Order>","why":"هذا فكّ لمستوى واحد. الاستدعاء التعاودي يستمر ما دام النوع promise."},{"text":"Order","why":"صحيح. يفكّ التعاود promise واحدًا في كل خطوة ويتوقّف حين لا يعود النوع promise."},{"text":"never، لأن الـ promises المتداخلة لا توجد وقت التشغيل","why":"النوع يتعلّق بما يقوله التعريف؛ وقت التشغيل لا يحتوي الـ promise المحلول promise آخر أبدًا، ولهذا يكون فكّ كل المستويات صحيحًا."},{"text":"خطأ، لأن الـ conditional type لا يمكن أن يشير إلى نفسه","why":"الـ conditional types التعاودية مسموحة منذ TypeScript 4.1."}],"answer":1},{"q":"يضيف زميل نوع Paths<T> يولّد كل مسار بالنقاط لحالة الدفع ذات الأربعين حقلًا، فيصبح المحرّر بطيئًا. ما الإصلاح الأكثر واقعية؟
NoInfer كي لا يُحسب في مواضع الاستدعاء.","why":"NoInfer تؤثّر فقط في مرشّحي الاستنتاج؛ ما زال يجب توسيع النوع لفحص الوسائط."},{"text":"استبدله بنوع أضيق، مثل دوال وصول محدَّدة الأنواع للمسارات القليلة التي يستخدمها الكود فعلًا.","why":"صحيح. النوع الأصغر والصريح يعطي الحماية نفسها حيث تهمّ، ولا يكلّف الـ compiler شيئًا يُذكر."}],"answer":3}],"exercise":{"kind":"web","mode":"ts","starter":{"ts":"type Checkout = {\n id: number;\n customer: { email: string; country: string };\n shipping: { method: 'standard' | 'express'; address: { line1: string; city: string } };\n lines: { sku: string; quantity: number }[];\n onSubmit: () => void;\n};\n\ntype MyAwaitedنفّذ ثلاثة أنواع تعاودية (لا تستخدم Awaited المدمج):
MyAwaited<T>: فكّ الـ promises المتداخلة حتى لا يعود النوع promise.DeepReadonly<T>: اجعل كل خاصية في كل مستوى readonly، وحوّل المصفوفات إلى مصفوفات للقراءة فقط من عناصر للقراءة فقط بعمق، واترك الدوال دون مساس (قابلة للاستدعاء).DeepPartial<T>: اجعل كل خاصية في كل مستوى اختيارية، لكن أبقِ المصفوفات كما هي (البيانات الجاهزة تستبدل المصفوفة كاملة).checkoutFixture تدمج التجاوزات وقت التشغيل أصلًا؛ وحين يصبح DeepPartial صحيحًا، يمرّ التجاوز المتداخل في المثال في الترجمة.
T)، ثم الكائنات (حوّل وعاوِد)، ثم كل ما عدا ذلك (أعِد T). المصفوفات كائنات، والـ mapped type التماثلي يُبقيها مصفوفات.","في DeepPartial، أضف حالة أولى T extends readonly unknown[] ? T : … كي لا تُجعل المصفوفات جزئية."],"explanation":"يعاود MyAwaited في موضع ذيلي، مقشّرًا promise واحدًا في كل خطوة. ويحتاج DeepReadonly إلى فرع للدوال لأن الـ mapped type يحتفظ بالخصائص ويُسقط توقيعات الاستدعاء، فتتوقّف onSubmit لولاه عن كونها قابلة للاستدعاء؛ ولا تحتاج المصفوفات حالة إضافية لأن المرور على نوع مصفوفة ينتج مصفوفة للقراءة فقط. ويتوقّف DeepPartial عند المصفوفات عن قصد، وهذا يطابق طريقة معاملة mergeDeep لها: التجاوز يستبدل المصفوفة كاملة. والتحويلات في checkoutFixture محلّية ومشروحة بتعليقات: الدمج يعمل على سجلّات بلا أنواع، ويُستعاد نوع البيانات الجاهزة مرة واحدة عند الحدود.
checkoutFixture تدمج التجاوزات المتداخلة في القيم الافتراضية"}},"words":627,"readMinutes":4}