TypeScriptは、スケーラブルなJavaScriptアプリケーションを構(gòu)築するための強(qiáng)力なツールであり、大規(guī)模なWeb JavaScriptプロジェクトの標(biāo)準(zhǔn)となっています。ただし、初心者の場合、TypeScriptにはいくつかのトリッキーなものもあり、その1つは組合タイプを區(qū)別しています。

次のコードを検討してください。

インターフェイスキャット{
  重量：番號;
  ひげ：番號;
}
インターフェイスドッグ{
  重量：番號;
  フレンドリー：boolean;
}
動(dòng)物を飼ってください：犬。

多くの開発者は、 animalにアクセスするときにweight屬性のみが有効である一方で、 whiskersやfriendly屬性が無効であることに驚くでしょう。この記事では、その理由を説明します。

それに飛び込む前に、組合タイプ間のタイプスクリプトの區(qū)別を理解するのに役立つ構(gòu)造的および名目上のタイプをすばやく確認(rèn)しましょう。

構(gòu)造タイプ

構(gòu)造タイプを理解する最良の方法は、それらを公稱タイプと比較することです。使用した可能性のある入力言語のほとんどは、名目上タイプされています。たとえば、C＃コード（JavaまたはC同様）：

クラスfoo {
  public int x;
}
クラスブラ{
  public int x;
}

FooとBlahまったく同じ構(gòu)造を持っていても、彼らは互いに値を割り當(dāng)てることができません。次のコード：

 blah b = new foo（）;

次のエラーが生成されます。

<code>無法隱式轉(zhuǎn)換類型“Foo”為“Blah”</code>

これらのクラスの構(gòu)造は重要ではありません。タイプFooの変數(shù)は、 Fooクラス（またはそのサブクラス）のインスタンスにのみ割り當(dāng)てることができます。

それどころか、タイプスクリプトは構(gòu)造タイプを採用します。 TypeScriptは、両方のタイプが同じ構(gòu)造を持っている場合、それらを互換性のあるものと見なします。

したがって、次のコードは正常に機(jī)能します。

クラスfoo {
  X：number = 0;
}
クラスブラ{
  X：number = 0;
}
F：foo = new blah（）;
b：blah = new foo（）;

一致する値としてのタイプのコレクション

これをさらに説明しましょう。次のコードが與えられます：

クラスfoo {
  X：number = 0;
}

f：foo;

f 、 Fooクラスインスタンスと同じ構(gòu)造であるすべてのオブジェクトを保持できる変數(shù)です。この場合、數(shù)字を表すxプロパティを意味します。これは、通常のJavaScriptオブジェクトでさえ受け入れることができることを意味します。

 f：foo;
f = {
  X：0
};

ユニオンタイプ

この記事の冒頭でコードに戻りましょう。

インターフェイスキャット{
  重量：番號;
  ひげ：番號;
}
インターフェイスドッグ{
  重量：番號;
  フレンドリー：boolean;
}

私たちは知っています：

動(dòng)物をさせてください：犬;

Dogインターフェイスと同じ構(gòu)造のオブジェクトをanimalにします。では、次のコードとはどういう意味ですか？

動(dòng)物を飼ってください：犬。

これにより、 animal種類がDogインターフェイスに一致するオブジェクト、またはCatインターフェイスに一致するオブジェクトとして定義します。

では、なぜanimal weight屬性にのみアクセスできるようになったのですか？簡単に言えば、それはタイプスクリプトがそれがどんなタイプであるかを知らないからです。タイプスクリプトはanimal DogまたはCatでなければならないことを知っていますが、どちらかかもしれません。 friendly財(cái)産にアクセスすることを許可されているが、インスタンスではanimal実際にはCatではなくDogではない場合、ランタイムエラーが発生する可能性があります。 whiskers屬性にも同じことが言えます。

ユニオンタイプは、屬性の組合ではなく、有効な値の組合です。開発者はしばしばこのようなコードを書きます：

動(dòng)物を飼ってください：犬。

そして、 animal DogとCat特性の結(jié)合を持っていることを期待してください。しかし、これは別の間違いです。これはanimal有効なDogと有効なCat価値の関節(jié)に一致する値があることを指定しています。ただし、TypeScriptでは、存在することがわかっているプロパティにのみアクセスできます。現(xiàn)在、これは組合內(nèi)のあらゆる種類のプロパティを意味します。

タイプ絞り込み

今、私たちは持っています：

動(dòng)物を飼ってください：犬。

