### 如何利用TS实现去除索引签名？ ```typescript type Foo = { [key: string]: any foo(): void } type A = RemoveIndexSignature // expected { foo(): void } ``` 这里涉及到一个知识点是TS支持通过`as`实现键重映射具体官方链接 [TS的as重映射](https://www.typescriptlang.org/docs/handbook/2/mapped-types.html#key-remapping-via-as) 利用它可以实现以下功能 - 使用模板字面量类型等特性，从已有的键创建新的属性名，例如根据属性去创建对应的`getter`函数 ```typescript type Getters = { [Property in keyof Type as `get${Capitalize}`]: () => Type[Property] }; interface Person { name: string; age: number; location: string; } type LazyPerson = Getters; ``` - 通过条件类型生成never来过滤键或值，这也是比较常见的作法 ```typescript type RemoveKindField = { [Property in keyof Type as Exclude]: Type[Property] }; interface Circle { kind: "circle"; radius: number; } type KindlessCircle = RemoveKindField; ``` 以此引申的话可以对对象中的键做更多的操作那么回到这个问题，我们应该如何实现去除索引签名呢？索引签名有两种类型，一种是限定key类型的宽泛类型，一种是指定键的类型 ```typescript interface Example { [key: string]: any; // 字符串索引签名 [key: number]: any; // 数字索引签名 [key: symbol]: any; // 符号索引签名 name: string; // 具体属性 age: number; // 具体属性 } ``` `typescript`中专门有一个类型用来指代键名，就是`PropertyKey`, 它是一个联合类型，即`string | number | symbol`，那也就是我们需要将这些类型的键给筛除掉结合上面提到的键的`as`映射用法，很容易想到如下解法 ```typescript type RemoveIndexSignature = { [K in keyof T as string extends K ? never : number extends K ? never : symbol extends K ? never : K]: T[K]; }; ``` 这是比较容易理解的做法，如果想要代码更为简洁，就可以引入`PropertyKey` ```typescript type RemoveIndexSignature = { [K in keyof T as PropertyKey extends Exclude ? K : never]: T[K]; }; ``` 该如何理解呢？其实它是在对比子类型（判断`PropertyKey`是否能赋值给`Exclude`），对于`PropertyKey`来说，如果它`exclude`了一个具体的类型比如`name`或者`age`,依然还是属于`PropertyKey`,但是如果它是`string | number | symbol`中的一个，那就无法满足了 ```typescript type a = Exclude // string | number | symbol type b = Exclude // number | symbol type c = PropertyKey extends a ? true: false // true type d = PropertyKey extends b ? true: false // false ``` 结合`never`最终也起到了过滤的作用