if文の条件節内の型アサーション・・・ですか？

Question

ハンドブックをさっと読んだばかりという程度なのですが・・・
そのハンドブックの共用型で、以下のようなサンプルコードをみて疑問が湧いています

下記のif文の条件節内で型アサーションしてしまったら("(<Fish>pet).swim")
それはは必ずtrueになって条件分岐の意味がなくなるのでは？
と思いましたが、実行結果はコンソールに ’bird’ と出ます。

常套手段としてはpet.hasOwnProperty('swim')と思うのですが・・・
後続の 型述語 のコード内にも同様のものがみられます。

これは型アサーションではないのでしょうか？
ここはどのように理解すべきでしょうか？

interface Bird {
  fly(): void;
  layEggs(): void;
  twiple(): void;
}

interface Fish {
  swim(): void;
  layEggs(): void;
}

function getSmallPet(): Fish | Bird {
  class Hawk implements Bird {
    constructor() {}
    fly() {}
    layEggs() {}
    twiple() {
      console.log("Twipled!!");
    }
  }
  return new Hawk();
}

let pet = getSmallPet();

if ((<Fish>pet).swim) {　
  console.log("fish");
} else {
  console.log("bird");
}

function isFish(pet: Fish | Bird): pet is Fish {
  return (<Fish>pet).swim !== undefined;
}

Answer 1

それはは必ずtrueになって条件分岐の意味がなくなるのでは？

いえ、これは無理やり型を読み替えるだけですので、中身がBirdだった場合にもswimプロパティを読みに行って、undefinedが取得され、条件としては偽になります。

Comments

[TOMIYASU_chan]

ありがとうございます。
無理やり型情報を変更しても、実体の方に
無いものは無いという結果がでるので判定できると。
確かに'pet.swim'としてしまうと、petそのものは
共用型なので「'swim' は型 'Bird | Fish' に存在しません」となります。
便宜上、どちらかの方に絞る必要がああるのでこうなっているわけですね。