TypeScriptの型システム
なぜTypeScriptを使うのか?について説明したとき、TypeScriptの型システムの主な機能を取り上げました。下記は、改めて説明する必要がない、いくつかのキーポイントです:
TypeScriptの型システムは_使うかどうか選べるもの_として設計されているので、あなたが書いたJavaScriptはTypeScriptでもあります。
TypeScriptは型エラーがあってもJavaScriptの生成をブロックしないので、徐々にJSをTSに更新していくことができます。
では、TypeScript型システムの構文から始めましょう。これにより、コード内でこれらのアノテーションをすぐに使用して、その利点を確認することができます。これは後で詳細を掘り下げる準備にもなります。
基本アノテーション
前述のように、:TypeAnnotation
構文を使って型アノテーションを書きます。型宣言空間で使用可能なものは、型アノテーションとして使用できます。
次の例は、変数、関数パラメータ、および関数戻り値の型アノテーションを示しています。
プリミティブ型(Primitive Types)
JavaScriptプリミティブ型は、TypeScript型システムでカバーしています。これは、以下に示すように string
、number
、 boolean
を意味します:
配列(Arrays)
TypeScriptは、配列に専用の構文を提供し、コードにアノテーションを付けて文書化するのを容易にします。構文は、基本的に[]
を有効な型アノテーションに後置します(例えば :boolean[]
)。これは通常行う配列操作を安全に行うことを可能にし、誤った型のメンバを割り当てるなどのエラーからあなたを守ります。これは以下のとおりです:
インターフェース(Interfaces)
インターフェースは、複数の型アノテーションを単一の名前付きアノテーションに合成するための、TypeScriptにおける主要な方法です。次の例を考えてみましょう。
ここでは、アノテーションをfirst: string
+ second: string
という新しいアノテーションName
にまとめて、個々のメンバの型チェックを行っています。インターフェースはTypeScriptで大きなパワーを持っているので、別途専用のセクションでその利点をどのように活かすかを説明します。
インライン型アノテーション(Inline Type Annotation)
新しいinterface
を作成するのではなく、構造:{/* Structure */}
を使って_インライン_で必要なものにアノテーションを付けることができます。前の例を、インライン型で再掲します:
インライン型は、1回だけ使うようなアノテーションを素早く提供するのに最適です。それは(良くないかもしれない)型名を考える手間を省きます。しかし、同じ型アノテーションを複数回インラインで入れている場合は、それをインターフェース(またはこのセクションの後半で説明するtype alias
)にリファクタリングすることを検討することをお勧めします。
特殊な型
上記でカバーしたプリミティブ型以外にも、TypeScriptでは特別な意味を持ついくつかの型があります。これらはany
、null
、undefined
、void
です。
any
any
型は、TypeScript型システムにおいて特別なものです。これは、型システムからの脱出口を与えて、コンパイラに失せるよう指示します。any
は型システムのすべての型と互換性があります。つまり、any型の変数には_何でも代入できる_し、その変数を_何にでも代入できる_ということです。以下に例を示します:
JavaScriptコードをTypeScriptに移植する場合、最初はany
と友達になります。しかし、型安全性を確保することはあなた次第であるため、この友情を真剣に受け止めてはいけません。これを使うことは、基本的に、コンパイラに意味のある静的解析を行わないように指示することです。
null
とundefined
null
とundefined
strictNullChecks
フラグ(このフラグについては、後で扱います)によって扱いが変わります。strictNullChecks
がfalse
の場合、null
とundefined
のJavaScriptリテラルは、型システムにおいてはany
型と同じようなものとして扱われます。これらのリテラルは他の型に代入することができます。以下に例を示します:
:void
:void
関数に戻り値の型がないことを示すには:void
を使います:
ジェネリックス(Generics)
コンピュータサイエンスの多くのアルゴリズムとデータ構造は、オブジェクトの実際の型に依存しません。しかし、それでも、あなたは、さまざまな変数の間で制約を適用したいと考えているでしょう。単純なおもちゃの例は、項目のリストを取り、逆順にした項目のリストを返す関数です。ここでの制約は、関数に渡されるものと関数によって返されるものの間の制約です。
ここでは、reverse
関数は何らかの型T
の配列(items: T[]
)を受け取り(reverse<T>
の型パラメータに注目)、T
型の配列を返します(: T[]
に注目)。 reverse
関数は、同じ型の項目を返すので、reversed
変数もnumber[]
型であることがTypeScriptに分かるため、型の安全性が得られます。同様にstring[]
の配列をreverse
関数に渡すと、返される結果もstring[]
の配列になり、以下に示すような型安全性が得られます:
実際、JavaScript配列には既に.reverse
関数があり、TypeScriptはジェネリックを使ってその構造を定義しています:
これは、以下のように任意の配列で .reverse
を呼び出すときに型の安全性を得られることを意味します:
後で、アンビエント宣言(Ambient Declarations)の節でlib.d.ts
を説明するときに、Array<T>
インターフェースについてもっと議論します。
ユニオン型(Union Type)
JavaScriptでは、プロパティを複数の型のうちの1つにしたいことがよくあります(例:string
またはnumber
)。そういった場合、ユニオン型(型アノテーションの|
を使いstring|number
のように書く)が便利です。よくある使用例として、単一のオブジェクトまたはオブジェクトの配列をとることができる関数があげられます。
交差型(Intersection Type)
オブジェクト拡張
(extend)はJavaScriptで非常に一般的なパターンです。ここでは2つのオブジェクトを取得し、これらのオブジェクトの両方の機能を持つ新しいオブジェクトを作成します。交差型では、以下に示すようにこのパターンを安全な方法で使用できます。
タプル型
JavaScriptには、第一級のタプルのサポートがありません。人々は、一般にタプルとして配列を使用します。これはまさにTypeScriptの型システムがサポートしているものです。タプルは、: [typeofmember1, typeofmember2]
といったようにアノテーションを付けることができます。タプルには、任意の数のメンバを含めることができます。タプルの例:
これをTypeScriptの分解(Destructuring)のサポートと組み合わせると、タプルは、その実態は配列であるとはいえ、かなり第一級であるように感じられます:
型エイリアス(Type Alias)
TypeScriptは、複数の場所で使用したい型アノテーションの名前を提供するための便利な構文を提供します。エイリアスは type SomeName = someValidTypeAnnotation
構文を使用して作成できます。例:
interface
とは違って、型エイリアスは文字通りどんな型アノテーションにも与えることができます(ユニオン型や交差型のようなものに便利です)。構文に慣れ親しむための例をいくつか次に示します。
ヒント:型アノテーションの階層を持つ必要がある場合は、
interface
を使います。インターフェースはimplements
とextends
で使うことができますヒント:型エイリアスは、比較的単純なオブジェクト構造(
Coordinates
(座標)のような)にセマンティックな名前を付けるために使いましょう。また、ユニオン型や交差型にセマンティックな名前を付けたい場合に用いるのもよいでしょう。
まとめ
これで、ほとんどのJavaScriptコードに型アノテーションを付けることができるようになりました。これで、TypeScriptの型システムで使用可能なすべての機能の詳細を説明できます。
最終更新