TypeScriptのタグ付けと、型の合併について

TSでタグ付けと型の合併に関して質問です。

TSで

// typeプロパティタグとする
type A = {type: "first", name: string, age: number}
type B = {type: "second", name: string, age: string, id: number}
type C = {type: "third", name: number, age: number, id: string}
type O = A | B | C  // 合併型

function f(i: O) {
    if(i.type === "first") {   // タグによる絞り込み
        i.name // TSがstringと絞り込む
        i.age // number
        // i.id　エラー
    }
}

let n = {type: "first", name: "bob", age: 21, id: 5} as const
f(n)

このようなコードを記述すると、if内で i.id を行うとエラーがスローされます。

ただ、実際には type: "first" メンバーをもち、id: 5 メンバももつオブジェクトは合併型が要求されているのでエラーは出ません。

ここで質問なのですが、このタグはどのような動きをしているのでしょうか

タグで指定すると、たとえ合併型には対応する型を引数で渡しても、そのif節の中では存在しないものとして扱われるのでしょうか

よろしくお願いいたします。

行動規範の内容に同意します

回答1件

ベストアンサー

関数fの引数の時点では type Oを受け取りますが、
if i.type "first" にした時点で ifのブロック内は型が type Aに限定されるため、
type Aに宣言されていない id は存在しないためエラーになります。

参考doc
demo

typescript
1// typeプロパティタグとする
2type A = {type: "first", name: string, age: number}
3type B = {type: "second", name: string, age: string, id: number}
4type C = {type: "third", name: number, age: number, id: string}
5type O = A | B | C  // 合併型
6
7function f(i: O) { // A | B | C の型を受け入れる
8  if (i.type === "first") { // 型が Aに限定される
9    console.log(i.name)
10    console.log(i.age)
11    console.log(i.id) // 参照エラー
12  } else { // B | C
13    console.log(i.name)
14    console.log(i.age)
15    console.log(i.id)
16  }
17}
18
19let n = {type: "first", name: "bob", age: 21, id: 5} as const
20f(n)
21