animalがDogであるとき、 DogインターフェイスのDogとしてそれを正しく扱い、アクセス特性をどのように扱い、 Catのときにそれを処理しますか？現(xiàn)在、 in Operatorを使用できます。これは古いJavaScriptオペレーターであり、あまり頻繁に表示されない可能性があります。これにより、プロパティがオブジェクトに存在するかどうかをテストできます。例えば：

 o = {a：12}とします。

「a」in // true
oの「x」; // false

TypeScriptはinオペレーターと深く統(tǒng)合されていることがわかります。使用方法を見てみましょう：

動(dòng)物：犬|。

if（動(dòng)物の「フレンドリー」）{
  console.log（animal.friendly）;
} それ以外 {
  console.log（animal.whiskers）;
}

このコードはエラーを生成しません。 ifブロック內(nèi)で、TypeScriptはfriendly財(cái)産があることを知っているので、 animal Dogに変換します。 elseブロック內(nèi)で、タイプスクリプトも同様にanimalをCatとして扱います。これらのブロック內(nèi)のanimalオブジェクトの上にマウスをホバリングすることで、これをコードエディターで表示することもできます。

組合タイプの區(qū)別

ここでブログ投稿が終了することを期待するかもしれませんが、殘念ながら、屬性が存在するかどうかを確認(rèn)することにより、組合タイプを狹めることが非常に制限されます。シンプルなDogとCat種類に適していますが、これらのタイプの間でより多くのタイプとより重複している場合、物事はより複雑で壊れやすくなります。

これは、ユニオンタイプを區(qū)別するのに役立つ場所です。私たちはすべてを以前から保持し、各タイプにプロパティを追加するだけです。その唯一の目的は、これらのタイプを區(qū)別（または「區(qū)別」する）ことです。

インターフェイスキャット{
  重量：番號;
  ひげ：番號;
  Animal_type： "cat";
}
インターフェイスドッグ{
  重量：番號;
  フレンドリー：boolean;
  Animal_type： "dog";
}

両方のタイプのANIMAL_TYPE屬性に注意してください。 2つの異なる値の文字列と間違えないでください。 ANIMAL_TYPE: "CAT";たまたま「貓」を含むタイプを表します。

今、私たちの検査はより信頼性が高まっています：

動(dòng)物：犬|。

if（animal.animal_type === "dog"）{
  console.log（animal.friendly）;
} それ以外 {
  console.log（animal.whiskers）;
}

このチェックは、組合に參加する各タイプがANIMAL_TYPE屬性の異なる値を持っていると仮定して、絶対確実になります。

唯一の欠點(diǎn)は、新しいプロパティに対処する必要があることです。 DogまたはCatのインスタンスが作成されるたびに、 ANIMAL_TYPEのユニークな正しい値を提供する必要があります。しかし、タイプスクリプトがあなたに思い出させるので、忘れることを心配しないでください。 ？

さらに読む

詳細(xì)を確認(rèn)したい場合は、Typeの狹窄に関するTypeScriptドキュメントをお読みください。これにより、ここで議論していることをより詳細(xì)に調(diào)べます。このリンクには、タイプアサーションに関するセクションがあります。これらを使用すると、タイプの判別器を使用したり、 inキーワードに依存したりせずに、獨(dú)自のカスタムチェックを定義してタイプを狹くすることができます。

結(jié)論は

この記事の冒頭で、次の例では、なぜweightが唯一のアクセス可能な特性であるのかと言いました。

インターフェイスキャット{
  重量：番號;
  ひげ：番號;
}
インターフェイスドッグ{
  重量：番號;
  フレンドリー：boolean;
}
動(dòng)物を飼ってください：犬。

私たちが學(xué)んだことは、TypeScriptはanimal DogやCatになることができることしか知っていないが、両方ではないことを知っているということです。したがって、私たちはweightを得ることができます。これは2つの間の唯一の公共財(cái)産です。

組合タイプを區(qū)別するという概念は、TypeScriptがこれらのオブジェクトを區(qū)別する方法であり、このアプローチは、より大きなオブジェクトのコレクションであっても非常にスケーラブルです。したがって、チェックに使用できる?yún)g一のリテラル値を保持する両方のタイプに新しいANIMAL_TYPEプロパティを作成する必要があります。もちろん、これは追跡する必要があるもう1つのことですが、より信頼性の高い結(jié)果も生成します。これは、そもそもTypeScriptに必要なものです。

以上がタイプスクリプトを區(qū)別した組合を分類しますの詳細(xì)內(nèi)容です。詳細(xì)については、PHP 中國語 Web サイトの他の関連記事を參照してください。