סוגים מותנים ומסיקים

טיפוסים מותנים מאפשרים לבטא החלטות מסוג לא טריוויאליות המבוססות על יחסי ירושה. התחביר דומה לאופרטור הטרינרי של JavaScript:

T extends U ? X : Y

אם ניתן להקצות את הסוג T ל-U, הסוג המתקבל יהיה X, אחרת הוא יהיה Y.

סוגים מותנים בסיסיים

סוג מותנה מעריך תנאי בזמן הידור:

type IsNumber<T> = T extends number ? true : false;

type A = IsNumber<number>; // true
type B = IsNumber<string>; // false

דפוס זה עוצמתי ביותר בשילוב עם תרופות גנריות ליצירת סוגי שירות גמישים ודינמיים.

סוג חילוץ עם infer

בתוך הסעיף extends מסוג מותנה, נוכל להשתמש במילת המפתח infer כדי להכריז על משתנה סוג שיש להסיק על ידי המהדר.

לדוגמה, אם נרצה לחלץ את סוג ההחזרה של פונקציה:

type GetReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

type ExampleFunction = () => string;
type Return = GetReturnType<ExampleFunction>; // string

בדוגמה זו, infer R אומר ל-TypeScript לקבוע אוטומטית את סוג ההחזרה של הפונקציה ולהפוך אותה לזמינה כR בענף החיובי של התנאי.

נסה זאת בעצמך

תרגיל 1: סוג IsString

תרגיל 2: חילוץ טיפוס ממערך עם infer