型注釈(: string など)と型推論

「型」って何のためにあるの?

TypeScriptは、JavaScriptに「型」という仕組みを足した言語です。型とは、その値が「文字列なのか」「数値なのか」といった種類のこと。プログラムを動かす前に「ここには数値が入るはず」と宣言しておくと、間違った値を入れたときにエディタが赤線で教えてくれます。実行しなくても間違いに気づける、これが型の一番のうれしさです。

型注釈:自分で型を書く

変数名のうしろに 型注釈(型注釈)としてコロンと型名を書きます。「この箱には文字列だけ入れます」という宣言です。

// : string が「文字列型」という型注釈
const userName: string = "あかり";
const age: number = 28;
const isAdmin: boolean = false;

// 型に合わない値を入れると、実行前にエラーになる
// const wrong: number = "30"; // エラー: 文字列は number に代入できない

型推論:書かなくても分かってくれる

実は、初期値があれば型注釈を省略できます。TypeScriptが値を見て「これは文字列だな」と自動で判断してくれるからです。これを 型推論(型推論)といいます。省略しても型が消えるわけではなく、裏でちゃんと型が付いています。

// 型注釈を書かなくても、右の値から string と推論される
const city = "Tokyo";
// city は string 型として扱われる

// なので、あとで数値を入れようとするとエラーになる
// city = 100; // エラー: number は string に代入できない

const title: string = "入門";
const count: number = 3;

const title = "入門";
const count = 3;

• 型注釈=自分で「: 型名」と書いて宣言する
• 型推論=初期値から型を自動で判断してくれる
• 初期値があるならふつうは推論に任せてよい
• 関数の引数など、推論できない場所では注釈が必要になる