変数宣言の型推論

TypeScriptには型推論(type inference)と呼ばれる機能があります。型推論は、コンパイラが型を自動で判別する機能です。プログラマーは型推論を活用すると、型注釈を省略できるので、コードの記述量を減らせる利点があります。

ts
let x = 1; // let x: number = 1;と同じ意味になる
x = "hello";
Type 'string' is not assignable to type 'number'.2322Type 'string' is not assignable to type 'number'.

ts
let x = 1; // let x: number = 1;と同じ意味になる
x = "hello";
Type 'string' is not assignable to type 'number'.2322Type 'string' is not assignable to type 'number'.

上の例では変数xに1の値コードを代入しています。この時点でコンパイラは代入された値から、変数xの型をnumber型と自動で判別します。型注釈x: numberを書くことを省略できます。

型注釈が書かれていないもののxはnumber型を推論されているため、xにhelloのstring型を再代入する記述は、型の不一致によりコンパイルエラーとなります。