Чем отличаются примитивные типы от литеральных?

Question

[Антон M]

В TypeScript существуют примитивные типы данных, которые называются литеральными типами данных. Как можно понять из названия, типы выражаются литералами значений примитивных типов.

Никак не пойму эту мысль. Как бы вы объяснили?

Answer 1

[ned4ded]

Если типу присвоить значение, то оно станет литеральным типом.

type CarNames = 'bmw' | 'mercedes';

const cars: CarNames[] = ['bmw', 'mercedes', 'zhiguli'];
//                                            ^^^^^^^ 
//              TypeError: Type '"zhiguli"' is not assignable to type 'CarNames'.

подробнее и с примерами в официальной документации.

Соответственно, отвечая на первый вопрос: литеральный тип - это конкретное значение одного из примитивных типов. Хотя в хэндбуке говорится о литеральных типах только для строк и чисел, можно назвать "литеральным" и значения null, undefined, true, false, но в этом нет особо смысла.

Comments

[Антон M]

По сути создаётся тип в рамках примитивного типа. Можно так сказать?

[Victor Bomberow]

Антон M, можно, говорите!

[ned4ded]

Антон M, да, что-то вроде подтипа, наследника (но лучше так и называть их литеральными типами, чтобы не смешивать понятия).

[Антон M]

ned4ded, спасибо! Хотел убедиться, что понял принцип.

[Антон M]

Vito Ombero, обожаю программистов за их буквализацию)