题：

题解：

这个题解可以分成两部分看，第一部分是对指定的类型增加 readonly 修饰符，第二部分是从 T 的属性中排除存在于 K 中的属性后组成的类型，两者交叉，就是本题的结果。

相信大家也看出来了，后者其实就是上一题实现的 Omit，直接换成 Omit<T, K> 也是成立的。

这里还有一点要提的就是，题目中在 K 不存在的时候需要将所有的属性都增加 readonly 修饰符，所以题解中写了 K extends keyof T = keyof T，功能就是缺省值，当 K 不存在时，就是 keyof T

type MyReadonly2<T, K extends keyof T = keyof T> = {
  readonly [P in K]: T[P];
} & {
  [P in keyof T as P extends K ? never : P]: T[P];
};