typescript 型ガードで複数のユニオン型で絞り込みたい

Question

typescriptの型ガードを使って、オブジェクトの型（リテラルによる型ガードを利用）を出し分けたいのですが、一つずつ絞り込むのではなく複数で絞り込みを行うことは出来ますか？

type MultiType = TypeA | TypeB | TypeC | TypeD

interface TypeA {
  type: "A",
  propA: {...}
}

interface TypeB {
  type: "B",
  propB: {...}
}

interface TypeC {
  type: "C",
  propC: {...}
}

interface TypeD {
  type: "D",
  propD: {...}
}

function checkType(what: MultiType) {
  if(what.type === "A" || "B") {
    ... // (1) 
  } else {
    ... // (2)
  }
}

上記コードにおける関数checkType内で型毎に処理をしたいのですが、(1), (2)での引数whatの型がそれぞれ
(1) what: TypeA | TypeB
(2) what: TypeC | TypeD
となることを期待しますが、結果は
(1) what: MultiType
(2) what: TypeB | TypeC | TypeD
となってしまい困っています。型ガードは1つずつの絞り込みしかできないのでしょうか？

Answer 1

これは型がどうというワケではなく、単に文字列比較をしているコードだと思います。

const hoge = "A" || "B"

上記は、左辺がundefined、false、0なら"B"、という、javascriptからある書き方です。なので、

if(what.type === "A" || "B") {

これは常に"A"と比較してる事になります。
これは what.type === "A" が false の場合に"B"(つまり常にtrue) という式になります。

文字比較としてなら、以下のように書けます。

  if(["A", "B"].includes(what.type)){
    ....
  } else {
    ....
  }

Comments

[maisumakun]

> これは常に"A"と比較してる事になります。

比較はしていますが、偽だった場合には'B'が取られ、条件としてはつねに真となります。

[yochun02]

> 型がどうというワケではなく、単に文字列比較をしているコード

初歩的なことを忘れていました；；
if(what.type ==="A" || what.type==="B"){
...
}
とすることで、ifの中でのwhatの型が期待通りTypeA | TypeBになりました。ありがとうございます。

[umau]

> maisumakun さん
おっしゃるとおりで、僕が評価順ミスってる説明してますね。
(what.type === "A" ) || "B" 〇
what.type === ("A" || "B") ✕
ですね。ありがとうございます。

＞ yochun02 さん
解決できて良かったです。