Discriminated Unionsを破壊と連携させる方法は?

2
Maheer Ali 2020-01-17 11:03.

ここでは以下の3種類を検討MainTypeの和集合であるType1としますType2。場合kind"kind1"、その後data型でなければなりません{msg: string}から、同じType2

interface Type1 {
    kind: "kind1";
    data: { msg: string };
}
interface Type2 {
    kind: "kind2";
    data: { msg2: string };
}

type MainType = Type1 | Type2;

これがそれを使用する最初の方法です。

function func(obj: MainType) {
    switch (obj.kind) {
        case "kind1": return obj.data.msg;
        case "kind2": return obj.data.msg2;
    }
}

上記のコードはエラーを出さず、正しいオートコンプリートを示しています。

しかし、構造を解除するobjと、エラーが発生します。

function func({kind, data}: MainType) {
    switch (kind) {
        case "kind1": return data.msg;
        case "kind2": return data.msg2;
    }
}

エラーは

'msg'タイプにプロパティが存在しません'{ msg: string; } | { msg2: string; }'

多分それは非常に基本的なものです。しかし、私はtsに慣れていないので、破壊によってタイプがどのように変化するかを理解できません。理由を説明し、それを修正する方法があることも教えてください。

1 answers

6
Maciej Sikora 2020-01-17 18:07.

関数の引数のレベルでデストラクチャリングを使用することにより、kindとの間の接続が失われますdata。したがって、現在は異なるデータ構造になっているkindため、スイッチバイは狭まりませんdata

私はあなたが間の境界を取り除いたと言うことができます、kindそしてdataそれはあなたが本当に2つの変数を導入することを意味します、1つはタイプでkind1 | kind2そしてもう1つはタイプで{ msg: string; } | { msg2: string; }

その結果、私たちはkindもはや形で判別式を持っていません。

動作を破壊するのと同等のコードの下:

const f = (t: MainType) => {
  const kind = t.kind // "kind1" | "kind2";
  const data = t.data // {msg: string;} | {msg2: string;}
}

そして、ロジックの観点からは、コードは完全に問題ありません。これらのフィールド間の関係がわかっているので、機能するはずです。残念ながら、TSは限界を理解することができません。

要約すると、残念ながら、型をユニオンの特定のメンバーに絞り込まない限り、フィールド間の型の関係が台無しになるため、破棄を使用することはできません。


一部のタイプガードによる回避策を考えることができます。次の例を検討してください。

const isKind1 = (kind: MainType['kind'], data: MainType['data']): data is Type1['data'] 
=> kind === 'kind1'
const isKind2 = (kind: MainType['kind'], data: MainType['data']): data is Type2['data'] 
=> kind === 'kind2'

const f = ({kind, data}: MainType) => {
  if (isKind1(kind, data)) {
    data // is { msg: string }
  }
  if (isKind2(kind, data)) {
    data // is { msg2: string }
  }
}

タイプガードisKind1を使用isKind2することで、これら2つの変数間の接続を作成できます。しかし、問題はswitch、もう使用できず、コードも多く、型定義ではなく関数にフィールド関係が実装されていることです。このようなアプローチでは、元の型が定義している関数とは異なる関係を実行できるため、エラーが発生しやすくなります。

明確にするために、私はそれが可能であることを示していますが、ろうそくの価値はありません。破壊せずに元の実装を維持することをお勧めします。

Related questions

MORE COOL STUFF

「水曜日」シーズン1の中心には大きなミステリーがあります

「水曜日」シーズン1の中心には大きなミステリーがあります

Netflixの「水曜日」は、典型的な10代のドラマ以上のものであり、実際、シーズン1にはその中心に大きなミステリーがあります.

ボディーランゲージの専門家は、州訪問中にカミラ・パーカー・ボウルズが輝くことを可能にした微妙なケイト・ミドルトンの動きを指摘しています

ボディーランゲージの専門家は、州訪問中にカミラ・パーカー・ボウルズが輝くことを可能にした微妙なケイト・ミドルトンの動きを指摘しています

ケイト・ミドルトンは、州の夕食会と州の訪問中にカミラ・パーカー・ボウルズからスポットライトを奪いたくなかった、と専門家は言う.

一部のファンがハリー・スタイルズとオリビア・ワイルドの「非常に友好的な」休憩が永続的であることを望んでいる理由

一部のファンがハリー・スタイルズとオリビア・ワイルドの「非常に友好的な」休憩が永続的であることを望んでいる理由

一部のファンが、オリビア・ワイルドが彼女とハリー・スタイルズとの間の「難しい」が「非常に友好的」な分割を恒久的にすることを望んでいる理由を見つけてください.

エリザベス女王の死後、ケイト・ミドルトンはまだ「非常に困難な時期」を過ごしている、と王室の専門家が明らかにする 

エリザベス女王の死後、ケイト・ミドルトンはまだ「非常に困難な時期」を過ごしている、と王室の専門家が明らかにする 

エリザベス女王の死後、ケイト・ミドルトンが舞台裏で「非常に困難な時期」を過ごしていたと伝えられている理由を調べてください.

セントヘレナのジェイコブのはしごを登るのは、気弱な人向けではありません

セントヘレナのジェイコブのはしごを登るのは、気弱な人向けではありません

セント ヘレナ島のジェイコブズ ラダーは 699 段の真っ直ぐ上る階段で、頂上に到達すると証明書が発行されるほどの難易度です。

The Secrets of Airline Travel Quiz

The Secrets of Airline Travel Quiz

Air travel is far more than getting from point A to point B safely. How much do you know about the million little details that go into flying on airplanes?

