TypeScript const の型推論について

型推論は、プログラマが明示的に型を指定しなくても、TypeScript が型を予測してくれる機能です。

let に対する型推論は以下のようになります。

let value = 'Tamibouz'; // value は string型

一方で const に対する型推論はリテラル型になります。

const value = 'Tamibouz'; //value は Tamibouz型

ただし、constの場合の型推論は、代入した際の動きに注意が必要です。

const value1 = 'Tamibouz';
const value2: 'Tamibouz' = 'Tamibouz';

let a = value1; // a は string 型 になる
let b = value2; // b は Tamibouz 型

このように型推論したconstは、代入すると string 型に拡張されています。(リテラル型の拡大)