عرض مصدر TypeScript/advanced types

<noinclude>{{DISPLAYTITLE:الأنواع المتقدمة في TypeScript}}</noinclude>
==أنواع التقاطع (Intersection Types)==
يجمعُ نوعُ تقاطعٍ عدّة أنواع في نوع واحد. يسمح هذا بجمع الأنواع الموجودة في نوع واحد يملك جميع الميّزات التي تحتاج إليها. مثلًا، النوعُ ‎<code>Person & Serializable & Loggable</code>‎ هو من النّوع ‎<code>Person</code>‎ والنّوع ‎<code>Serializable</code>‎ والنّوع ‎<code>Serializable</code>‎، كلّها مجموعة في نفس النّوع. هذا يعني أنّ كائنًا ما من هذا النوع سيحتوي على جميع عناصر الأنواع الثلاثة.

تُستعمل أنواع التّقاطع عادةً في المخاليط (mixins) والمبادئ الأخرى التي قد تكون غريبة على البرمجة كائنيّة التوجه العاديّة (وهي متواجدة كثيرًا في لغة JavaScript). إليك مثالًا يعرض كيفيّة إنشاء مخلوط:
<syntaxhighlight lang="typescript">
function extend<T, U>(first: T, second: U): T & U {
    let result = <T & U>{};
    for (let id in first) {
        (<any>result)[id] = (<any>first)[id];
    }
    for (let id in second) {
        if (!result.hasOwnProperty(id)) {
            (<any>result)[id] = (<any>second)[id];
        }
    }
    return result;
}

class Person {
    constructor(public name: string) { }
}
interface Loggable {
    log(): void;
}
class ConsoleLogger implements Loggable {
    log() {
        // ...
    }
}
var jim = extend(new Person("Jim"), new ConsoleLogger());
var n = jim.name;
jim.log();
</syntaxhighlight>

==أنواع الاتحاد (Union Types)==
أنواع الاتحاد مرتبطة بأنواع التقاطع، لكنها تعمل بآلية مختلفة تمامًا.

قد تتوقّع أحيانًا دالّةٌ في مكتبة ما مُعاملًا قد يكون إمّا من النوع ‎<code>number</code>‎ أو من النوع ‎<code>string</code>‎. مثلًا انظر الدالة التالية التي تأخذ سلسلةً نصيّةً وتُضيف إليها حاشيّة من المسافات (padding) على يسارها، إن كانت قيمة المعامل ‎<code>padding</code>‎ سلسلةً نصيّة، فستُضاف قيمته إلى يسار القيمة ‎<code>value</code>‎، أمّا إن كانت قيمة ‎<code>padding</code>‎ عددًا  فسيُضاف هذا العدد من المسافات إلى يسار القيمة:
<syntaxhighlight lang="typescript">
/**
 * Takes a string and adds "padding" to the left.
 * If 'padding' is a string, then 'padding' is appended to the left side.
 * If 'padding' is a number, then that number of spaces is added to the left side.
 */
function padLeft(value: string, padding: any) {
    if (typeof padding === "number") {
        return Array(padding + 1).join(" ") + value;
    }
    if (typeof padding === "string") {
        return padding + value;
    }
    throw new Error(`Expected string or number, got '${padding}'.`);
}

// مثال على استخدام الدالة
padLeft("Hello world", 4); // "    Hello world"
</syntaxhighlight>
المشكلة هنا أنّ نوعَ المعاملِ ‎<code>padding</code>‎ هو ‎<code>any</code>‎. ما يعني أنّنا نستطيع استدعاء الدّالة ‎<code>padLeft</code>‎ بمعاملٍ نوعُ قيمتِه مُخالفة لكلّ من النوعين ‎<code>number</code>‎ و‎<code>string</code>‎، ولن يحدث أيّ خطأ أثناء التّرجمة:
<syntaxhighlight lang="typescript">
let indentedString = padLeft("Hello world", true); // سيمرّ الخطأ على المترجم لكنّه سيفشل أثناء التنفيذ
</syntaxhighlight>
في شيفرة البرمجة كائنيّة التوجه العادية، يُمكن تجريد النوعين عبر إنشاء تسلسل أنواع (hierarchy of types). ورغم أنّ الحلّ سيكون واضحًا أكثر، لكنّه إفراط ولا حاجة لنا به. النسخة الأصلية من ‎<code>padLeft</code>‎ تتميّز بأنّها تستقبل الأنواع الأوليّة (primitives) مباشرةً. واستخدامها كان وجيزًا وبسيطًا. إضافة إلى أنّ هذا الحلّ لن يُساعد في حال أردنا استخدام دالّة موجودة مسبقًا في مكان آخر.
عوضًا عن استخدام النّوع ‎<code>any</code>‎، يُمكننا استعمال نوع اتّحادٍ للمُعامل ‎<code>padding</code>‎:
<syntaxhighlight lang="typescript">
/**
 * Takes a string and adds "padding" to the left.
 * If 'padding' is a string, then 'padding' is appended to the left side.
 * If 'padding' is a number, then that number of spaces is added to the left side.
 */
function padLeft(value: string, padding: string | number) {
    // ...
}

let indentedString = padLeft("Hello world", true); // يُطلق خطأً أثناء الترجمة
</syntaxhighlight>
يصِف نوع الاتحاد قيمةً يُمكن لها أن تكون من عدّة أنواع. نستعمل المحرف ‎<code>|</code>‎ للفصل بين كلّ نوع، لذا فالنّوع ‎<code>number | string | boolean</code>‎ هو نوعُ قيمة يُمكن لها أن تكون إمّا عددًا، أو سلسلة نصيّة، أو قيمة منطقيّة.

إن كانت هناك قيمة ذات نوعِ اتّحاد، فسنستطيع الوصول إلى العناصر التي تكون مشتركة بين كل الأنواع في الاتحاد فقط:
<syntaxhighlight lang="typescript">
interface Bird {
    fly();
    layEggs();
}

interface Fish {
    swim();
    layEggs();
}

function getSmallPet(): Fish | Bird {
    // ...
}

let pet = getSmallPet();
pet.layEggs(); // مسموح
pet.swim();    // خطأ
</syntaxhighlight>
قد تكون أنواع الاتّحاد في هذه الحالة صعبة الفهم، لكنّها تحتاج فقط إلى القليل من الممارسة للتعوّد عليها. إذا كان لقيمةٍ النوعُ ‎<code>A | B</code>‎، فإنّنا نعرف فقط يقينًا أنّها تحتوي على العناصر الموجودة في كلّ من ‎<code>A</code>‎ و‎<code>B</code>‎ في نفس الوقت. في هذا المثال، النوع ‎<code>Bird</code>‎ يملك عنصرًا باسم ‎<code>fly</code>‎. لا يُمكننا التيقّن من أنّ المتغيّر ذو النّوع ‎<code>Bird | Fish</code>‎ يملك تابعًا باسم ‎<code>fly</code>‎. إن كان المتغيّر من النّوع ‎<code>Fish</code>‎ أثناء التّنفيذ، فسيفشل الاستدعاء ‎<code>‎pet.fly()‎</code>‎.

==حرّاس الأنواع (Type Guards) وأنواع التمييز (Differentiating Types)==
أنواع الاتّحاد مفيدة في الحالات التي يُمكن فيها للقيم أن تكون من أكثر من نوع واحد. لكن ماذا عن الأوقات التي نحتاج فيها إلى معرفة ما إذا كان نوعُ القيمةِ النوعَ ‎<code>Fish</code>‎ بالتحديد؟ التحقّق من وجود عنصر مُعيّن في الكائن طريقةٌ شائعة للتمييز بين قيمتين قد تختلفان. وكما سبق ذكره، يُمكننا فقط الوصول إلى العناصر التي نعرِف يقينًا أنّها موجودة في جميع الأنواع الموجودة في نوع الاتّحاد.
<syntaxhighlight lang="typescript">
let pet = getSmallPet();

// ستفشل جميع محاولات الوصول إلى الخاصيات التاليّة
if (pet.swim) {
    pet.swim();
}
else if (pet.fly) {
    pet.fly();
}
</syntaxhighlight>
لإصلاح الشيفرة وجعلها تعمل، سنحتاج إلى استعمال إثبات نوع (type assertion) كما يلي:
<syntaxhighlight lang="typescript">
let pet = getSmallPet();

if ((<Fish>pet).swim) {
    (<Fish>pet).swim();
}
else {
    (<Bird>pet).fly();
}
</syntaxhighlight>
===حراس الأنواع المعرَّفة من طرف المبرمج===
لاحظ في المثال أعلاه أنّه قد توجّب علينا استخدام إثباتات الأنواع عدّة مرّات. سيكون من الجميل لو استطعنا معرفة نوع ‎<code>pet</code>‎ آليًا بعد التحقق من ذلك دون الحاجة إلى إعادة نفس إثبات النوع.

