typescriptの型エラーについてです。

Question

Nuxt + TypeScriptのプロジェクトなのですが、以下のようなタイプがあったとします。

type Hoge = {
  userid: string
  username: string
}
type Huga = {
  a: number
  b: string
}

type Both = Partial<Hoge> & Partial<Huga>

そして上記タイプBothのオブジェクトHogeとHugaのkeyを要素に持つリストがあります。

const piyo:Both = {userid: "aaa"}

const index : string[] = ["userid"]

この上記piyoに対してindexを以下の様に指定して値を取得しようとしています。

piyo[index[0]]//←ここでwarning

すると上記に対して以下のVeturのwarningが出てしまいます。

Element implicitly has an 'any' type because expression of type 'string' can't be used to index type 'Both'.

No index signature with a parameter of type 'string' was found on type 'Both'.Vetur(7053)

これはstringでkeyを指定しているからBothのkeyにあたるuserid,username,a,b以外がindexの中身だった場合にanyになってしまうという事なのでしょうか？

以下でindexのtypeをstring[]ではなく

const index : ("userid" | "username" | "a" | "b")[] = ["userid"]

この様にしたらwarningは出ない様でした。しかしこのBothが取り得るkeyの数が実際にはたくさんあるのですが、これを全て型として保持しておくにはどうも面倒な気がするのですがこれはそうするしか他ないのでしょうか？
Playground

正しいアーキテクチャというか、この場合こうした方が良いというアイディアをお持ちの方はご教示頂けますと幸いです。

Answer 1

これを全て型として保持しておくにはどうも面倒な気がするのですが

keyof Hogeと書けばいいだけです。

Comments

[maisumakun]

なお、キーの配列を作りたい場合、優先度の関係上、(keyof Hoge)[]とカッコが必要です。

[Hayato1201]

ご回答ありがとうございます！