نوع الحرس

يعد تضييق الكتابة أحد أهم المفاهيم في TypeScript. ومع ذلك، في كثير من الأحيان، لا تكون أدوات الحماية من النوع القياسي مثل typeof أو instanceof كافية للكائنات المخصصة المعقدة. هذا هو المكان الذي يأتي فيه النوع المخصص من الحراس.

حراس النوع القياسي

لنبدأ بتلخيص كيفية قيام TypeScript بتضييق نطاق الأنواع باستخدام عوامل تشغيل JavaScript القياسية:

function processInput(val: string | number) {
  if (typeof val === 'string') {
    // Here 'val' is of type string
    console.log(val.toUpperCase());
  } else {
    // Here 'val' is of type number
    console.log(val.toFixed(2));
  }
}

حراس النوع المخصص (is المشغل)

لتحديد نوع حماية مخصص، نقوم بإنشاء دالة تُرجع مسند النوع بالتنسيق parameterName is Type بدلاً من نوع الإرجاع المنطقي القياسي.

يجب أن تقوم الدالة بإرجاع قيمة منطقية (true أو false). إذا أعادت true، فسوف تعرف TypeScript أن المعلمة التي تم تمريرها هي من النوع المحدد.

interface Cat {
  name: string;
  meow(): void;
}

interface Dog {
  name: string;
  bark(): void;
}

// This is a custom type guard
function isCat(animal: Cat | Dog): animal is Cat {
  return (animal as Cat).meow !== undefined;
}

function makeNoise(pet: Cat | Dog) {
  if (isCat(pet)) {
    // Here TypeScript knows 'pet' is a Cat
    pet.meow();
  } else {
    // Here TypeScript knows 'pet' is a Dog
    pet.bark();
  }
}

السلامة والصب (as مقابل واقيات النوع)

يُجبر تحويل النوع (على سبيل المثال، val as Cat) المترجم على الثقة بالمطور دون أي تحقق حقيقي في وقت التشغيل. إذا كان كائن وقت التشغيل لا يلبي التوقعات، فسوف تفشل التعليمات البرمجية بصمت أو ستطرح استثناءات.

من ناحية أخرى، تقوم حراس النوع المخصص بإجراء فحص قوي وديناميكي لوقت التشغيل، وإبلاغ مترجم TypeScript بأمان ودقة عن نوع المتغير الفعلي:

function processInput(input: unknown) {
  // unsafe casting: could crash if input does not have the split method
  // const str = input as string;
  // console.log(str.split(' '));

  // safe guard
  if (isString(input)) {
    console.log(input.split(' ')); // 100% Safe!
  }
}

جربه بنفسك

التمرين 1: حماية نوع السلسلة

التمرين 2: حماية نوع المستخدم المتميزة

التمرين 3: التحقق من صحة كائن الخطأ المخصص

التمرين 4: حماية نوع المسؤول