Що таке записи (records) і кортежі (tuples)? Чим вони відрізняються від звичайних об’єктів?

Повне пояснення

Що це і навіщо

• Records – тип, що представляє об’єкт з фіксованим набором ключів. Використовуються, коли потрібна сувора структура даних з чітко визначеними полями.
• Tuples – послідовність значень, де кожен елемент має свій тип і порядок. Підходять для повернення декількох значень з функції або представлення координат.

Ключові принципи/терміни

• Key‑value mapping – у records ключі можуть бути string, number або symbol.
• Index signature – у tuples індекси починаються з 0 і кожен елемент має свій тип.
• Readonly – обидва типи можуть бути оголошені як readonly для запобігання мутації.

Як це працює

• TypeScript компілятор перевіряє, що об’єкт відповідає запису: всі вказані ключі присутні і мають правильний тип.
• Для tuples компілятор перевіряє довжину і тип кожного елемента.

Практика та реалізація

// Record
type User = Record<'id' | 'name', string>;
const user: User = { id: '1', name: 'Alice' };

// Tuple
type Point = [number, number];
const point: Point = [10, 20];

Тестування

import { expect } from 'vitest';

type Pair = [string, number];
const pair: Pair = ['age', 30];
expect(pair[0]).toBe('age');

Особливості в контексті JS/TS

• У JavaScript об’єкти не мають статичної типізації; records і tuples існують лише в TypeScript.
• При передачі об’єкта у функцію, яка очікує Record, TypeScript дозволяє «податись» (excess property check) лише при літералі.

Оптимізація, типові помилки та edge cases

• Перевищення довжини tuple: TypeScript видає помилку.
• Відсутність ключа в Record: компілятор помилку.
• Мутація readonly tuple/record: TypeScript забороняє присвоєння.

Диагностика і відладка

• Якщо TypeScript не помічає помилку, перевірте, чи використовується as const або readonly.
• Для об’єктів, що мають динамічні ключі, використовуйте Record<string, unknown>.

Альтернативи

• Interfaces – більш гнучкі, дозволяють розширювати тип.
• Classes – забезпечують конструктор і методи, але не потрібні для простих структур.

Часті помилки (8)

1. Відсутність ключа у Record → компілятор помилка.
2. Надлишковий ключ у літералі Record → "excess property" помилка.
3. Невідповідний тип елемента у tuple → компілятор помилка.
4. Перевищення довжини tuple → помилка.
5. Мутація readonly tuple/record → помилка присвоєння.
6. Використання any у Record → втрата типізації.
7. Неправильний індекс у tuple (наприклад, tuple[2] при довжині 2) → runtime помилка.
8. Змішування Record і tuple у одній змінній → типова помилка.

Cheatsheet

• Record<K, V> – об’єкт з ключами K і значеннями V.
• [T1, T2, ...] – tuple з елементами типів T1, T2, …
• readonly – запобігає мутації.

Follow‑up питання

1. Як перевірити, що об’єкт відповідає Record без явного типу?
2. Чи можна мати tuple з необов’язковими елементами?