TypeScript で T 型と {...} の併用で型チェックが機能しなくなる罠

## はじめに

Dwango でニコニコ生放送のフロント開発を担当している @misuken です。

今回は TypeScript で `T` 型、つまり Generics(総称型)のオブジェクト(`props` 等)を  spread operator で `{...props}` した際、事実上型チェックが機能しなくなる罠の話をしたいと思います。

Generics(総称型)のオブジェクトが対象なので `T` 以外の `U` などでも条件さえ整えば発生します。
React のコードを例に挙げますが、React だけで発生する問題ではないのでご注意ください。

## Generics を使わない推論の例

まずは Generics を使わないパターンで期待通りに動作する例を見ていきます。

```tsx
export const Component1: VFC<{ id?: string }> = (props) => {
  return (
    <>
      1. <div {...props} />      　✅ No Error
      2. <div id={1} />            ✅ Error
      3. <div {...props} id={1} /> ✅ Error
    </>
  );
}
```

この場合 `props` の型は `{ id?: string | undefined }` になります。
`<div>` の `id` は `string | undefined` なので、 `number` にあたる `1` を渡すことになる 2 と 3 はエラーになります。

これは期待する動作です。

## Generics を使う推論の例

次は Generics を使うパターンの動作を見ていきます。

```tsx
// Generics を使う推論だと spread operator 部分でエラーを期待する部分がエラーにならない
// props の型は `T extends { id?: string | undefined; }`
export const Component2 = <T extends { id?: string }>(props: T) => {
  return (
    <>
      1. <div {...props} />      　✅ No Error
      2. <div id={1} />            ✅ Error
      3. <div {...props} id={1} /> 🤔 No Error
    </>
  );
}
```

`props` の型は `T extends { id?: string | undefined; }` になります。
`T` は `{ id?: string | undefined; }` に対して代入可能な型であることが保証されています。

しかし、今回は 3 のところで `<div>` に `1` を渡せてしまっています🤔

