TypeScriptではプリミティブ型の特定の値だけを許容する型の表現も可能です。

リテラル型とは

プリミティブ型の特定の値だけを許容する型です。例を見ることが何よりもわかりやすいので次の例をご覧ください。

const impossible: false = false;
const three: 3 = 3;
const radetzky: 'Radetzky' = 'Radetzky';

本来ならboolean, number, stringと型を書くべきところにも値が入っているように見えるこれがリテラル型です。

リテラル型はletで宣言をしてもその値しか代入できません。代入できるのも同じリテラルだけです。

let impossible: false = false;
​
impossible = false;
impossible = true;
// Type 'true' is not assignable to type 'false'.

constと何が違うのか？

これでは定数のconstと宣言していることと何が違うのかと疑問を持たれる方もいらっしゃるかと思います。constはECMAScriptで定められている定数の宣言であるのに対し、リテラル型はプリミティブ型の特定の値だけを許容する型です。

TypeScriptによる型のサポートはあくまでもコーディング中の話であり、実際に動作する時は型のないJavaScriptになります。他の値が代入できないという制限はもはやなくなっている状態であり、これは上書きできないということが撤廃されていることを意味します。そのためリテラル型をあたかも定数のように使うことは避けてください。

let impossible: false = false;
// ...
// Type assertion
impossible = true as false;

リテラル型の使い方

リテラル型はのちに紹介されるユニオン型との相性がよく併用して使われることが多いです。ここではユニオン型とは|で区切られた型のどれかであるとだけ解釈してください。

let persons: 1 | 2 | 3 | 4 | 5 = 4;

変数personsは1から5までの値が格納できる変数ということを意味しています。もちろんそれ以外の値は代入できません。

let persons: 1 | 2 | 3 | 4 | 5 = 6;
// Type '6' is not assignable to type '1 | 2 | 3 | 4 | 5'.

これはデータ型が異なるリテラル型同士でも可能です。

let age: 'thirty five' | 35 = 35;

また、プリミティブ型、クラスのインスタンスを含むオブジェクト型ともユニオン型を構成することができます。

const response: Response | null = ajax.get('https://....');

意図しない関数、メソッドの戻り値のときにnullを返す例は(この戻り値が好ましいかは置いておくとして)このようになります。

TypeScriptはこう解釈している

リテラル型はそのリテラルが所属するデータ型の派生型として解釈されます。この使い方はジェネリクスで頻出します。初めはプリミティブ型の派生型とは一体何かと面食らうことがあるかもしれません。

リテラル型にできないリテラル

number型のNaN, Infinity, -Infinityはリテラル型として使うことができません。

let inf: Infinity = Infinity;
// 'Infinity' refers to a value, but is being used as a type here. Did you mean 'typeof Infinity'?
let minInf: -Infinity = -Infinity;
// Type expected.
let nan: NaN = NaN;
// 'NaN' refers to a value, but is being used as a type here. Did you mean 'typeof NaN'?