TypeScriptの共用体で質問があります

Question

前提・実現したいこと

TypeScriptの共用体で質問があります

これはわかる

type A = { id: number, name: string }
type B = { id: number }
type AandB = A[] | B[]

const func = (props: AandB) =>  {
    props.map(item => item);  //型エラーが発生する
}

• 上記のように、配列と配列の共用体に対してmapを使うとするとエラーになるのはわかります。
• あくまで共用体の型に対してmapをしようとしているので (A | B)[] にすれば型エラーは消えます。

type A = { id: number, name: string }
type B = { id: number }
type AandB = (A| B)[]

const func = (props: AandB) =>  {
    props.map(item => item);  // OK 
}

これがわからない

type A = { id: number }
type B = { id: number }
type AandB = A[] | B[]

const func = (props: AandB) =>  {
    props.map(item => item);  // 型エラーがおきない！？！？
}

• 共用体に対してmapしているのに、型エラーがおきません。
• 共用体元の構造体が同じだと型エラーにならないんですかね。。？
• 上の例と違って型エラーが起きない原因が知りたいです。

Comments

[miyabi_pudding]

具体的なエラー文を記載いただけませんか？
そこに答えが出ていると思います。

[TuTettuuu]

共用体に対してmapしているのにエラーが起きなくて、
エラー文が出てこず困っています。。

[miyabi_pudding]

いえ、エラーが出ている方のエラー文です。
そのエラー内容を見ればその答えが出るような気がします。
（エラーが出ない理由も、エラーが出ている方から読み取れる可能性があります）

Answer 1

TypeScriptは、オブジェクトリテラルによる型については、同じ構造なら同じ型とみなされます。

つまり、後の例では、AとBは「同じ型についた別名」という扱いになります。

Comments

[maisumakun]

その結果、A[]とB[]も同じ型なので、A[] | B[]と書いても、単体でA[]あるいはB[]とだけ書いたのと同じ意味になります。

[TuTettuuu]

なるほど、理解しました！