[playground で確認する](https://www.typescriptlang.org/play?#code/JYWwDg9gTgLgBAJQKYEMDGMA0cDecBqAYgMJwC+cAZlBCHAERSob0DcAsAFBcD0PcAcSQA7JFGBoAznEBJDIH95QPEMgKwZAIgyAK40BrUYHsGQPCGgZ7VAWAmAohl78wNMNMB2DIGj1LXAAGeYABMA-AC44kmOOEBzOAAfOABXYRckSmBRF3IHLiQAD0hYODQIYR84YlpIUWEYAEYvImIAHmd3Lx8-QLIAPjgAXjgACnMISwBKFqacLjg4JhhQqGF2waG4coap6bgigDoZl2AAN1wl7c7LCh4mhbhAAAZAUHI4ADkIOABRKBooeemAJhXytc3XZpwi-cOjo7nO4PJ5DADMbw+Wx2FkkFC+Pz+cCB92gT3KBym3Q4nDIXFMghEYgk0nkgDEGTSAAwZABYM3nMqDiXTEKBg0DggAuEwBgSoBzBkAFQyAS4ZAD8MMkA+OaAUP1AJoMgGiGLmAGQYBYLANYMSkAkQyqAm7ax2RwAFTgyRgIhc0iqnm8vhigRC4Ui0VirHiiRS0HgGSy8Fy4EyIhgzxaMz1BqNJrgrjNtUt5AaHVhXh1vWa-SmIzGEza6LmnABy1WG2hS01SKOZ0u12BaKzR1euc+Lm+vzgBwBAJRIMrCwhNfzhdDdcRjaagD4NwAou6XbqjHu2ZpjK9iuHjOEA)

## 原因を突き止める

この現象の原因を突き止めるために、より正確に型がどのような変化を辿っていくのかを見られるコードを用意して調べます。

## Generics を使わないパターンを分析

引数を spread operator で合成し、結果をそのまま返す関数を用意し、戻り値の型を分析してみます。

```tsx
// 引数を spread operator で合成し、結果をそのまま返す関数
function F1(props: { id: string }) {
    return { ...props, id: 1 };
}
```

関数に通した結果をタグに渡してみると。

```tsx
// `R11` の型は `{ id: number; }` になっている(`id` が上書きされているから)
// `R11` の値は `{ id: 1 }` です
const R11 = F1({ id: "" });
// この場合は正しくエラーが出る
// Type '{ id: number; }' is not assignable to type 'DetailedHTMLProps<HTMLAttributes<HTMLDivElement>, HTMLDivElement>'.
//   Type '{ id: number; }' is not assignable to type 'HTMLAttributes<HTMLDivElement>'.
//     Types of property 'id' are incompatible.
//       Type 'number' is not assignable to type 'string | undefined'.(2322)
const R12 = <div {...R11} />;
```

こちらは期待通り、エラーコード `2322` の `Type 'number' is not assignable to type 'string | undefined'` ( `number` 型は `string | undefined` に割り当てられません )が出ています。

## Generics を使うパターンを分析

こちらも同じく、引数を spread operator で合成し、結果をそのまま返す関数を用意し、戻り値の型を分析してみます。

```tsx
// Generics で推論した引数を spread operator で合成し、そのまま返す関数
function F2<T extends { id: string }>(props: T) {
    return { ...props, id: 1 };
}
```

関数に通した結果をタグに渡してみると。

```tsx
// R21 の型は `{ id: string; } & { id: number; }` になっている(上書きされずに評価前のまま)
// R21 の値は `{ id: 1 }` です
const R21 = F2({ id: "" });
// これを spread operator でタグに渡すとエラーが出ず、 id に 1 が渡ってしまう 🤔
const R22 = <div {...R21} />;
```

やっぱり期待するエラーが出ていません。

さらに分析を進めるために、タグに渡さず spread operator でオブジェクトを作るだけにします。

```tsx
// spread operator を使ったあとの R23 の型を見てみると... `{ id: never }`
const R23 = {...R21};
// エラーが起きない 🤔
const R24: { id: string } = R23;
```

[playground で確認する](https://www.typescriptlang.org/play?#code/JYWwDg9gTgLgBAJQKYEMDG8BmUIjgIilQ3wG4BYAKCoHoa4BxJAOySmDQGc5AkhkH95QPEMgLQZAgAyBUfUAOpjzicwRFABM4EMGxQxocQOYMgCBVACEaB1BhGBdBkB2DID8Gc4BX4wJoMgItSJVTAFdmGYBGZwAYgEYAFHIqnABccADecMAKYZww7MwA5nAAvgCUEVRw2XBEMM5QXpEAdKVBYJwANFExcL6pFJQpVLT0CL71poDR6oD2DHAABpHRYczOIABGbKSp-XCA1gyAVgyAxgyAZgyAIgyA0Qz+-dGzgDIMgFBygB9mgLIMgKoMgDEM6xuA0gyAkQxprYgdcKaAJAp9gzVh9SmzWjYqGhPHFnvUALw+AJDWr4fCpNKNOhwQDKDKZACwaOh6gGNrAyAeQZABUMgEuGQA-DHtAF+KGyeABUAJ6qOAAchhIzGkyg0xSjKi3GYEHgKE4nGAiWYKHGABskHANDL6dLGQARJAwFDAKUKAAS1IAsgAZAAKOAqAB5tfqAIIweLAcbOGBIThm3V6xXAABuAFEpSAWDAAHzVc2uj3epC+5gBxnFJ7ZOkM5nfOCjCZTVLc4C8-lwQXC0XiqUyiByhPBq02u0Op3Bt1en1+-3R2M5eOO5SYODlNgwWlM6LclBEKJuXBgdS2qUxyjInIt+VMlPsjNZgVCkViyXS2U9hNxBLJAA+cFcCiQmGArAU0f8ACYAMw3m+PSjA5ig9o3uCQk0KD0RUrFO0vgpHAND+o0LTUNO9BMKw7BcNogAVxoAa1EGIA+gySNIsjyEoKhqBoUDaPoRhmJYtgOE4rjuJ4Pg3ia1JwEgAAeDrMAo3AsjINpJKk-qBMaoRwNSGThFkOR5AURRwAB5RVEmvyNM0UHIggN6dL0AycXuF6JJycAAGQREmi5pn88zLNc-jHOcFxCHMgCqUYAhfKALJKFjmM+Klqa8HyafJMzaICL4gvAqkQrR-icXCCJIvQKIXFhcioLhqhQOomhaIA-QyAA0McyAIR2NiABYMxJkuSog1PMdRwHsuWrAY5iAGIMcCAHwbgAou0CwWII+X5wD+f7hABoUgWBMUyIlijKClaWEfwSxoYAQgwFaYnV3q8XQ8IA0ZErIA-gwbAVAG+cMyZIO6bAzO1b4hfe3X9aUg0jcVeyAO6xJwLGszVtUFF2dQALGEWncckIGQqpd6NEAA)

## この現象の解説

Generics を使った型の場合、関数内では完全に評価されず `{ id: string; } & { id: number; }` の状態で型が返ってくるようです。

これを評価すると `id` の値の型の部分は `string & number` となり、評価後の型は `{ id: never }` になります。

`never` 型は `any` と同じく何にでも代入可能な性質を持ちます。(実際には `never` は永遠に存在しないので代入できないという意味であるが)

そのため、 `...props` をした際に `{ id: string; } & { id: number; }` が評価され `{ id: never }` へ変化します。

そのオブジェクトは `<div>` の `id` に対して `never` 型を代入するため、 `string` へ `never` を代入することになり、型エラーが出ないという流れです。

これは、タグに対する spread operator ではなくても発生するので、 JSX や React を使っていなければ大丈夫というわけでもありません。

## これはバグなのか？

この挙動に対しては TypeScript の issue にいくつも報告され、 bug のラベルが付いているものもあるので、いつか解消されるかもしれません。

https://github.com/microsoft/TypeScript/issues/38469
https://github.com/microsoft/TypeScript/issues/30129
https://github.com/microsoft/TypeScript/issues/42690

ただ、この問題が解消された場合、現時点で型がガバガバになっているのに気付かず通っているところがあると、大量にエラーが発生する可能性もあるので、似たような実装に見覚えがある場合は注意が必要かもしれません。

型が通っているのに警告や実行時エラーが発生している場合はこれが原因ということもあるかもしれませんね。

## まとめ

Generics の型と spread operator を併用する場合、何でも型が通る状態になっているかもしれない点に注意しましょう。