型推論とは何ですか

型推論は、値に基づいて変数や式の型を自動的に判定するTypeScriptの機能です。

たとえば、let age = 25;と記述すると、TypeScriptはageの型がnumberであると推論します。

型推論の利点

型推論により、型を明示的に宣言する必要が減るため、コードが簡潔になり、記述しやすくなります。

また、開発中にTypeScriptがエラーを検出しやすくなり、追加のアノテーションを記述しなくても型安全性を確保できます。

型推論の例

いくつか例を見てみましょう: 

• let message = 'Hello'; - TypeScriptは型をstringと推論します。 
• const isActive = true; - TypeScriptは型をbooleanと推論します。

型推論は、関数の戻り値にも適用されます:

function add(a: number, b: number) {
  return a + b;
}

文脈的型付けとは何ですか

文脈的型付けとは、周囲の文脈に基づいてTypeScriptが変数に型を割り当てる仕組みです。

たとえば、イベントリスナーを使用すると、TypeScriptはeventパラメーターの型を推論します:

document.addEventListener('click', (event) => {
  console.log(event.clientX); // TypeScript knows event is a MouseEvent
});

document.addEventListener('click', (event) => {
  console.log(event.clientX);
});

文脈的型付けの利点

文脈的型付けにより、手動で型アノテーションを記述する必要が減り、開発者体験が向上します。

また、エラーの検出に役立ち、特定の文脈で正しい型を扱えるようになります。

型推論が使われる一般的な場面

TypeScriptは、次のようなさまざまな場面で型推論を行います:

• 変数の初期化: let name = 'John';
• 関数の戻り値: function greet() { return 'Hello'; }
• 配列の値: let numbers = [1, 2, 3];（number[]と推論されます）。

明示的な型を使う場面

TypeScriptの型推論は強力ですが、明示的な型を指定したほうがよい場合もあります:

• 型が曖昧または複雑な場合。
• わかりやすさを確保するために関数パラメーターへ指定する場合。
• 明示的な型によって可読性と保守性が向上するパブリックAPIの場合。

練習: 型推論と文脈的型付け

2つの数値を入力として受け取り、その合計を返す関数を作成してください。TypeScriptが型を推論してくれます。

例:

function addNumbers(a, b) {
  return a + b;
}

function addNumbers(a, b) {
  return a + b;
}

よくできました！

TypeScriptが型推論と文脈的型付けを使って、コードを効率的かつ型安全にする方法を学びました。TypeScriptの強力な機能をさらに探究し、コーディングスキルを高めていきましょう。