تملك TypeScript ميّزةً تُسمّى بحارس الأنواع (type guard). وحارس الأنواع تعبيرٌ يُؤدّي تحقّقًا أثناء التنفيذ (runtime) يضمن ثبات النّوع في مجال مُعيّن (أي أنّنا سنعرف أنّه من نوعٍ واحد في المجال وأنّ النوع لن يتغيّر ما دمنا في نفس المجال). لتعريف حارس أنواع نحتاج فقط إلى تعريف دالة يكون نوعها المُعاد (return type) عبارة نوع منطقيّة (type predicate):
<syntaxhighlight lang="typescript">
function isFish(pet: Fish | Bird): pet is Fish {
    return (<Fish>pet).swim !== undefined;
}
</syntaxhighlight>
العبارةُ ‎<code>pet is Fish</code>‎ هي عبارة النوع المنطقيّة في هذا المثال. تكون العبارة المنطقيّة على الشّكل ‎<code>parameterName is Type</code>‎، بحيث يجب على ‎<code>parameterName</code>‎ أن يكون اسم مُعامل من توقيع الدالة الحاليّة، و‎<code>Type</code>‎ هو النّوع.

في كلّ مرّة تُستدعى فيها الدّالة ‎<code>isFish</code>‎ بمتغيّر ما، فستحصر TypeScript هذا المتغيّر ليكون نوعُه النّوع المُحدَّد إذا كان النوع الأصليّ متوافقًا.
<syntaxhighlight lang="typescript">
// سيُسمح الآن باستدعاء كلّ من
// 'swim' و 'fly'
if (isFish(pet)) {
    pet.swim();
}
else {
    pet.fly();
}
</syntaxhighlight>
لاحظ أنّ TypeScript استنتجت أنّ نوع ‎<code>pet</code>‎ هو النّوع ‎<code>Bird</code>‎ في مجال ‎<code>else</code>‎، وذلك لأنّ اللغة تُدرك أنّ نوعَ ‎<code>pet</code>‎ هو النّوع ‎<code>Fish</code>‎ في مجال ‎<code>if</code>‎، لذا فإن لم يكن نوعُ ‎<code>pet</code>‎ النّوع ‎<code>Fish</code>‎ فلا بد له أن يكون النوع ‎<code>Bird</code>‎.

===حراس الأنواع باستعمال ‎<code>typeof</code>‎===
لنعد إلى نسخة ‎<code>padLeft</code>‎ التي تستعمل اتحاد الأنواع. يُمكننا إعادة كتابتها بعبارة نوع منطقيّة كما يلي:
<syntaxhighlight lang="typescript">
function isNumber(x: any): x is number {
    return typeof x === "number";
}

function isString(x: any): x is string {
    return typeof x === "string";
}

function padLeft(value: string, padding: string | number) {
    if (isNumber(padding)) {
        return Array(padding + 1).join(" ") + value;
    }
    if (isString(padding)) {
        return padding + value;
    }
    throw new Error(`Expected string or number, got '${padding}'.`);
}
</syntaxhighlight>
لكن رغم ذلك، تعريف دالّة فقط لمعرفة ما إذا كان نوعُ قيمةٍ ما نوعًا أوليًّا يُعقّد الأمور. ولحسن الحظ لا تحتاج إلى تجريد الشّرط ‎<code>typeof x === "number"</code>‎ إلى دالّة خاصّة لأنّ TypeScript ستتعرّف عليه كحارس أنواع لذاته. ما يعني أنّنا نستطيع التحقّق من الأنواع في نفس السّطر كما يلي:
<syntaxhighlight lang="typescript">
function padLeft(value: string, padding: string | number) {
    if (typeof padding === "number") {
        return Array(padding + 1).join(" ") + value;
    }
    if (typeof padding === "string") {
        return padding + value;
    }
    throw new Error(`Expected string or number, got '${padding}'.`);
}
</syntaxhighlight>
يُتعرَّف على حرّاس الأنواع ‎<code>typeof</code>‎ على شكلين: ‎<code>typeof v === "typename"</code>‎ و‎<code>typeof v !== "typename"</code>‎، بحيث لا بدّ للقيمة ‎<code>"typename"</code>‎ أن تكون إمّا ‎<code>"number"</code>‎، أو ‎<code>"string"</code>‎، أو ‎<code>"boolean"</code>‎، أو ‎<code>"symbol"</code>‎. ورغم أنّ TypeScript لن توقِفَك إن حاولت المُقارنة بسلسلة نصيّة أخرى، إلّا أنّ اللغة لن تتعرّف على التعبير كحارس أنواع.
===حراس الأنواع باستعمال ‎<code>instanceof</code>‎===
إن فهمتَ الفقرة السابقة وإذا سبق لك وأن تعرّفت على عامل ‎<code>instanceof</code>‎ في JavaScript، فأغلب الظن أنّ لك فكرةً عامّة حول هذه الفقرة.

حراسة الأنواع باستعمال ‎<code>instanceof</code>‎ طريقةٌ لحصر الأنواع حسب الدالة البانيّة (constructor) للنوع. مثلًا، لنعد إلى مثال مُضيف الحاشية السابق:
<syntaxhighlight lang="typescript">
interface Padder {
    getPaddingString(): string
}

class SpaceRepeatingPadder implements Padder {
    constructor(private numSpaces: number) { }
    getPaddingString() {
        return Array(this.numSpaces + 1).join(" ");
    }
}

class StringPadder implements Padder {
    constructor(private value: string) { }
    getPaddingString() {
        return this.value;
    }
}

function getRandomPadder() {
    return Math.random() < 0.5 ?
        new SpaceRepeatingPadder(4) :
        new StringPadder("  ");
}

// النّوع هو
// 'SpaceRepeatingPadder | StringPadder'

let padder: Padder = getRandomPadder();

if (padder instanceof SpaceRepeatingPadder) {
    // حُصِرَ النوع إلى
    // 'SpaceRepeatingPadder'
    padder;
}
if (padder instanceof StringPadder) {
    // حُصِرَ النوع إلى
    // 'StringPadder'
    padder;
}
</syntaxhighlight>
يجب على الجانب الأيسر للعامل ‎<code>instanceof</code>‎ أن يكون دالة بانية، وستحصر TypeScript النوع إلى:
* نوع خاصيّة ‎<code>prototype</code>‎ الخاصّة بالدالة إن لم يكن نوعها النوعَ ‎<code>any</code>‎.
* اتحاد الأنواع التي يُعيدها توقيع المنشأ (construct signatures) الخاص بالنوع.

والترتيب مهمّ هنا.

