Фундаментальні дженерики

Generics (загальне програмування) є однією з найпотужніших функцій 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: родова пара