ts 类型推断疑惑？

Question

function setDictionary<T>(
  data: T,
  label: keyof T,
  dictionaryOptions: { [key in keyof T]: { [key: string | number]: any }[] }
) {
  const options = dictionaryOptions[label];
}

options 怎么会是这个类型？应当是{ [key: string | number]: any }[] 才对啊。
是哪里出了问题？如何解决呢？

"vue-tsc": "^1.8.27"

Answer 1

看了下如果这里是一个精确类型就能推导出来

type Data = { name: string, age: string }

function setDictionary(
    data: Data,
    label: keyof Data,
    dictionaryOptions: { [key in keyof Data]: { [key: string | number]: any }[] }
) {
    const options = dictionaryOptions[label];
}

但如果是泛型就不行，不知道是刻意没有处理这种情况还是 vscode 插件的问题

Answer 2

dictionaryOptions: { [key in keyof T]: Record<string | number, any>[] }

Answer 3

本质问题是

type a = { [key: string | number]: any } 

显示为

type c = {
    [key: string]: any;
    [key: number]: any;
}

因为 JS 中不存在数字类型的Key, 即使取值时数字也会被转为字符串， 所以不存在key的类型是 string | number

ts 会拆分成独立的索引类型，更能描述js 的行为