typescript 类型体操 Remove Index Signature

Question

type Foo = {
  [key: string]: any
  foo(): void
}

type A = RemoveIndexSignature<Foo> // expected { foo(): void }


type RemoveIndexSignature<T> = {
  [K in keyof T as string extends K ? never : K]: T[K]
}

这里面的 K in keyof T as string extends K 是怎么执行的呢, 是把每一个键都变成字符串然后 extends K 吗? foo() as string 为什么不相等呢

Answer 1

[K in keyof T as (string extends K ? never : K)]: T[K]

Answer 2

是的，因为string extends 'foo'结果为false，所以取下了'foo':()=>void这一类型。

Answer 3

感觉你是不知道as的用法，这个叫key remapping, 接口属性重映射，可以看看这个：https://www.typescriptlang.or...