如何解决为什么允许在映射对象中使用无效键索引数组
在 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 举报,一经查实,本站将立刻删除。