型推論を理解する【TypeScript講座４】 | ＠あの、あのてーしょん

こんにちは！
今回は、TypeScriptの「型推論」について詳しく解説します。TypeScriptを使う上で便利な機能の一つが型推論ですが、「どこまで型を省略できるの？」と疑問に思ったことはありませんか？この記事では、型推論の仕組みと活用方法を丁寧に説明します！

型推論とは？

型推論（Type Inference）とは、TypeScriptがコードを解析し、型を自動的に推測してくれる仕組みのことです。明示的に型を指定しなくても、TypeScriptが文脈から適切な型を推測してくれるため、コードをシンプルに保つことができます。

let age = 25; // 型推論により、ageはnumber型になる
let name = "John"; // 型推論により、nameはstring型になる

上記の例では、ageがnumber型、nameがstring型として推論されています。このように、初期値が与えられている場合、型を明示的に指定する必要はありません。

TypeScriptの型推論が便利に使える代表的なケースを見てみましょう。

関数の戻り値の型も自動的に推論されます。

function add(a: number, b: number) {
  return a + b; // 戻り値はnumber型と推論される
}

この場合、戻り値の型をnumberと明示的に指定する必要はありません。TypeScriptがa + bの結果を解析して自動的にnumber型と判断します。

配列やオブジェクトの型も推論されます。

const fruits = ["apple", "banana", "cherry"]; // string[]と推論される
const user = { id: 1, name: "Alice" }; // { id: number; name: string }と推論される

ただし、要素が異なる型の場合は(string | number)[]のように、すべての可能性を含んだ型が推論されます。

一方で、型推論に頼りすぎると意図しないエラーを引き起こす可能性もあります。以下のような場合は明示的に型を指定するのがおすすめです。

let value; // any型になる
value = 42;
value = "hello";

この場合、valueの型はanyとなり、TypeScriptの型チェックが機能しなくなります。初期値がない場合は型を明示しましょう。

let value: number;
value = 42;

TypeScriptが推論できる範囲を超えるような複雑な型は、明示的に指定する必要があります。

const fetchData: () => Promise<{ id: number; name: string }> = async () => {
  return { id: 1, name: "Sample" };
};

型推論は便利ですが、以下のような状況では注意が必要です。

const value = Math.random() > 0.5 ? "hello" : 42;
// 推論結果: string | number

このような場合、型推論の結果が広範囲になるため、必要に応じて型アサーションを利用することも考慮しましょう。

ジェネリック型を使う場合、推論が適切に行われないことがあります。

function identity<T>(value: T): T {
  return value;
}

const result = identity("hello"); // 型推論でTはstringと判断される

特殊な場合を除き、ジェネリック型の明示は必要ありませんが、推論結果がわかりにくい場合は型を明示したほうがよいでしょう。

初期値を活用する
初期値があれば型を省略して問題ありません。typescriptコードをコピーするconst count = 0; // 型を明示しなくてもnumber型と推論される
複雑な型は明示する
推論結果が読みにくい場合やチーム内で混乱を招きそうな場合は、明示的な型指定を心がけましょう。
型推論結果を確認する
エディタの機能やTypeScript Playgroundを活用して、推論された型を確認するクセをつけましょう。

TypeScriptの型推論についてもっと深く知りたい方は、公式ドキュメントをご覧ください。具体的な例が豊富に掲載されており、より実践的な学びが得られます！