גנריות בסיסיות

גנריות (תכנות גנרי) הן אחת התכונות החזקות ביותר של TypeScript. הם מאפשרים לך לכתוב רכיבים, פונקציות וממשקים גמישים לשימוש חוזר שיכולים לעבוד עם סוגי נתונים שונים תוך שמירה על בטיחות סוג מקסימלית והימנעות משימוש ב-any.

פונקציות כלליות

חשבו על גנרי כעל משתנה לסוגים. בואו ניקח בחשבון פונקציה שמחזירה את הערך שהועבר אליה כארגומנט:

function identity<T>(arg: T): T {
  return arg;
}

האות T (קיצור של Type) היא מציין מיקום לסוג. כאשר אנו קוראים identity, TypeScript לוכד את סוג הארגומנט שעבר ומגדיר אוטומטית את T לסוג זה:

const str = identity<string>('Hello'); // T is string
const num = identity(42); // T is number (automatically inferred!)

ממשקים גנריים וכינויים

ניתן להחיל גנריות גם על ממשקים וכינויי סוג כדי להגדיר מיכלים או מבני נתונים כלליים:

interface Box<T> {
  content: T;
}

const stringBox: Box<string> = { content: 'TypeScript' };
const numberBox: Box<number> = { content: 42 };

מספר פרמטרים מסוג

אנו יכולים להגדיר פונקציות או טיפוסים המשתמשים במספר משתני סוג (לדוגמה, T וU):

function mergeObjects<T, U>(obj1: T, obj2: U): T & U {
  return { ...obj1, ...obj2 };
}

אילוצים כלליים

לפעמים אנחנו רוצים להגביל את הסוגים המקובלים על ידי גנרי. אנו יכולים להשתמש במילת המפתח extends כדי להוסיף אילוץ.

לדוגמה, אם נרצה שהסוג הגנרי תמיד יהיה בעל מאפיין length (כמו מחרוזות או מערכים):

interface HasLength {
  length: number;
}

function logLength<T extends HasLength>(arg: T): void {
  console.log(arg.length); // Safe! We know arg has 'length'
}

logLength('Hello'); // Valid
logLength([1, 2, 3]); // Valid
// logLength(42); // Error: number does not have a length property!

נסה זאת בעצמך

תרגיל 1: פונקציית זהות גנרית

תרגיל 2: עטיפת קופסה גנרית

תרגיל 3: אילוץ גנרי

תרגיל 4: זוג גנרי