プログラミングTypeScript ―スケールするJavaScriptアプリケーション開発

付録A型演算子

TypeScriptは、型を扱うための豊富な型演算子のセットを備えています。表A-1は、型演算子について詳しく知りたいと思ったときのための便利なリファレンスとして活用してください。

表A-1　型演算子

型演算子	構文	使用対象	詳細な解説ページ
型クエリー	typeof、instanceof	任意の型	「6.1.5 型の絞り込み」、「5.6 クラスは値と型の両方を宣言する」
キー	keyof	オブジェクト型	「6.3.1.2 keyof演算子」
プロパティの取得	O[K]	オブジェクト型	「6.3.1.1 ルックアップ型」
マップ型	[K in O]	オブジェクト型	「6.3.3 マップ型」
修飾子の付加	+	オブジェクト型	「6.3.3 マップ型」
修飾子の削除	-	オブジェクト型	「6.3.3 マップ型」
読み取り専用修飾子	readonly	オブジェクト型、配列型、タプル型	「3.2.8 オブジェクト」、「5.1 クラスと継承」、「3.2.11.1 読み取り専用の配列とタプル」
オプション修飾子	?	オブジェクト型、タプル型、関数のパラメーター型	「3.2.8 オブジェクト」、「3.2.11 タプル」、「4.1.1 オプションパラメーターとデフォルトパラメーター」
条件型	?	ジェネリック型、型エイリアス、関数のパラメーター型	「6.5 条件型」
非nullアサーション	!	null許容型	「6.6.2 非nullアサーション」、「6.6.3 明確な割り当てアサーション」
ジェネリック型パラメーターのデフォルトの型	=	ジェネリック型	「4.2.6 ジェネリック型のデフォルトの型」
型アサーション	as、<>	任意の型	「6.6.1 型アサーション」、「6.1.4.1 constアサーション」
型ガード	is	関数の戻り値の型	「6.4.2 ...