TypeScript で型安全

型安全な開発

JavaScript (JS) は非常に柔軟な言語ですが、その柔軟性ゆえに、特に大規模なアプリ開発では予期せぬエラーやバグ発生のリスクが高くなります。そこで登場するのが、TypeScript (TS、タイプスクリプト) です。

TypeScriptは JavaScript に「型」の概念を加えたスーパーセットです。

TypeScript 導入のメリット

TypeScript を使うと、記述したコードの型が正しいかどうかを、アプリ実行前にチェックしてくれます。これにより、以下のようなメリットがあります。

詳細

• 開発効率の向上:
  • コードを書いている最中に、変数や関数の型が明確になるため、どのようなデータを受け取るか、何を返すかを迷うことが少なくなります。
  • エディターの自動補完が強化され、タイプミスや関数名の間違いなどが減ります。
• バグの早期発見:
  • コンパイル時に型の不一致などのエラーを検出できます。開発の早い段階でバグを見つけることができ、実行時エラーで検出する場合と比べて、修正コストを削減できます。
• コードの可読性とメンテナンス性の向上:
  • コードに型が明記されているため、他の開発者 (または未来の自分) がコードを読む際に、データ構造や関数の意図を理解しやすくなります。
  • 大規模なプロジェクトや複数人でのチーム開発において、コードの品質を保ちやすくなります。

JS と TS: コード例による比較

JavaScript の場合

// JavaScript

function greet(name) {
  // name が文字列であることを期待している

  // しかし **数値やオブジェクトが渡されてもエラーにならない**
  // その結果、予期せぬ挙動になる可能性がある

  return 'Hello, ' + name
}

console.log(greet('Alice')) // "Hello, Alice"

console.log(greet(123))     // "Hello, 123" (もっと複雑なコードでは意図しない結果になる可能性)

TypeScript の場合

// TypeScript

// name は必ず文字列、戻り値も文字列であることを明示
function greet(name: string): string {
  return 'Hello, ' + name
}

console.log(greet('Alice')) // "Hello, Alice"

// console.log(greet(123))  // エラーまたは警告: Argument of type 'number' is not assignable to parameter of type 'string'.
// 意図と異なる型のデータを渡そうとするとエラーや警告が出るため、
// 関数作成者と使用者それぞれで安全なコード記述ができる

このように、 TypeScript を導入することで、より安全で堅牢なコードを書くことができるようになります。