TypeScriptのジェネリックについて

Question

type Obj<T> = { [key: string]: T };

function hoge<T>(obj: Obj<T>): Obj<T> {
  return obj
}

hoge({ A: { id: { S: '1' } }, B: { id: { S: '2' } }, C: { 1: 1 }})

上記のような記述でなぜ型エラーが起きないのでしょうか？
hoge関数を実行した際にkeyがAとBは同じような形なのですが、keyがCのものはオブジェクトの形が異なっています。

Tがその時々に値をバインドしているからでしょうか？

Answer 1

Tがその時々に値をバインドしているからでしょうか？

いえ、Tは各値のUnion型になっています（Playground）。

Comments

[ueda_kesuke]

うおおお！なるほど！ありがとうございました！スッキリしました

[ueda_kesuke]

ちなみになぜundefinedになる部分があるのでしょう、、、！

[maisumakun]

?: undefinedで「キーがない」ことを表現しています。

[ueda_kesuke]

理解力不足で「キーがないことを表現している」という意味がわかっていません。。
```
hoge({ C: { 1: 1 }, A: { id: { S: '1' } }})
```
このような形でも一つのunionに対して二つ目の引数の型に?: undefinedが割り当てられるのですが、「キーがない」についてご教授いただきたいです????

[maisumakun]

idがある方には1がないですし、1がある方にはidがないです。

[ueda_kesuke]

理解しました、、、、！何度もありがとうございます！