סוג כינויים לעומת ממשקים

ב-TypeScript, נוכל להגדיר את המבנה של אובייקטים מורכבים בשתי דרכים עיקריות: באמצעות ממשקים (interface) או כינויים מסוג סוג (type). שניהם משמשים לתיאור ה"צורה" של אובייקט או מבנה נתונים, אך יש להם כמה הבדלים מהותיים.

ממשקים (interface)

ממשק מגדיר חוזה למבנה של אובייקט. זהו הכלי הסטנדרטי לתיאור צורות אובייקט וממשקי API ציבוריים בצורה ניתנת להרחבה.

interface Book {
  title: string;
  pages: number;
  author?: string; // Optional property (can be omitted)
}

const myBook: Book = {
  title: 'The Lord of the Rings',
  pages: 1200,
};

סימן השאלה (?) מסמן מאפיין כאופציונלי. האובייקט myBook חוקי גם אם הוא משמיט את המאפיין author.

סוג כינויים (type)

כינוי טיפוס מאפשר לך לשייך שם חדש לכל טיפוס קיים, כולל טיפוסים פרימיטיביים, איגודים, tuples או מבני אובייקט שלמים.

type Point = {
  x: number;
  y: number;
};

const coordinates: Point = { x: 10, y: 20 };

הבדלים מרכזיים: הרחבה ומיזוג הצהרות

למרות ש-interface ו-type ניתנים להחלפה עבור רוב מקרי השימוש הרגילים, הם מציגים שני הבדלים קריטיים:

1. הרחבה (ירושה)

ממשקים מורחבים באמצעות מילת המפתח extends:

interface User {
  username: string;
}

interface Admin extends User {
  privileges: string[];
}

לא ניתן להרחיב כינויים של סוגים באמצעות extends, אך ניתן לשלב אותם באמצעות האופרטור צומת (&):

type User = {
  username: string;
};

type Admin = User & {
  privileges: string[];
};

2. מיזוג הכרזה

ממשקים מרובים עם אותו שם באותו היקף מתמזגים אוטומטית על ידי המהדר:

interface User {
  name: string;
}
interface User {
  email: string;
}
// Now User has both 'name' and 'email'!

התנהגות זו לא נתמכת על ידי כינויים מסוגים: הכרזה על אותו type פעמיים תפעיל שגיאה בזמן הידור.

נסה זאת בעצמך

תרגיל 1: ממשק משתמש

תרגיל 2: כינוי מסוג Point2D

תרגיל 3: הרחבת ממשקים

תרגיל 4: תצורת שרת