为什么允许在映射对象中使用无效键索引数组

编程问答 2022-05-30

问题描述

在 following code 打字稿编译器允许我们使用无效键索引元组，推断 unkNown 为无效字符串键，undefined 为无效数字键。使用 Promise<number> 之类的对象进行索引时，tsc 推断空对象。

type Foo<T extends any[]> = {
  [K in T[number]] : T[K]
}

/*
  type x = {
      4: undefined;
      toString: () => string;
      abcd: unkNown;
      1: "abcd";
  }
*/
type x = Foo<['toString','abcd',1,4]>
/*
  type y = {
    [x: string]: unkNown;
  }
*/
type y = Foo<[string]>
/*
  type z = {
    [x: number]: number;
  }
*/
type z = Foo<[number]>
/*
  type l = {}
*/
type l = Foo<[symbol]>
/*
  type f = {}
*/
type f = Foo<[Promise<number>]>

为什么允许这样做？为什么删除 extends any[] 绑定会产生编译错误，我希望在不删除它的情况下看到。

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）

arraysarraysarraysgenericsgenericsmapped-typestuplestuplestypescripttypescripttypescript