Where in the World Are You? Take our GeoGuesser Quiz

Where in the World Are You? Take our GeoGuesser Quiz

The world is a huge place, yet some GeoGuessr players know locations in mere seconds. Are you one of GeoGuessr's gifted elite? Take our quiz to find out!

バイオニック読書はあなたをより速く読むことができますか?

バイオニック読書はあなたをより速く読むことができますか?

BionicReadingアプリの人気が爆発的に高まっています。しかし、それは本当にあなたを速読術にすることができますか?

その時ゼルダの予告編はおそらく成長した男性を泣かせた

その時ゼルダの予告編はおそらく成長した男性を泣かせた

まったく新しいゼルダの伝説ゲームが期待されているゲームの公開はほとんどありませんが、2004年のE3でトワイライトプリンセスが生み出した激しい反応には何の影響もありません。ゲーム会社が記者会見を従業員でいっぱいにするのはよくあることです。

レポート:テリーコリンズはメッツマネージャーとして行われる

レポート:テリーコリンズはメッツマネージャーとして行われる

写真:アル・ベロ/ゲッティ・ケン・ローゼンタールは、今日のフィリーズとの試合が終了すると、テリー・コリンズがメッツのマネージャーを辞任すると報告しています。これは、大きな救済として上陸したとしても、大きなショックではありません。コリンズの契約は今シーズン後に失効する予定だったので、メッツは彼の将来について何らかの形で決定することを決定しました、そしてロッカールームが準備ができた有毒な場所になったという報告が出た後、彼らが彼を連れ戻すことは想像できませんでした彼らのマネージャーから移動します。

その時私はウェンディのツイッターアカウントを実行している間にウイルスに行きました

その時私はウェンディのツイッターアカウントを実行している間にウイルスに行きました

この画像は法的な理由で削除されました。16分は、一時的に口コミで広まった一般の人々にチェックインするシリーズです。

ポルシェ911フラットシックスが高解像度で解剖されるのを見る

ポルシェ911フラットシックスが高解像度で解剖されるのを見る

写真:911 Magazine / Vimeoポルシェ911フラットシックスは象徴的なエンジンです。このリアマウントエンジンは、おそらくこれまでで最も話題になり、賞賛されたスポーツカーの心臓部です。

ケイト・ミドルトンとウィリアム王子は、彼らが子供たちと行っているスパイをテーマにした活動を共有しています

ケイト・ミドルトンとウィリアム王子は、彼らが子供たちと行っているスパイをテーマにした活動を共有しています

ケイト・ミドルトンとウィリアム王子は、子供向けのパズルの本の序文を書き、ジョージ王子、シャーロット王女、ルイ王子と一緒にテキストを読むと述べた.

事故で押しつぶされたスイカは、動物を喜ばせ水分補給するために野生生物保護団体に寄付されました

事故で押しつぶされたスイカは、動物を喜ばせ水分補給するために野生生物保護団体に寄付されました

Yak's Produce は、数十個のつぶれたメロンを野生動物のリハビリ専門家であるレスリー グリーンと彼女のルイジアナ州の救助施設で暮らす 42 匹の動物に寄付しました。

デミ・ロヴァートは、新しいミュージシャンのボーイフレンドと「幸せで健康的な関係」にあります: ソース

デミ・ロヴァートは、新しいミュージシャンのボーイフレンドと「幸せで健康的な関係」にあります: ソース

8 枚目のスタジオ アルバムのリリースに向けて準備を進めているデミ ロヴァートは、「スーパー グレート ガイ」と付き合っている、と情報筋は PEOPLE に確認しています。

Plathville の Kim と Olivia Plath が数年ぶりに言葉を交わすことへようこそ

Plathville の Kim と Olivia Plath が数年ぶりに言葉を交わすことへようこそ

イーサン プラスの誕生日のお祝いは、TLC のウェルカム トゥ プラスビルのシーズン 4 のフィナーレで、戦争中の母親のキム プラスと妻のオリビア プラスを結びつけました。

仕事の生産性を高める 8 つのシンプルなホーム オフィスのセットアップのアイデア

仕事の生産性を高める 8 つのシンプルなホーム オフィスのセットアップのアイデア

ホームオフィスのセットアップ術を極めよう!AppExert の開発者は、家族全員が一緒にいる場合でも、在宅勤務の技術を習得しています。祖父や曽祖父が共同家族で暮らしていた頃の記憶がよみがえりました。

2022 年、私たちのデジタル ライフはどこで終わり、「リアル ライフ」はどこから始まるのでしょうか?

20 年前のタイムトラベラーでさえ、日常生活におけるデジタルおよびインターネットベースのサービスの重要性に驚くことでしょう。MySpace、eBay、Napster などのプラットフォームは、高速化に焦点を合わせた世界がどのようなものになるかを示してくれました。

ニューロマーケティングの秘密科学

ニューロマーケティングの秘密科学

マーケティング担当者が人間の欲望を操作するために使用する、最先端の (気味が悪いと言う人もいます) メソッドを探ります。カートをいっぱいにして 3 桁の領収書を持って店を出る前に、ほんの数点の商品を買いに行ったことはありませんか? あなたは一人じゃない。

地理情報システムの日: GIS 開発者として学ぶべき最高の技術スタック

地理情報システムの日: GIS 開発者として学ぶべき最高の技術スタック

私たちが住んでいる世界を確実に理解するには、データが必要です。ただし、空間参照がない場合、このデータは地理的コンテキストがないと役に立たなくなる可能性があります。

Language