TypeScript: типи, узагальнення та звуження

1. Який механізм дозволяє викликати value.repeat(2) у гілці else, не отримуючи помилку компіляції?

typescript

function double(value: string | number) {
  if (typeof value === "number") {
    return value * 2;
  }
  return value.repeat(2);
}

Type narrowing — компілятор звужує тип value до string у цій гілці на основі перевірки typeofTypeScript ігнорує типи під час виконання, тому помилки бути не можеvalue автоматично приводиться до string перед викликом repeatЦе помилка, яку типізація не ловить

2. У TypeScript можна оголосити той самий interface з однаковим іменем двічі, і компілятор об'єднає обидва оголошення в одне (declaration merging).

ПравдаХибність

3. Навіщо потрібен тип-параметр T у function firstElement<T>(arr: T[]): T замість використання any?

any вимикає перевірку типів повністю, тоді як T зберігає точний тип для кожного викликуany та T технічно ідентичні, різниця лише стилістичнаT потрібен лише для сумісності зі старими версіями TypeScriptany швидший у виконанні, ніж дженерик

4. Що робить Pick<User, "id" | "name">?

Створює тип лише з полями id та name з UserВиключає поля id та name з User, лишаючи рештуРобить усі поля User необов'язковимиРобить усі поля User обов'язковими

5. Що таке discriminated union?

Union форм об'єктів зі спільним літеральним полем, що дозволяє точно звужувати типБудь-який union, що містить хоча б два типи об'єктівСпеціальний вид enumUnion, що не може містити примітивні типи

6. Кортеж (tuple) у TypeScript, на відміну від звичайного масиву, має фіксовану довжину й тип для кожної позиції окремо.

ПравдаХибність