目印で見分けるユニオン

そこで、どちらの型にも同じ名前のプロパティを1つ足す。中身はリテラル型にして、メンバーごとにちがう値を入れておく。これが目印だよ。

目印は両方の型にあるので、絞りこむ前でもそのまま読める。そして if で目印を見ると、その中では片方の型だと分かってもらえる。だから Inu だけが持つ namae も安全に使えるんだ。

目印を持たせなかったらどうなるか、見ておこう。| でつないだだけの型では、両方にあるプロパティしか使えない。

Tori には namae が無いので、a.namae はその場で止められる。エラーは2行に分かれて出て、下の行が「どのメンバーに無いのか」を名指しで教えてくれるよ。

もう1つの落としあなが、目印を string で書いてしまうこと。shurui: string だと、どちらのメンバーも「なんらかの文字列」を持っているだけになる。

すると if (a.shurui === "inu") を書いても何も絞りこめない。中でも Inu | Tori のままなので、さっきと同じエラーが出るよ。目印の型は "inu" のように値そのもので書こう。

つなぐメンバーが増えても、やることは変わらない。目印の値を1つずつちがう文字にして、else if で並べるだけだよ。

type で名前をつけておくと、引数にも配列の中身にも同じ型が使い回せる。ここから書いてみよう。目印を持たせて、if で見る、それだけだ。