TypeScriptの型: string・number・booleanなど基本の型

TypeScriptの型は、変数がどんな種類の値を持てるかを表します。型はコロンのあとに let name: string のように書き、コンパイラーは違う種類の値を入れるコードをエラーにします。基本の型は、JavaScriptの7つのプリミティブと、配列やオブジェクトを表すオブジェクト型です。

let title: string = "TypeScript";
let version: number = 7;
let isStrict: boolean = true;
let big: bigint = 9007199254740993n;
let id: symbol = Symbol("id");
let nothing: null = null;
let notSet: undefined = undefined;

let scores: number[] = [90, 72, 85];
let user: { name: string; age: number } = { name: "Ada", age: 36 };

console.log(title, version, isStrict, big, id);
console.log(nothing, notSet);
console.log(scores, user);

型注釈はコンパイル時にチェックされ、そのあと取り除かれます。実際に動くプログラムはただのJavaScriptです。

プリミティブ型

型名は小文字です。実行時の typeof もほとんどの型で同じ単語を返すので、プログラムの実行中に値のプリミティブ型を調べるには typeof x === "number" のように書きます。

型注釈

型注釈は、変数、パラメーター、関数のパラメーターリストのあとに書く : Type です。いちばん重要なのはパラメーターです。呼び出し側が何を渡すかをTypeScriptは推測できないからです。

function describe(name: string, age: number, admin: boolean): string {
    return `${name} (${age})${admin ? " [admin]" : ""}`;
}

let label: string = describe("Ada", 36, true);
console.log(label); // Ada (36) [admin]

// Without an annotation, TypeScript infers the type from the value:
let count = 10; // count: number
count = count + 1;
console.log(count); // 11

変数を同じ行で初期化する場合、型注釈はたいてい不要です。let count = 10 はすでに number 型になっています。型を省略するときのルールは型推論のページで説明しています。

型が違えばコンパイルエラー

違う型の値を代入すると、何かが実行される前にコンパイラーが止めます:

// This does not compile: a string is not a number.
let port: number = 8080;
port = "3000";
console.log(port);

コンパイラーの出力:

index.ts(3,1): error TS2322: Type 'string' is not assignable to type 'number'.

直し方は、port = Number("3000") のように値を変換するか、その変数が本当にテキストを持つべきなら型注釈を変えることです。

number: 整数型はない

JavaScriptはすべての数値を64ビット浮動小数点数で保持するため、TypeScriptの数値型は number ひとつだけです。整数は Number.MAX_SAFE_INTEGER（2 ** 53 - 1）までは正確に表せます。それを超える場合は bigint を使います。

let price: number = 19.99;
let quantity: number = 3; // also number: no int type

console.log(Number.isInteger(quantity)); // true
console.log(Number.isInteger(price));    // false
console.log(Math.trunc(7 / 2));          // 3 (integer division)
console.log(0.1 + 0.2);                  // 0.30000000000000004

console.log(Number.MAX_SAFE_INTEGER);     // 9007199254740991
console.log(Number.MAX_SAFE_INTEGER + 2); // 9007199254740992 (wrong)

let exact: bigint = 9007199254740991n + 2n;
console.log(exact); // 9007199254740993n

// @ts-expect-error: bigint and number cannot be mixed
const mixed = () => exact + 1;
console.log(exact + BigInt(1), Number(exact)); // 9007199254740994n 9007199254740992

bigint と number は混ぜられません。exact + 1 はコンパイルエラー（TS2365: Operator '+' cannot be applied to types 'bigint' and '1'.、'1' は 1 のリテラル型）になり、仮に実行されたとしても実行時に TypeError になります。BigInt(1) や Number(exact) でどちらかを明示的に変換してください。ただし Number は安全な範囲を超えた値を丸めます。

整数だけを受け付ける型は、任意の値についてはTypeScriptでは表現できません。値がプログラムに入ってくる場所で Number.isInteger を使って検証します。

boolean

boolean の値は true と false の2つだけです。真とみなされるだけの値（1、"yes"）は boolean ではないので、Boolean(x) や x !== 0 で boolean に変換します。

let loggedIn: boolean = false;
const items: string[] = ["a", "b"];

const hasItems: boolean = items.length > 0;
const hasName: boolean = Boolean("Ada");

console.log(loggedIn, hasItems, hasName); // false true true

null と undefined

strict が有効な場合（TypeScript 6.0 からはデフォルト）、null と undefined は独立した型で、string や number などほかの型には含まれません。空になりうる変数はユニオン型でそれを明示します:

let nickname: string | undefined;
console.log(nickname); // undefined

nickname = "Ace";
console.log(nickname.toUpperCase()); // ACE

let middleName: string | null = null;
console.log(middleName ?? "(none)"); // (none)

undefined かもしれない値のプロパティを読むと、チェックするまではコンパイルエラーになります。チェックの方法、?.、?? については null と undefined のページで説明しています。

配列とオブジェクトの概要

プリミティブ以外はすべてオブジェクト型です。最初に出会うのは次の3つの形です:

let tags: string[] = ["ts", "js"];               // array of strings
let point: { x: number; y: number } = { x: 1, y: 2 }; // object with two number properties
let greet: (name: string) => string = (n) => `hi ${n}`; // function type

それぞれに専用のページがあります: 配列、タプル（長さが決まった配列）、オブジェクト型、関数型。

string, number, boolean と String, Number, Boolean

大文字の名前は、普通の値ではなくJavaScriptのラッパーオブジェクト（new String("x")）の型です。型注釈には小文字の名前を使います。

// This does not compile: String (the wrapper) is not string (the primitive).
const wrapped: String = "text";
const plain: string = wrapped;
console.log(plain);

index.ts(3,7): error TS2322: Type 'String' is not assignable to type 'string'.
  'string' is a primitive, but 'String' is a wrapper object. Prefer using 'string' when possible.

1行目の String を string に変えればこのブロックは実行できます。Number、Boolean、Symbol、BigInt も同じです。（Object は別で、プリミティブを含むほぼすべての値を受け付けます。オブジェクト型のページを参照してください。）

そのほかの組み込み型

早い段階で出てくる型がほかにもいくつかあります。それぞれ専用のページがあります。