TypeScript は、Microsoft によって開発された静的に型付けされたプログラミング言語であり、JavaScript のスーパーセットであり、コンパイル時の型チェックを可能にします。TypeScript の強力な型システムにより、開発者は保守可能で拡張可能なコードを簡単に作成できます。この記事では、プリミティブ型、オブジェクト型、配列型、タプル型、列挙型、共用体型など、TypeScript の基本型を詳しく紹介します。
プリミティブ型
TypeScript には、次のプリミティブ型があります。
数値型
数値型は、整数または浮動小数点数を表すために使用されます。number
数値変数はキーワードを使用して宣言できます。
例えば:
let num: number = 123;
文字列型
文字列型はテキスト データを表すために使用されます。string
文字列変数はキーワードを使用して宣言できます。
例えば:
let str: string = "Hello";
ブール型
ブール型は、論理値、つまりtrue
またはを表すために使用されますfalse
。boolean
ブール変数はキーワードを使用して宣言できます。
例えば:
let isTrue: boolean = true;
Null値と未定義の型
null 型 ( void
) は、値を返さない関数を表すために使用されます。未定義型 ( undefined
) は、値が割り当てられていない変数を表すために使用されます。void
およびundefined
キーワードを使用して、対応する変数を宣言できます。
例えば:
let result: void = undefined; // 空值类型
let undef: undefined = undefined; // 未定义类型
Null 型と型なし型
null 型 ( void
) は、値を返さない関数を表すために使用されます。null
型は、null 値または null のオブジェクト参照を表すために使用されます。void
およびnull
キーワードを使用して、対応する変数を宣言できます。
例えば:
let nothing: null = null; // 空值类型
let nul: null = null; // 空值类型
オブジェクトタイプ
オブジェクト型は、オブジェクト、配列、関数などの非プリミティブ データ型を表すために使用されます。object
オブジェクト型はキーワードを使用して宣言できます。
オブジェクトタイプ
オブジェクト タイプは、複数のキーと値のペアを含むオブジェクトを表すために使用されます。{}
オブジェクト型は、またはキーワードを使用してobject
宣言できます。オブジェクトタイプでは、属性名の種類と属性値を指定できます。
例えば:
let person: {
name: string; age: number } = {
name: "John",
age: 25,
};
配列型
配列型は、同じ型の要素の順序付けされたコレクションを表すために使用されます。类型[]
配列型は、 or構文を使用してArray<类型>
宣言できます。
例えば:
let numbers: number[] = [1, 2, 3, 4, 5]; // 数字数组
let names: string[] = ["Alice", "Bob", "Charlie"]; // 字符串数组
タプル型
タプル型は、固定長と固定型の配列を表すために使用されます。[类型1, 类型2, ...]
構文を使用してタプル型を宣言できます。
例えば:
let user: [string, number] = ["John", 25]; // 元组类型
関数の種類
関数タイプは関数を表すために使用されます。(参数类型) => 返回值类型
関数の型は、構文を使用して宣言できます。
例えば:
let add: (x: number, y: number) => number = function (x: number, y: number): number {
return x + y;
};
列挙型
列挙型は、名前付き定数のセットを表すために使用されます。enum
列挙型はキーワードを使用して宣言できます。
例えば:
enum Color {
Red,
Green,
Blue,
}
let color: Color = Color.Green;
列挙型では、各列挙メンバーに関連付けられた数値があり、デフォルトでは 0 から始まります。列挙メンバーの値を手動で指定することもできます。
共用体型
共用体タイプは、変数が複数のタイプのいずれかであることを示すために使用されます。类型1 | 类型2 | ...
ユニオン型は、構文を使用して宣言できます。
例えば:
let value: string | number = "Hello"; // 联合类型
value = 123; // 合法
ユニオン型を使用すると柔軟性が向上し、さまざまな型の値を処理できるようになります。
型推論と型アサーション
TypeScript には強力な型推論機能があり、コンテキストに基づいて変数の型を自動的に推論できます。たとえば、定義時に値を直接割り当てると、TypeScript は変数の型を推測できます。
let num = 123; // 类型推断为 number
let str = "Hello"; // 类型推断为 string
さらに、型アサーションを使用してコンパイラに値の型を伝えることができます。<类型>值
型アサーションには、と の2 つの構文形式があります值 as 类型
。
let someValue: unknown = "Hello";
let strLength1: number = (<string>someValue).length;
let strLength2: number = (someValue as string).length;
型アサーションは、型推論ができない場合に型情報を提供できますが、型エラーを避けるために使用は控えめにする必要があります。
要約する
この記事では、プリミティブ型、オブジェクト型、配列型、タプル型、列挙型、共用体型など、TypeScript の基本型を詳しく紹介します。TypeScript の強力な型システムにより、開発者はコンパイル時に型チェックを実行できるため、実行時に型エラーが発生する可能性が低くなります。