问题
实现一个排除只读的高级类型 MutableKeys
type case1 = MutableKeys<{ a: number; readonly b: string }> // 'a'
type case2 = MutableKeys<{ a: undefined; readonly b: undefined }> // 'a'
type case3 = MutableKeys<{ a: undefined; readonly b?: undefined; c: string; d: null }> // 'a' | 'c' | 'd'
type case4 = MutableKeys<{}> // never
解答
type MutableKeys<T, K = keyof T> = K extends keyof T
? Equal<Pick<T, K>, Readonly<Pick<T, K>>> extends true
? never
: K
: never
拆分
- 从源对象根据键拿出值，形成一个新的对象1
- 新的对象2把所有的键包装成只读，和新的对象1比较
- 如果一样则需要排除