【TypeScript】基本的な型アノテーション

本記事では、TypeScriptの基本的な型アノテーションについて、変数、関数、基本的なデータ型の型アノテーションを解説します。
これらの内容を学ぶことで、型安全性を確保し、TypeScriptによってバグの少ないコードを書くための基礎知識を身につけることができます。

型アノテーションとは

型アノテーションとは、変数、関数のパラメータ、関数の戻り値などのデータ型を明示的に指定するための記述方法です。

TypeScriptの目玉機能であり、JavaScriptとの最大の違いと言って良いでしょう。

使い方は簡単で、型アノテーションを付けたい対象の右に「:」（コロン）を記述し、データ型の種類を指定します。

変数の場合書式

let 対象: データ型

定数の場合の書式

const 対象: データ型

変数に代入する情報のデータ型を明示的に指定できます。

以下に具体例を示します。

変数の型アノテーション例

let age: number = 300; // 数値型を指定
let name: string = 'Luke Skywalker'; // 文字列型を指定
let isStudent: boolean = true; // 論理値型（真偽値型）を指定

関数にも型アノテーションを適用できます。
関数の場合は、引数、戻り値のデータ型を指定します。

関数の型アノテーション例

function introduce(name: string, age: number): string {
  return `私の名前は${name}です。${age}歳です。`;
}

上記の例では、引数のnameを文字列型、ageを数値型に指定し、戻り値のデータ型に文字列型を指定しています。

TypeScriptでは、JavaScriptの基本的なデータ型に加えて、独自の型システムを導入しています。
以下に、TypeScriptで使用される基本的なデータ型を一覧形式で紹介します。

次の7種類は、JavaScriptにも存在するプリミティヴ型です。

続いて、次に挙げる４種類は、TypeScriptで拡張されたプリミティヴ型です。

any：任意の値を表します。
- any型は、どんな型の値でも許容するため柔軟に使うことができます。しかし、その代償として型の安全性を犠牲にするため、可能な限り使用を避けるべきです。
- コンパイル時に型チェックが行われないため、実行時に予期しないエラーが発生する可能性があります。
unknown：不明な値を表します。
- unknown型は、値の型が分からない場合に使用します。any型とは異なり、型をチェックするまで値の操作が制限されます。
- unknown型の値を操作する前に型を確認する必要があります。型の安全性を保ちながら柔軟性を持たせるために有用です。
never：決して発生しない値を表します。
- never型は、決して発生しない値を示します。例えば、例外をスローする関数や無限ループなどに使用します。
- 実際に値を持つことはありません。型システムの一部として、決して到達しないコードを明示するために使用されます。
void：戻り値がないことを示す型です。
- void型は、関数が値を返さないことを示します。主に関数の戻り値の型アノテーションとして使用されます。

TypeScriptでは、オブジェクト型もサポートしており、オブジェクトのプロパティに対して型アノテーションを適用できます。

オブジェクト型の例

interface Person {
    name: string;
    age: number;
}

let student: Person = {
    name: 'Alice',
    age: 25
};

上記の例では、Personインターフェースを定義し、オブジェクトstudentに対して型アノテーションを適用しています。

本記事では、TypeScriptの基本的な型アノテーションについて解説しました。型アノテーションを使用することで、コードの型安全性を確保し、予期しないエラーを防ぐことができます。

以下に主なポイントをまとめます。

以上の内容で、TypeScriptを使って型安全なコードを書くための基礎知識を習得できました。

次回より、ユーザー定義型について学び、TypeScriptでの活動範囲を広げていきましょう。

本記事についての質問、誤りの指摘、ご意見ご感想などありましたら、ぜひコメント頂ければ幸いです。

最後までお読みいただき、ありがとうございました。