TypeScriptのArray[]と[,...[]]の型比較について

Question

https://www.typescriptlang.org/v2/play?#code/JYOwLgpgTgZghgYwgAgBIHsDmKDeAoZQ5YAEwC5kQBXAWwCNo8BfPPUSWRFADQ22QgAPSCBIBnNFlwEiNOMAA2AfgpiwUUJmasSEBArhQUCiGEIALKRT4QA3Hl37Dx08kGXsFXlPt53U5ABeZA87ZAB6cOQAeQBpHT0DI2QTM1CxaykAbQBde0cklzNBGwzkLO9sABpkADp6m1y81ki3UqCLKTFbCPD0dAAHCWgodCgQuAGBiBAxVjxWkq6OrIWoomR8Vo2N0mQKAEY1naYa442t9Z3CUgoAJnOiFlacmNigA

playgroundは上に貼っています

ざっくり言いますと

interface Hoge {
    id: number
}

interface XHoge extends Hoge {
    mail?: string
}

declare let  hoge: Hoge;
declare let xhoge: XHoge;

xhoge = hoge; // OK

declare let hoges: Hoge[];
declare let xHoges: [XHoge, ...Hoge[]];

// xHoges =  hoges; //oops error happens


// xHoges = [
//     {
//         id : 1
//     }, 
//     {
//         id: 2
//     }
// ] OK

これで

xHoges = hoges;

でコンパイルエラーが生じます、ｔｓは構造的部分型システムに乗っかっていると理解しているので、上記のコンパイルエラーが生じる理由がわかっていません(シンプルにバグかも？)

こういうことについて, これは結構ぶち当たるデベロッパー多そうで誰かがissue出してワークアラウンドとなんでこうなっているか紹介されてるでしょと思っていましたが,見当たらなくて困っています

誰か該当issueをご存知の方は教えていただきたいです
(またtscにdeep diveしたよという方がいらっしゃればどこでどういう実装をどういう思想のもと行ってこうなっているかも追記していただけると助かります)

Answer 1

hoges の型は 0 個以上の Hoge インスタンスを含む配列ですが、
xhoges の方は、第一要素が XHoge, 以降任意の数の Hoge が連続するタプルで、第一要素は必須です。

例えば、空の配列は hoges には代入可能ですが、 xHoges には代入できません（第一要素の XHoge 型インスタンスが無いため）。

したがって型の互換性がないので、 xHoges = hoges; がエラーとなるのは妥当だと思います。

Comments

[shinyaigeek]

あーーなるほど、言われてみればそれはそうでしたね！
理解できました、ありがとうございます????‍♂️