TypeScript: indexed access types — как это работает?

Question

Accepted Answer

```ts
interface User { id: string; name: string; roles: Role[] }
type Id    = User['id'];              // string
type Names = User['id' | 'name'];     // string  (union index → union result)
type All   = User[keyof User];        // string | string | Role[]  → string | Role[]
```

**`T[number]` на array/tuple даёт element type** — самая полезная форма:

```ts
const COLORS = ['red', 'green', 'blue'] as const;
type Color = typeof COLORS[number];   // 'red' | 'green' | 'blue'
```

**Tuples отвечают и на literal, и на `number` indices:** `Pair[0]` — тип первого элемента; `Pair[number]` — union всех элементов. `[0]` — один слот, `[number]` — «любой слот».

**Индексировать можно только valid key.** `User['nope']` — compile error. Вложенные lookup chain: `Api['user']['name']`.

## Итог

Indexed access связывает производные типы с источником; `as const` + `[number]` — union из данных без дублирования.