Remove Index Signature
约 613 字大约 2 分钟
2022-12-01
题目
Github: RemoveIndexSignature
实现 RemoveIndexSignature<T>，从对象类型中排除索引签名。
interface Foo {
[key: string]: any
foo: () => void
}
type A = RemoveIndexSignature<Foo> // expected { foo(): void }解题思路
这个挑战需要我们从 对象类型 中排除以 { [key: string]: any } 形式声明的签名，同时需要保留如 { name: any } 形式声明的签名。
这很明显需要使用 映射类型 和 条件类型 来解决。
首先我们知道， 'name' extends string 的结果为 真，但是反过来，string extends 'name' 结果为 假 。 因为 'name' 本身就是 string，但 string 不止 'name' 。 我们可以利用这一特性，完成这个挑战。
我们可以使用 Typescript 的内置类型 PropertyKey ，它表示 string | number | symbol ，即 键类型， 先完成最基础的类型声明：
type RemoveIndexSignature<T, K extends PropertyKey = PropertyKey> = {
[P in keyof T]: T[P]
}接下来，我们对 P 进行约束，当 K extends P 为真时，这表示 P 可能是 string 、number 或 symbol。 我们需要排除这些情况：
type RemoveIndexSignature<T, K extends PropertyKey = PropertyKey> = {
[P in keyof T as K extends P ? never : P]: T[P]
}这发生了什么？K 表示的是 string | number | symbol，K extends P 相当于：
type a = string extends P ? never : P
type b = number extends P ? never : P
type c = symbol extends P ? never : P这直接从 键类型中过滤了 string, number, symbol 的 索引签名。
当然这还不够，还需要限制 P 应该是一个合法的 键，因此我们还需要使用 P extends K 约束 键类型：
type RemoveIndexSignature<T, K extends PropertyKey = PropertyKey> = {
[P in keyof T as K extends P ? never : P extends K ? P : never]: T[P]
}这相当于，如果 P 为对象中的 name 属性，则发生了以下检查：
type P = 'name' extends string | number | symbol ? 'name' : never此时 name 满足 K 的约束。
答案
type RemoveIndexSignature<T, K extends PropertyKey = PropertyKey> = {
[P in keyof T as K extends P
? never
: P extends K
? P
: never
]: T[P]
}验证
interface Foo {
[key: string]: any
foo: () => void
}
interface Bar {
[key: number]: any
bar: () => void
0: string
}
const foobar = Symbol('foobar')
interface FooBar {
[key: symbol]: any
[foobar]: () => void
}
interface Baz {
bar: () => void
baz: string
}
type cases = [
Expect<Equal<RemoveIndexSignature<Foo>, { foo: () => void }>>,
Expect<Equal<RemoveIndexSignature<Bar>, { bar: () => void, 0: string }>>,
Expect<Equal<RemoveIndexSignature<FooBar>, { [foobar]: () => void }>>,
Expect<Equal<RemoveIndexSignature<Baz>, { bar: () => void, baz: string }>>,
]