==أنواع القيم الفارغة (Nullable types)==
هناك نوعان مميَّزان في TypeScript، وهما ‎<code>null</code>‎ و‎<code>undefined</code>‎، وقيمتهما هما ‎<code>null</code>‎ و‎<code>undefined</code>‎ بنفس التّرتيب (أي أنّهما نوعان وقيمتان في نفس الوقت). سبق وأن ذكرنا في صفحة [[TypeScript/basic types|الأنواع الأساسيّة]] أنّ مُدقِّق الأنواع (type checker) يعدّ ‎<code>null</code>‎ و‎<code>undefined</code>‎ قابلين للتعيين لأي نوع كيفما كان. ما يعني أنّ ‎<code>null</code>‎ ‎ و‎<code>undefined</code>‎ قيمتان صالحتان لجميع الأنواع. هذا يعني أنّه لا يُمكن إيقاف عمليّة التعيين لأيّ نوع، حتى ولو أردت ذلك. يُسمّي Tony Hoare مُخترعُ القيمة ‎ <code>null</code>‎ [https://en.wikipedia.org/wiki/Null_pointer#History هذه المسألة بخطأ المليار دولار].

خيار المُترجِم ‎<code>‎--strictNullChecks‎</code>‎ حلٌّ لهذه المشكلة: عند التصريح عن متغيّر، فلن يشمل تلقائيّا النوعين ‎<code>null</code>‎ و‎<code>undefined</code>‎. لكن يُمكنك إضافتهما بصراحة عبر استخدام نوع اتّحاد كما يلي:
<syntaxhighlight lang="typescript">
let s = "foo";
// خطأ، لا يمكن تعيين
// 'null'
// للنوع
// 'string'
s = null;
let sn: string | null = "bar";
sn = null; // مسموح

// خطأ، لا يمكن تعيين
// 'undefined'
// للنوع
// 'string | null'
sn = undefined;
</syntaxhighlight>
لاحظ أنّ TypeScript تُعامِل ‎<code>null</code>‎ و‎<code>undefined</code>‎ بشكل مختلف لتُوافِق آليّة عمل لغة JavaScript. والنّوع ‎<code>string | null</code>‎ مُخالف للنوع ‎<code>string | undefined</code>‎ والنوعِ ‎<code>string | undefined | null</code>‎.

==المعاملات والخاصيّات الاختياريّة==
عند استعمال الخيار ‎<code>‎--strictNullChecks‎</code>‎، فالمعاملات الاختياريّة تُضيف تلقائيّا ‎<code>‎| undefined‎</code>‎:
<syntaxhighlight lang="typescript">
function f(x: number, y?: number) {
    return x + (y || 0);
}
f(1, 2);
f(1);
f(1, undefined);
// خطأ، النوع
// 'null'
// غير قابل للتعيين للنوع
// 'number | undefined'
f(1, null);
</syntaxhighlight>
والشيء نفسه صحيح للخاصيات الاختياريّة:
<syntaxhighlight lang="typescript">
class C {
    a: number;
    b?: number;
}
let c = new C();
c.a = 12;
// خطأ، لا يُمكن تعيين النّوع
// 'undefined'
// للنوع
// 'number'
c.a = undefined;
c.b = 13;
c.b = undefined; // مسموح
// خطأ، لا يُمكن تعيين النّوع
// 'null'
// للنوع
// 'number | undefined'
c.b = null;
</syntaxhighlight>
==حرّاس الأنواع (Type guards) وإثباتات الأنواع (type assertions)==
لأنّ الأنواع التي تقبل قيمًا فارغة (nullable types) مُطبَّقةٌ باتحاد أنواع، فستحتاج إلى استعمال حارس أنواع للتخلّص من النوع ‎<code>null</code>‎. وهي نفس الشيفرة التي ستكتبها بلغة JavaScript:
<syntaxhighlight lang="typescript">
function f(sn: string | null): string {
    if (sn == null) {
        return "default";
    }
    else {
        return sn;
    }
}
</syntaxhighlight>
التخلص من ‎<code>null</code>‎ في المثال أعلاه واضح جدًّا، لكن يُمكنك كذلك استعمال العامل ‎<code>||</code>‎:
<syntaxhighlight lang="typescript">
function f(sn: string | null): string {
    return sn || "default";
}
</syntaxhighlight>
في الحالات التي لا يُمكن فيها للمترجم التخلّص من ‎<code>null</code>‎ أو ‎<code>undefined</code>‎، يُمكنك استعمال عامل إثبات النوع لحذفها يدويًّا. وذلك بإلحاق المحرف ‎<code>!</code>‎. مثلًا: ‎<code>‎identifier!‎</code>‎ يحذف ‎<code>null</code>‎ و‎<code>undefined</code>‎ من نوعِ ‎<code>identifier</code>‎:
<syntaxhighlight lang="typescript">
function broken(name: string | null): string {
  function postfix(epithet: string) {
// خطأ، قد يكون
// 'name'
// من النّوع
// null
    return name.charAt(0) + '.  the ' + epithet;
  }
  name = name || "Bob";
  return postfix("great");
}

function fixed(name: string | null): string {
  function postfix(epithet: string) {
    return name!.charAt(0) + '.  the ' + epithet; // مسموح
  }
  name = name || "Bob";
  return postfix("great");
}
</syntaxhighlight>
المثال يستخدم دالّة متداخلة هنا لأن المترجم غير قادر على حذف النوع ‎<code>null</code>‎ داخل دالة متداخلة (باستثناء الدوال التي تُستدعى مُباشرة [immediately-invoked function]). هذا لأنّ المترجم غير قادر على تتبّع جميع استدعاءات الدّالة المتداخلة، خاصّة إن أعدتها من الدالة الخارجيّة. ولأنّ المترجم لا يعلم المكان الذي ستُستدعى فيه الدّالة، فمن غير الممكن معرفة نوع ‎<code>name</code>‎ في الوقت الذي يُنفّذ فيه جسم الدالة.

==أسماء الأنواع البديلة (Type Aliases)==
تُنشئ أسماء الأنواع البديلة اسمًا جديدًا لنوع ما.  أسماء الأنواع البديلة مُشابهة أحيانًا للواجهات (interfaces)، إلّا أنّها تستطيع تسمية الأنواع الأوليّة، أنواع الاتّحاد، والصفوف (tuples)، وأي نوع آخر قد تحتاج إلى كتابته يدويًّا:
<syntaxhighlight lang="typescript">
type Name = string;
type NameResolver = () => string;
type NameOrResolver = Name | NameResolver;
function getName(n: NameOrResolver): Name {
    if (typeof n === "string") {
        return n;
    }
    else {
        return n();
    }
}
</syntaxhighlight>
تسمية الأنواع بأسماء بديلة لا تُنشئ نوعًا جديدًا حقيقةً، بل تُنشئ فقط اسمًا جديدًا للإشارة إلى ذلك النوع. تسمية نوعٍ أوليّ باسم بديل ليس مُفيدًا، رغم أنّ ذلك قد يكون شكلًا من أشكال التوثيق.

وكما الواجهات، يُمكن لأسماء الأنواع البديلة أن تكون عموميّة (generic) كذلك، لا نحتاج سوى لإضافة معاملات أنواعٍ واستعمالها على الجانب الأيمن من التصريح عن الاسم البديل:
<syntaxhighlight lang="typescript">
type Container<T> = { value: T };
</syntaxhighlight>
يُمكن كذلك لاسم بديل أن يُشير إلى نفسه في خاصيّة:
<syntaxhighlight lang="typescript">
type Tree<T> = {
    value: T;
    left: Tree<T>;
    right: Tree<T>;
}
</syntaxhighlight>
وبجمعه مع أنواع التقاطع، يُمكننا الحصول على أنواع معقّدة أكثر:
<syntaxhighlight lang="typescript">
type LinkedList<T> = T & { next: LinkedList<T> };

interface Person {
    name: string;
}

var people: LinkedList<Person>;
var s = people.name;
var s = people.next.name;
var s = people.next.next.name;
var s = people.next.next.next.name;
</syntaxhighlight>
لكن لا يُمكن لاسم بديل أن يظهر في أي مكان آخر على الجانب الأيمن من التصريح:
<syntaxhighlight lang="typescript">
type Yikes = Array<Yikes>; // خطأ
</syntaxhighlight>
===الواجهاتُ مُقابلَ أسماءِ الأنواع البديلة===
كما سبق ذكره، يُمكن لأسماء الأنواع البديلة العمل بشكل مشابه للواجهات؛ لكن هناك بعض الاختلافات الصغيرة.

أحد الاختلافات أنّ الواجهات تنشئ اسمًا جديدًا يُستخدَم في كل مكان. أسماء الأنواع البديلة لا تنشئ اسمًا جديدًا، على سبيل المثال، رسائل الخطأ لن تستعمل الاسم البديل. إن مرّرت مؤشّر الفأرة على الدالة ‎<code>interfaced</code>‎ في الشيفرة أدناه في مُحرّر الشيفرة فسيعرض المُحرّر أنّها ستُعيد كائنًا من النّوع ‎<code>Interface</code>‎، أمّا في حالة ‎<code>aliased</code>‎  فالكائن المُعاد سيكون نوع قيمة كائن حرفيّة (object literal type).
<syntaxhighlight lang="typescript">
type Alias = { num: number }
interface Interface {
    num: number;
}
declare function aliased(arg: Alias): Alias;
declare function interfaced(arg: Interface): Interface;
</syntaxhighlight>
أحد أهم الاختلافات الأخرى هي أنّه لا يُمكن توسيع أسماء الأنواع البديلة أو تطبيق نوع منها (ولا يُمكنها أن تُوسِّع أو تُطبِّق نوعًا آخر). ولأنّ أحد خاصيات البرمجيات المفيدة هي أن تكون [https://ar.wikipedia.org/wiki/%D9%85%D8%A8%D8%AF%D8%A3_%D8%A7%D9%84%D9%85%D9%81%D8%AA%D9%88%D8%AD_%D8%A7%D9%84%D9%85%D8%BA%D9%84%D9%82 قابلة للتوسيع]، فمن الأفضل استعمال الواجهات دائمًا عوضًا عن أسماء الأنواع البديلة إن أمكن ذلك.

أمّا إن لم تستطع التعبير عن شكل بواجهة وتحتاج إلى نوع اتحاد أو نوع صفّ (tuple type)، فأسماء الأنواع البديلة حلّ جيّد.

==أنواع السلاسل النصيّة الحرفيّة (String Literal Types)==
تسمح أنواع السلاسل النصيّة الحرفيّة بتحديد القيمة المضبوطة التي يجب على سلسلة نصيّة أن تحملها. عمليًّا، أنواع السلاسل النصيّة الحرفيّة تندمج وتتوافق جيّدًا مع أنواع الاتّحاد، وحرّاس الأنواع، وأسماء الأنواع البديلة. يُمكنك استخدام هذه المزايا للحصول على سلاسل نصيّة تتصرّف كالثوابت المتعددة (enums).
<syntaxhighlight lang="typescript">
type Easing = "ease-in" | "ease-out" | "ease-in-out";
class UIElement {
    animate(dx: number, dy: number, easing: Easing) {
        if (easing === "ease-in") {
            // ...
        }
        else if (easing === "ease-out") {
        }
        else if (easing === "ease-in-out") {
        }
        else {
            // خطأ، لا يجب تمرير
            // null أو undefined
        }
    }
}

let button = new UIElement();
button.animate(0, 0, "ease-in");
// خطأ، لا يُسمح للنوع
// "uneasy"
button.animate(0, 0, "uneasy");
</syntaxhighlight>
يُمكنك تمرير أي من السلاسل النصيّة الثلاثة المسموح بها، لكن أي سلسلة نصيّة أخرى ستطلق خطأ:
<syntaxhighlight lang="typescript">
Argument of type '"uneasy"' is not assignable to parameter of type '"ease-in" | "ease-out" | "ease-in-out"'
</syntaxhighlight>
يُمكن استخدام أنواع السلاسل النصيّة الحرفيّة بنفس الطريقة للتمييز بين الأحمال الزّائدة:
<syntaxhighlight lang="typescript">
function createElement(tagName: "img"): HTMLImageElement;
function createElement(tagName: "input"): HTMLInputElement;
// ... المزيد من الأحمال الزائدة ...
function createElement(tagName: string): Element {
    // ... جسم الدّالة ...
}
</syntaxhighlight>
==الأنواع العدديّة الحرفيّة (Numeric Literal Types)==
يُمكن كذلك استعمال الأنواع العدديّة الحرفيّة في TypeScript:
<syntaxhighlight lang="typescript">
function rollDie(): 1 | 2 | 3 | 4 | 5 | 6 {
    // ...
}
</syntaxhighlight>
نادرًا ما تُكتب هذه الأنواع العدديّة مُباشرة، لكن يُمكن لها التعرّف على العِلَلْ:
<syntaxhighlight lang="typescript">
function foo(x: number) {
    if (x !== 1 || x !== 2) {
        //         ~~~~~~~
        // لا يُمكن تطبيق العامل
        // '!=='
        // على النوعين
        // '1'
        // و
        // '2'
    }
}
</syntaxhighlight>
بعبارة أخرى، لا بد للمتغيّر ‎<code>x</code>‎ أن يحمل القيمة ‎<code>1</code>‎ عندما يُقارن بالقيمة ‎<code>2</code>‎، لذا فالتحقّق يقوم بمقارنة غير صالحة.

==أنواع عناصر الثوابت المتعدّدة (Enum Member Types)==
ذُكِر في [[TypeScript/enums|صفحة الثوابت المتعدّدة]] أنّ عناصر الثوابت المتعدّدة تملك أنواعًا عندما يكون كل عنصر مُهيأً بقيمة حرفيّة.

في معظم الحالات التي نتحدث فيها عن الأنواع الفرديّة (singleton types)، فإنّنا نُشير إلى كلّ من أنواع عناصر الثوابت المتعدّدة إضافة إلى الأنواع العدديّة الحرفيّة وأنواع السلاسل النصيّة الحرفيّة، لكن معظم المستخدمين يُشيرون إلى الأنواع الفرديّة والأنواع الحرفيّة (literal types) على أنّ لها نفس المعنى.

==الاتحادات المتقطعة (Discriminated Unions)==
يُمكن مزج الأنواع الفرديّة، وأنواع الاتحاد، وحراس الأنواع، و أسماء الأنواع البديلة لبناء نمط مُتقدّم يُسمّى الاتحادات المتقطعة، ويُعرف كذلك بالاتحادات المرقومة (tagged unions)، أو أنواع البيانات الجبريّة (algebraic data types). الاتحادات المتقطعة مفيدة في البرمجة الوظيفيّة (functional programming). وبعض اللغات تُحول الاتحادات إلى اتحادات متقطعة تلقائيًّا؛ أمّا TypeScript فتبني فوق أنماط JavaScript الموجودة حاليًّا. وهناك ثلاثة مكوّنات:

# الأنواع التي تملك خاصيّة نوع فرديّة مشتركة: المُميِّز (discriminant).
# اسم نوع بديل يأخذ اتحاد هذه الأنواع: الاتحاد (union).
# حراس أنواع على الخاصية المشتركة.

<syntaxhighlight lang="typescript">
interface Square {
    kind: "square";
    size: number;
}
interface Rectangle {
    kind: "rectangle";
    width: number;
    height: number;
}
interface Circle {
    kind: "circle";
    radius: number;
}
</syntaxhighlight>
نُصرّح أولًا عن الواجهات التي ستُضاف إلى الاتحاد. تحمل كل واجهة خاصيّة باسم ‎<code>kind</code>‎، كل خاصيّة تحمل نوع سلسلة نصيّة حرفيّة مختلفًا. الخاصيّة ‎<code>kind</code>‎ هنا تُسمّى المميِّز (discriminant) أو الوسم (tag). والخاصيات الأخرى فخاصّة بكلّ واجهة. لاحظ أنّ الواجهات غير مترابطة حاليًّا. لنضعها في اتحاد:
<syntaxhighlight lang="typescript">
type Shape = Square | Rectangle | Circle;
</syntaxhighlight>
لنستخدم الآن اتحادًا متقطعًا:
<syntaxhighlight lang="typescript">
function area(s: Shape) {
    switch (s.kind) {
        case "square": return s.size * s.size;
        case "rectangle": return s.height * s.width;
        case "circle": return Math.PI * s.radius ** 2;
    }
}
</syntaxhighlight>
===التحقّق من الشموليّة===
يُمكن أن نُخطئ وننسى التحقّق من أحد أشكال الاتحاد المتقطع، ما يعني أنّ التحقّق لن يكون شموليًّا. نُريد من المترجم أن يُخبرها عندما لا نتحقّق من جميع أشكال الاتحاد المتقطع. مثلًا، إن أضفنا النوع ‎<code>Triangle</code>‎ إلى ‎<code>Shape</code>‎، فسنحتاج إلى تحديث الدالة ‎<code>area</code>‎ كذلك:
<syntaxhighlight lang="typescript">
type Shape = Square | Rectangle | Circle | Triangle;
function area(s: Shape) {
    switch (s.kind) {
        case "square": return s.size * s.size;
        case "rectangle": return s.height * s.width;
        case "circle": return Math.PI * s.radius ** 2;
    }
    // should error here - we didn't handle case "triangle"
    // يجب أن يُطلَق خطأ هنا لأنّنا لم نُعالج حالة
    // "triangle"
}
</syntaxhighlight>
هناك طريقتان للقيام بالأمر. الأولى أن نُفعّل الخيار ‎<code>--strictNullChecks</code>‎ ونُحدّد نوعًا مُعادًا:

<syntaxhighlight lang="typescript">
// خطأ، الدالة تُعيد
// number | undefined
function area(s: Shape): number {
    switch (s.kind) {
        case "square": return s.size * s.size;
        case "rectangle": return s.height * s.width;
        case "circle": return Math.PI * s.radius ** 2;
    }
}
</syntaxhighlight>
ولأنّ جملة ‎<code>switch</code>‎ لم تعد شموليّة، فإنّ TypeScript تدري أنّ الدالة قد تُعيد القيمة ‎<code>undefined</code>‎. إن حُدّد النوع المعاد ليكون النوع ‎<code>number</code>‎ صراحةً، فستحصل على خطأ يُنبّه إلى أنّ النوع المعاد هو النوعُ ‎<code>number | undefined</code>‎ في حقيقة الأمر وليس النوعَ ‎<code>number</code>‎. لكن هذه الطريقة غامضة نوعًا ما، إضافةً إلى أنّ الخيار ‎<code>--strictNullChecks</code>‎ لا يعمل دائمًا مع الشيفرة القديمة.

الطريقة الثانيّة تستعمل النوع ‎<code>never</code>‎ الذي يستخدمه المترجم للتحقّق من الشموليّة:
<syntaxhighlight lang="typescript">


function assertNever(x: never): never {
    throw new Error("Unexpected object: " + x);
}
function area(s: Shape) {
    switch (s.kind) {
        case "square": return s.size * s.size;
        case "rectangle": return s.height * s.width;
        case "circle": return Math.PI * s.radius ** 2;
        default: return assertNever(s); // يُطلَق خطأ هنا إن كان هناك حالات مفقودة
    }
}
</syntaxhighlight>
هنا تتحقّق الدالة ‎<code>assertNever</code>‎ من أنّ ‎<code>s</code>‎ من النّوع ‎<code>never</code>‎ (وهو النوع الذي يبقى بعد حذف جميع الحالات الأخرى)؛ إن نسيت حالة ما، فسيكون ‎<code>s</code>‎ من نوعٍ حقيقيّ وستحصل على خطأ. تتطلّب هذه الطريقة تعريف دالة إضافيّة، لكنّ هذه الطريقة أوضح من سابقتها.

==أنواع ‎<code>this</code>‎ متعدّدة الأشكال==

يُمثّل نوعُ ‎<code>this</code>‎ متعدّد الأشكال نوعًا يكون نوعًا فرعيًّا (subtype) من الصنف أو الواجهة الحاوية. يُسمّى هذا بالتعبير F-bounded polymorphism. ويسمح هذا بالتعبير عن الواجهات التسلسلية الفصيحة (hierarchical fluent interfaces) بطريقة أسهل، على سبيل المثال. لنأخذ حاسبةً بسيطة تُعيد ‎<code>this</code>‎ بعد كل عمليّة حسابيّة:
<syntaxhighlight lang="typescript">
class BasicCalculator {
    public constructor(protected value: number = 0) { }
    public currentValue(): number {
        return this.value;
    }
    public add(operand: number): this {
        this.value += operand;
        return this;
    }
    public multiply(operand: number): this {
        this.value *= operand;
        return this;
    }
    // ... يُمكن إضافة العمليات الأخرى هنا ...
}

let v = new BasicCalculator(2)
            .multiply(5)
            .add(1)
            .currentValue();
</syntaxhighlight>
لأنّ الصنف يستخدم أنواع ‎<code>this</code>‎، فيُمكنك توسيعه، وسيتمكّن الصنف الجديد من استخدام التوابع القديمة دون تغيير.
<syntaxhighlight lang="typescript">
class ScientificCalculator extends BasicCalculator {
    public constructor(value = 0) {
        super(value);
    }
    public sin() {
        this.value = Math.sin(this.value);
        return this;
    }
    // ... يُمكن إضافة العمليات الأخرى هنا ...
}

let v = new ScientificCalculator(2)
        .multiply(5)
        .sin()
        .add(1)
        .currentValue();
</syntaxhighlight>
لو لم تُستَخدم أنواع ‎<code>this</code>‎ هنا، لَمَا تمكّن الصّنف ‎<code>ScientificCalculator</code>‎ من توسيع الصّنف ‎<code>BasicCalculator</code>‎ وإبقاء الواجهة الفصيحة. ولَأعاد التابعُ ‎<code>multiply</code>‎ الصنفَ ‎<code>BasicCalculator</code>‎ الذي لا يمتلك التابعَ ‎<code>sin</code>‎. لكن مع استخدام أنواع ‎<code>this</code>‎، فالتابع ‎<code>multiply</code>‎ يُعيد ‎<code>this</code>‎، والذي يكون من النوع ‎<code>ScientificCalculator</code>‎ في هذه الحالة.

==أنواع الفهرس (Index types)==
يُمكن باستخدام أنواع الفهرس جعلُ المترجم على التحقّق من الشيفرة التي تستخدم أسماء الخاصيات الديناميكيّة. مثلًا، انتقاء مجموعة من الخاصيات من كائن معيّن من أنماط Javascript الشائعة:
<syntaxhighlight lang="typescript">
function pluck(o, names) {
    return names.map(n => o[n]);
}
</syntaxhighlight>
إليك كيفيّة كتابة واستخدام هذه الدالة في TypeScript، وذلك باستخدام عاملَيْ استعلام نوع الفهرس (index type query) والوصول عبر الفهرس (indexed access).
<syntaxhighlight lang="typescript">


function pluck<T, K extends keyof T>(o: T, names: K[]): T[K][] {
  return names.map(n => o[n]);
}

interface Person {
    name: string;
    age: number;
}
let person: Person = {
    name: 'Jarid',
    age: 35
};
let strings: string[] = pluck(person, ['name']); // مسموح به, string[]
</syntaxhighlight>
يتحقّق المترجم من أنّ ‎<code>name</code>‎ خاصية موجودة بالفعل على الكائن ‎<code>Person</code>‎. يُقدّم المثال بعض عاملات الأنواع الجديدة. أولًا ‎<code>keyof T</code>‎ والذي هو عامل استعلام نوع الفهرس. لكلّ نوعٍ ‎<code>T</code>‎، فإنّ ‎<code>keyof T</code>‎ هو اتّحادُ أسماء الخاصيات العامّة المعروفة في النوع ‎<code>T</code>‎. مثلًا:
<syntaxhighlight lang="typescript">
let personProps: keyof Person; // 'name' | 'age'
</syntaxhighlight>
يُمكن مُبادلة ‎<code>keyof Person</code>‎ مع ‎<code>'name' | 'age'</code>‎ لأنّ لهما نفس القيمة. الفرقُ يظهر في حالة أضفنا خاصية أخرى إلى ‎<code>Person</code>‎، فلو أضفنا مثلًا ‎<code>address: string</code>‎، عندها ستُحدَّث قيمة ‎<code>keyof Person</code>‎ تلقائيّا لتُصبح ‎<code>'name' | 'age' | 'address'</code>‎. ويُمكنك استخدام ‎<code>keyof</code>‎ في سياقات عموميّة كما فعلنا مع الدالة ‎<code>pluck</code>‎، أي في الحالات التي لا يُمكنك فيها معرفة أسماء الخاصيات مسبقًا. ما يعني أنّ المترجم سيتحقّق من أنّ مجموعة أسماء الخاصيّات الممرّرة إلى الدالة ‎<code>pluck</code>‎ مجموعةٌ صحيحة:
<syntaxhighlight lang="typescript">
// خطأ، القيمةُ
// 'unknown'
// لا توجد في الاتحاد
// 'name' | 'age'
pluck(person, ['age', 'unknown']);
</syntaxhighlight>‎

العامل الثّاني هو العامل ‎<code>T[K]</code>‎ وهو عامل الوصول عبر الفهرس. هنا، تعكس بنية النوع (type syntax) بنية التعبير (expression syntax). هذا يعني أنّ ‎<code>person['name']</code>‎ من النّوع ‎<code>Person['name']</code>‎ (أي ‎<code>string</code>‎ في هذا المثال). لكن يُمكنك (كما في استعلام نوع الفهرس) استخدام ‎<code>T[K]</code>‎ في سياق عمومي والذي يُظهر قوّة وفعاليّة هذا العامل حقيقةً. عليك فقط التأكّد من أنّ متغيّر النّوع ‎<code>K</code>‎ يُوسّع الاتحاد ‎<code>keyof T</code>‎ بالجملة ‎<code>K extends keyof T</code>‎. إليك مثالًا آخر لدالة باسم ‎<code>getProperty</code>‎:
<syntaxhighlight lang="typescript">
function getProperty<T, K extends keyof T>(o: T, name: K): T[K] {
    return o[name]; // o[name] is of type T[K]
}
</syntaxhighlight>
في الدالة ‎<code>getProperty</code>‎، لدينا ‎<code>o: T</code>‎ (الكائن) و‎<code>name: K</code>‎ (اسم الخاصية المرغوبة)، ما يعني ‎<code>o[name]: T[K]</code>‎. وحالما تُعيد النتيجةَ ‎<code>T[K]</code>‎، فسيُهيّء المترجم النوعَ الحقيقيّ للمفتاح، لذا فالنوع المعاد للدالة ‎<code>getProperty</code>‎ سيختلف حسب الخاصيّة التي تطلبها.

<syntaxhighlight lang="typescript">
let name: string = getProperty(person, 'name');
let age: number = getProperty(person, 'age');
// خطأ، القيمةُ
// 'unknown'
// لا توجد في الاتحاد
// 'name' | 'age'
let unknown = getProperty(person, 'unknown');
</syntaxhighlight>
===أنواع الفهرس (Index types) وتوقيعات الفهارس النصيّة (string index signatures)===
يتفاعل العامل ‎<code>keyof</code>‎ والعامل ‎<code>T[K]</code>‎ مع توقيعات الفهارس النصيّة. إن كان لديك نوع ذو توقيع فهرس نصيّ، فنوعُ ‎<code>keyof T</code>‎ هو النّوع ‎<code>string</code>‎ ببساطة. و‎<code>T[string]</code>‎ هو نوع توقيع الفهرس:
<syntaxhighlight lang="typescript">
interface Map<T> {
    [key: string]: T;
}
let keys: keyof Map<number>; // string
let value: Map<number>['foo']; // number
</syntaxhighlight>
===الأنواع المخطَّطَة (Mapped types)===
تحويلُ كل خاصية من خاصيات نوعٍ إلى خاصيّة اختيارية من الأعمال الشائعة في البرمجة:
<syntaxhighlight lang="typescript">
interface PersonPartial {
    name?: string;
    age?: number;
}
</syntaxhighlight>
أو قد نحتاج إلى نسخة قابلة للقراءة فقط:
<syntaxhighlight lang="typescript">
interface PersonReadonly {
    readonly name: string;
    readonly age: number;
}
</syntaxhighlight>
هذا الأمر شائع جدًّا في Javascript لدرجة أنّ TypeScript تُوفّر طريقة لإنشاء أنواع جديدة مبنيّة على أنواع قديمة، وتُسمّى هذه الميّزة بالأنواع المخطَّطَة. في نوع مُخطَّط، يُحوِّل النوع الجديدُ كل خاصيّةٍ من خاصيات النوع القديم بنفس الطريقة. مثلًا، يُمكن تحويل جميع خاصيات نوع معيّن إلى خاصيات قابلة للقراءة فقط ‎<code>readonly</code>‎ أو اختياريّة. إليك بعض الأمثلة على ذلك:
<syntaxhighlight lang="typescript">
type Readonly<T> = {
    readonly [P in keyof T]: T[P];
}
type Partial<T> = {
    [P in keyof T]?: T[P];
}
</syntaxhighlight>
ولاستخدامها:
<syntaxhighlight lang="typescript">
type PersonPartial = Partial<Person>;
type ReadonlyPerson = Readonly<Person>;
</syntaxhighlight>
لنلق نظرة على أبسط نوع مخطَّط وأجزاءه:
<syntaxhighlight lang="typescript">
type Keys = 'option1' | 'option2';
type Flags = { [K in Keys]: boolean };
</syntaxhighlight>
البنية هنا مشابهة لبنية توقيعات الفهرس مع جملة ‎<code>‎for .. in‎</code>‎ داخل التوقيع. هذه هي الأجزاء الثلاثة:
# متغيّر النوع ‎<code>K</code>‎، والذي يُربَط بكل خاصيّة من الخاصيّات في كل مرّة.
# ‎،<code>Keys</code>‎ وهي مفاتيح اتحاد السلاسل النصية الحرفيّة، والتي تحتوي على أسماء الخاصيات للتكرار (iterate) عليها.
# النوع الناتج للخاصيّة.

في هذا المثال البسيط، نكتب المفاتيح <code>Keys</code> بصراحة على شكل قائمة من أسماء الخاصيات ونوع الخاصيّة هو دائمًا النوع ‎<code>boolean</code>‎، لذا فهذا النوع المخطَّط مُكافئ لما يلي:
<syntaxhighlight lang="typescript">
type Flags = {
    option1: boolean;
    option2: boolean;
}
</syntaxhighlight>
لكن التطبيقات على الواقع تبدو مثل ‎<code>Readonly</code>‎ و‎<code>Partial</code>‎ أعلاه. أي أنّها تُبنى على نوع موجود مسبقًا، وتُحوِّل الخاصيات على نحوٍ معيّن. هنا يُمكننا استغلال ‎<code>keyof</code>‎ والوصول إلى الأنواع عبر الفهارس:
<syntaxhighlight lang="typescript">
type NullablePerson = { [P in keyof Person]: Person[P] | null }
type PartialPerson = { [P in keyof Person]?: Person[P] }
</syntaxhighlight>
ونسخة عامّة أنفع لقابليّة إعادة استخدامها مع أكثر من نوع واحد:
<syntaxhighlight lang="typescript">
type Nullable<T> = { [P in keyof T]: T[P] | null }
type Partial<T> = { [P in keyof T]?: T[P] }
</syntaxhighlight>
في هاذين المثالين، قائمة الخاصيات هي ‎<code>keyof T</code>‎ والنوع الناتج هو نسخة ذات شكل مختلف من النوع ‎<code>T[P]</code>‎. هذا قالب (template) جيّد لأي استخدام عام للأنواع المخطَّطة. وذلك لكون هذا النّوع [https://ar.wikipedia.org/wiki/%D9%85%D9%81%D9%87%D9%88%D9%85_%D8%A7%D9%84%D8%AA%D8%B4%D8%A7%D9%83%D9%84 متماثل الشّكل] (homomorphic)، ما يعني أنّ التخطيط يُطبّق على خاصيّات ‎<code>T</code>‎ فقط لا غير. يعرف المترجم أنّه قادر على نسخ جميع مُحدِّدات الخاصيّات (property modifiers) قبل إضافة أخرى جديدة. مثلًا، إذا كانت الخاصيّة ‎<code>Person.name</code>‎ قابلةً للقراءة فقط، وحوّلنا خاصيّات ‎<code>Person</code>‎ إلى اختياريّة باستعمال ‎<code>Partial</code>‎ فالخاصيّة ‎<code>Partial<Person>.name</code>‎ ستكون قابلة للقراءة فقط واختياريّة في الآن ذاته.

إليك مثالًا أخيرًا، هنا نُحيط ‎<code>T[P]</code>‎ بصنف وسيط ‎<code>Proxy<T></code>‎:
<syntaxhighlight lang="typescript">
type Proxy<T> = {
    get(): T;
    set(value: T): void;
}
type Proxify<T> = {
    [P in keyof T]: Proxy<T[P]>;
}
function proxify<T>(o: T): Proxify<T> {
   // ... جسم الدالة ...
}
let proxyProps = proxify(props);
</syntaxhighlight>
لاحظ أنّ ‎<code>Readonly<T></code>‎ و‎<code>Partial<T></code>‎ مفيدة جدًّا، لذا فهي موجودة في مكتبة TypeScript القياسيّة، إضافة إلى ‎<code>Pick</code>‎ و‎<code>Record</code>‎:
<syntaxhighlight lang="typescript">
type Pick<T, K extends keyof T> = {
    [P in K]: T[P];
}
type Record<K extends string, T> = {
    [P in K]: T;
}
</syntaxhighlight>
كل من ‎<code>Readonly</code>‎، و‎<code>Partial</code>‎، و‎<code>Pick</code>‎ متماثلة الشكل، لكنّ ‎<code>Record</code>‎ ليس كذلك. وممّا يدلّ على أنّ ‎<code>Record</code>‎ ليس متماثل الشكل أنّه لا يأخذ نوعًا مُدخلًا لنسخ الخاصيات منه:
<syntaxhighlight lang="typescript">
type ThreeStringProps = Record<'prop1' | 'prop2' | 'prop3', string>
</syntaxhighlight>
الأنواع التي لا تكون متماثلة الشكل تُنشئ خاصيات جديدة، لذا لا يمكنها نسخ محدّدات الخاصيات (property modifiers) من أي مكان آخر.

==الاستنتاج من الأنواع المخطَّطة==
الآن وبعد أن تعرّفنا على كيفيّة إحاطة خاصيّات نوع معيّن، فالخطوة التاليّة هي فكّ الإحاطة عنها لإرجاعها لما كانت عليه سابقًا. وهذا سهل:
<syntaxhighlight lang="typescript">
function unproxify<T>(t: Proxify<T>): T {
    let result = {} as T;
    for (const k in t) {
        result[k] = t[k].get();
    }
    return result;
}

let originalProps = unproxify(proxyProps);
</syntaxhighlight>

لاحظ أنّ استنتاج الأنواع عبر فكّ الإحاطة عنها يعمل فقط على الأنواع المخطَّطة المتماثلة الشّكل. إن كان النوع المخطَّط غير متماثل الشكل، فستحتاج إلى إضافة معامل نوع صريح إلى دالة فكّ الإحاطة الخاصّة بك.

==الأنواع الشرطيّة (Conditional Types)==
أضافت النسخة 2.8 من لغة TypeScript ميّزة الأنواع الشرطيّة التي تسمح لنا بالتعبير عن اقترانات أنواع غير موحّدة. إذ يختار النوع الشرطيّ نوعًا واحدًا من نوعين مُحتمَلَين حسب شرطٍ يُعبَّر عنه باختبارِ علاقةٍ بين نوعين كما يلي:
<syntaxhighlight lang="typescript">
T extends U ? X : Y
</syntaxhighlight>
النوع أعلاه يعني: إذا كان النوعُ ‎<code>T</code>‎ قابلًا لتعيينه للنوع ‎<code>U</code>‎ فالنوعُ النهائي المُقرَّر سيكون النوعَ ‎<code>X</code>‎، أمّا إن لم يتحقّق الشّرط، فالنوعُ هو ‎<code>Y</code>‎.

النوع الشّرطي ‎<code>T extends U ? X : Y</code>‎ يُقرَّر إلى ‎<code>X</code>‎ أو ‎<code>Y</code>‎، أو يُؤجَّل القرار إذا اعتمد الشّرط على متغيّر نوع واحد أو أكثر. إذا احتوى كل من ‎<code>T</code>‎ أو ‎<code>U</code>‎ على متغيّرات أنواع، فتقرير النوعِ النهائي ليكون ‎<code>X</code>‎ أو ‎<code>Y</code>‎ أو التأجيل يُحدَّدُ عبر ما إذا امتلك نظام الأنواع معلومات كافيّة لاستنتاج قابليّة تعيين النوع ‎<code>T</code>‎ للنوع ‎<code>U</code>‎ في جميع الحالات (أي لا بد للشرط أن يتحقّق دائمًا).

مثال على أنواع تُقرَّر مباشرة (أي دون تأجيل):
<syntaxhighlight lang="typescript">
declare function f<T extends boolean>(x: T): T extends true ? string : number;

// النوع المُقرَّر هو
// string | number

let x = f(Math.random() < 0.5)
</syntaxhighlight>
اسم النوع البديل ‎<code>TypeName</code>‎ مثال آخر، هذه المرّة نستخدم أنواعًا شرطيّة متداخلة:
<syntaxhighlight lang="typescript">
type TypeName<T> =
    T extends string ? "string" :
    T extends number ? "number" :
    T extends boolean ? "boolean" :
    T extends undefined ? "undefined" :
    T extends Function ? "function" :
    "object";

type T0 = TypeName<string>;  // "string"
type T1 = TypeName<"a">;  // "string"
type T2 = TypeName<true>;  // "boolean"
type T3 = TypeName<() => void>;  // "function"
type T4 = TypeName<string[]>;  // "object"
</syntaxhighlight>
مثال على حالة يُؤجَّل فيها تقرير الأنواع الشّرطيّة (والتي تبقى فيها الأنواع الشرطيّة كما هي دون تقرير نوعٍ مُحدّد):
<syntaxhighlight lang="typescript">
interface Foo {
    propA: boolean;
    propB: boolean;
}

declare function f<T>(x: T): T extends Foo ? string : number;

function foo<U>(x: U) {
    // النوعُ النهائي هو النوع الشّرطي
    // 'U extends Foo ? string : number'
    let a = f(x);

    // لكن هذا التعيين مسموح به
    let b: string | number = a;
}
</syntaxhighlight>
في المثال أعلاه نوعُ المتغيّرِ ‎<code>a</code>‎ لم يُقرَّر بعد. إذا استُدعيَت الدالة ‎<code>foo</code>‎، فسيُستبدل النّوع ‎<code>U</code>‎ بنوع آخر، وستُعيد TypeScript تقدير النوع الشرطي وتقرير نوعه النهائي.

لكن لا يزال بإمكاننا تعيين نوع شرطيّ إلى أي نوعٍ هدفٍ ولو أُجِّل تقرير النّوع ما دام كل فرع من فرعي الشرط قابلًا للتعيين لهذا النوع الهدف. لذا استطعنا تعيين النوع ‎<code>U extends Foo ? string : number</code>‎ للنوع ‎<code>string | number</code>‎ في مثالنا أعلاه، وذلك لأنّنا ندري أنّ الشرط سينتهي في الأخير إمّا إلى النوع ‎<code>string</code>‎ أو إلى النوع ‎<code>number</code>‎.

===الأنواع الشرطية التوزيعية (Distributive conditional types)===
تُسمّى الأنواع الشرطيّة التي يكون فيها النوع المُتحقَّق منه معاملَ نوعٍ مجرّدٍ (naked type parameter) بالأنواع الشّرطية التوزيعيّة. وهي أنواع تُوزَّع تلقائيًّا على أنواع اتّحاد عند التهيئة. مثلًا، تهيئة النوع ‎<code>T extends U ? X : Y</code>‎ مع تمرير النّوع ‎<code>A | B | C</code>‎ كقيمة للمعامل ‎<code>T</code>‎ توزّع لتصبح على الشّكل ‎<code>(A extends U ? X : Y) | (B extends U ? X : Y) | (C extends U ? X : Y)</code>‎.

مثال:
<syntaxhighlight lang="typescript">
type T10 = TypeName<string | (() => void)>;  // "string" | "function"
type T12 = TypeName<string | string[] | undefined>;  // "string" | "object" | "undefined"
type T11 = TypeName<string[] | number[]>;  // "object"
</syntaxhighlight>
عند تهيئة النوع الشرطي التوزيعي ‎<code>T extends U ? X : Y</code>‎، فالمراجع التي تشير إلى النوع ‎<code>T</code>‎ داخل النوع الشرطي تقرَّر إلى مكوّنات نوع الاتحاد الفردية (أي أنّ النوع ‎<code>T</code>‎ يشير إلى المكونات الفردية بعد توزيع النوع الشرطي على نوع الاتحاد). إضافةً إلى أنّ المراجع التي تُشير إلى النوع ‎<code>T</code>‎ داخل النوع ‎<code>X</code>‎ تملك قيد معامل أنواع إضافيّ، وهو معامل النوع ‎<code>U</code>‎ (يُعدّ النوع ‎<code>T</code>‎ قابلا للتعيين للنوع ‎<code>U</code>‎ داخل ‎<code>X</code>‎).

مثال:
<syntaxhighlight lang="typescript">
type BoxedValue<T> = { value: T };
type BoxedArray<T> = { array: T[] };
type Boxed<T> = T extends any[] ? BoxedArray<T[number]> : BoxedValue<T>;

type T20 = Boxed<string>;  // BoxedValue<string>;
type T21 = Boxed<number[]>;  // BoxedArray<number>;
type T22 = Boxed<string | number[]>;  // BoxedValue<string> | BoxedArray<number>;
</syntaxhighlight>
لاحظ أنّ النوع ‎<code>T</code>‎ يمتلك القيد الإضافيّ ‎<code>any[]</code>‎ على الفرع الصحيح من النوع ‎<code>Boxed<T></code>‎ لذا فمن الممكن الإشارة إلى نوع عناصر المصفوفة بالتعبير ‎<code>T[number]</code>‎. لاحظ كذلك كيف أن النوع الشرطي قد وُزِّع على نوع الاتحاد في السطر الأخير.

يُمكن استعمال ميّزة التوزيع في الأنواع الشرطية لترشيح أنواع الاتحاد:
<syntaxhighlight lang="typescript">
// Remove types from T that are assignable to U
// حذف الأنواع من النوع
// T
// القابلة للتعيين للنوع
// U
type Diff<T, U> = T extends U ? never : T;
// Remove types from T that are not assignable to U
// حذف الأنواع من النوع
// T
// غير القابلة للتعيين للنوع
// U
type Filter<T, U> = T extends U ? T : never;

type T30 = Diff<"a" | "b" | "c" | "d", "a" | "c" | "f">;  // "b" | "d"
type T31 = Filter<"a" | "b" | "c" | "d", "a" | "c" | "f">;  // "a" | "c"
type T32 = Diff<string | number | (() => void), Function>;  // string | number
type T33 = Filter<string | number | (() => void), Function>;  // () => void

// Remove null and undefined from T
// حذف النوعين
// null و undefined
// من النوع
// T

type NonNullable<T> = Diff<T, null | undefined>;

type T34 = NonNullable<string | number | undefined>;  // string | number
type T35 = NonNullable<string | string[] | null | undefined>;  // string | string[]

function f1<T>(x: T, y: NonNullable<T>) {
    x = y;  // مسموح به
    y = x;  // خطأ
}

function f2<T extends string | undefined>(x: T, y: NonNullable<T>) {
    x = y;  // مسموح به
    y = x;  // خطأ
    let s1: string = x;  // خطأ
    let s2: string = y;  // مسموح به
}
</syntaxhighlight>
الأنواع الشرطية مفيدة جدا عند مزجها مع الأنواع المخطَّطة:
<syntaxhighlight lang="typescript">
type FunctionPropertyNames<T> = { [K in keyof T]: T[K] extends Function ? K : never }[keyof T];
type FunctionProperties<T> = Pick<T, FunctionPropertyNames<T>>;

type NonFunctionPropertyNames<T> = { [K in keyof T]: T[K] extends Function ? never : K }[keyof T];
type NonFunctionProperties<T> = Pick<T, NonFunctionPropertyNames<T>>;

interface Part {
    id: number;
    name: string;
    subparts: Part[];
    updatePart(newName: string): void;
}

type T40 = FunctionPropertyNames<Part>;  // "updatePart"
type T41 = NonFunctionPropertyNames<Part>;  // "id" | "name" | "subparts"
type T42 = FunctionProperties<Part>;  // { updatePart(newName: string): void }
type T43 = NonFunctionProperties<Part>;  // { id: number, name: string, subparts: Part[] }
</syntaxhighlight>
لا يجوز الإشارة إلى الأنواع الشرطيّة تعاوديًّا (recursively) كما هي الحال مع أنواع الاتحاد وأنواع التقاطع. المثال التالي خطأ:
<syntaxhighlight lang="typescript">
type ElementType<T> = T extends any[] ? ElementType<T[number]> : T;  // خطأ
</syntaxhighlight>
===استنتاج الأنواع في الأنواع الشّرطيّة===
يُمكن وضع تصريحات ‎<code>infer</code>‎ داخل جملة ‎<code>extends</code>‎ الخاصة بالنوع الشرطي، تُستخدَم تصريحات ‎<code>infer</code>‎ لاستنتاج متغيّر نوع معيّن. يُمكن الإشارة إلى متغيّرات الأنواع المُستَنتجَة في الفرع الصحيح من النوع الشرطي. ويُمكن كذلك استعمال تصريحات ‎<code>infer</code>‎ في عدّة أماكن لنفس متغيّر النوع.

مثلًا، يستخرج النوع التالي النوع المعاد (return type) من نوع دالّة (function type):
<syntaxhighlight lang="typescript">
type ReturnType<T> = T extends (...args: any[]) => infer R ? R : any;
</syntaxhighlight>
هنا يُستنتَج النوع ‎<code>R</code>‎ ويكون تلقائيّا النوع المعاد الموجود في نوع الدالة المعطى، فمثلًا لو أعادت الدالة سلسلة نصيّة، فسيُشير متغيّر النوع ‎<code>R</code>‎ إلى النّوع ‎<code>string</code>‎.

يُمكن للأنواع الشرطية أن تتداخل لتشكيل سلسلة من موافقات الأنماط (pattern matches) تُقدَّر بالترتيب:
<syntaxhighlight lang="typescript">
type Unpacked<T> =
    T extends (infer U)[] ? U :
    T extends (...args: any[]) => infer U ? U :
    T extends Promise<infer U> ? U :
    T;

type T0 = Unpacked<string>;  // string
type T1 = Unpacked<string[]>;  // string
type T2 = Unpacked<() => string>;  // string
type T3 = Unpacked<Promise<string>>;  // string
type T4 = Unpacked<Promise<string>[]>;  // Promise<string>
type T5 = Unpacked<Unpacked<Promise<string>[]>>;  // string
</syntaxhighlight>
يوضّح المثال التالي كيف يُستنتج نوع اتحاد في حالة كانت هناك عدّة أنواع مرشّحَة (candidates) لنفس متغيّر النوع في أماكن متغايِرة (co-variant):
<syntaxhighlight lang="typescript">
type Foo<T> = T extends { a: infer U, b: infer U } ? U : never;
type T10 = Foo<{ a: string, b: string }>;  // string
type T11 = Foo<{ a: string, b: number }>;  // string | number
</syntaxhighlight>
وبالمِثل، عدّة أنواع مرشّحة لنفس متغير النوع في الأماكن غير المتغايرة (contra-variant) تؤدي إلى استنتاج نوع تقاطع:
<syntaxhighlight lang="typescript">
type Bar<T> = T extends { a: (x: infer U) => void, b: (x: infer U) => void } ? U : never;
type T20 = Bar<{ a: (x: string) => void, b: (x: string) => void }>;  // string
type T21 = Bar<{ a: (x: string) => void, b: (x: number) => void }>;  // string & number
</syntaxhighlight>
عند الاستنتاج من نوع ذي تواقيع استدعاء (call signatures) متعدّدة (مثل نوع دالة ذات أحمال زائد)، فإنّ الاستنتاج يُؤخَذ من آخر توقيع (والذي يفترض أن يكون أكثر توقيع متساهل). لا يمكن تقرير الأحمال الزائدة (overload resolution) بناءً على قائمة أنواع معاملات.
<syntaxhighlight lang="typescript">
declare function foo(x: string): number;
declare function foo(x: number): string;
declare function foo(x: string | number): string | number;
type T30 = ReturnType<typeof foo>;  // string | number
</syntaxhighlight>

لا يمكن استعمال تصريحات ‎<code>infer</code>‎ في جمل التقييد (constraint clauses) لمعاملات الأنواع العادية:
<syntaxhighlight lang="typescript">
type ReturnType<T extends (...args: any[]) => infer R> = R;  // خطأ، العملية غير ممكنة
</syntaxhighlight>
لكن يُمكن الحصول على نفس التأثير عبر حذف متغيرات الأنواع في التقييد واستخدام نوع شرطي عوضًا عنها:
<syntaxhighlight lang="typescript">
type AnyFunction = (...args: any[]) => any;
type ReturnType<T extends AnyFunction> = T extends (...args: any[]) => infer R ? R : any;
</syntaxhighlight>
===الأنواع الشرطية مسبقة التعريف===
أضافت النسخة 2.8 من لغة TypeScript عدّة أنواع شرطيّة لمكتبتها القياسية ‎<code>lib.d.ts</code>‎:

* ‎<code>‎Exclude<T, U>‎</code>‎: استبعد من النوع ‎<code>T</code>‎ الأنواع القابلة للتعيين للنوع ‎<code>U</code>‎.
* ‎<code>‎Extract<T, U>‎</code>‎: استخرج من ‎<code>T</code>‎ الأنواع القابلة للتعيين للنوع ‎<code>U</code>‎.
* ‎<code>NonNullable<T>‎</code>‎: استبعد ‎<code>null</code>‎ و‎<code>undefined</code>‎ من النوع ‎<code>T</code>‎.
* ‎<code>‎ReturnType<T>‎</code>‎: احصل على النوع المعاد من نوع دالة ما.
* ‎<code>‎InstanceType<T>‎</code>‎: احصل على نوع النسخة (instance type) من نوع دالة بانيّة (constructor function type).

أمثلة:
<syntaxhighlight lang="typescript">
type T00 = Exclude<"a" | "b" | "c" | "d", "a" | "c" | "f">;  // "b" | "d"
type T01 = Extract<"a" | "b" | "c" | "d", "a" | "c" | "f">;  // "a" | "c"

type T02 = Exclude<string | number | (() => void), Function>;  // string | number
type T03 = Extract<string | number | (() => void), Function>;  // () => void

type T04 = NonNullable<string | number | undefined>;  // string | number
type T05 = NonNullable<(() => string) | string[] | null | undefined>;  // (() => string) | string[]

function f1(s: string) {
    return { a: 1, b: s };
}

class C {
    x = 0;
    y = 0;
}

type T10 = ReturnType<() => string>;  // string
type T11 = ReturnType<(s: string) => void>;  // void
type T12 = ReturnType<(<T>() => T)>;  // {}
type T13 = ReturnType<(<T extends U, U extends number[]>() => T)>;  // number[]
type T14 = ReturnType<typeof f1>;  // { a: number, b: string }
type T15 = ReturnType<any>;  // any
type T16 = ReturnType<never>;  // any
type T17 = ReturnType<string>;  // خطأ
type T18 = ReturnType<Function>;  // خطأ

type T20 = InstanceType<typeof C>;  // C
type T21 = InstanceType<any>;  // any
type T22 = InstanceType<never>;  // any
type T23 = InstanceType<string>;  // خطأ
type T24 = InstanceType<Function>;  // خطأ
</syntaxhighlight>
لاحظ أنّ ‎<code>Exclude</code>‎ هو نفسه النوع ‎<code>Diff</code>‎ الذي سبق وأن تعرفنا عليه، سُميَ بالاسم ‎<code>Exclude</code>‎ لتجنّب المشاكل التي قد تحدث في الشيفرة التي يكون فيها النوع ‎<code>Diff</code>‎ معرّفًا مسبقًا.
== مصادر ==
* [https://www.typescriptlang.org/docs/handbook/advanced-types.html صفحة Advanced Types في توثيق TypeScript الرسمي.]
[[تصنيف:TypeScript]]