TypeScript Mutable工具异常：缺依赖可用，引入后失效求助

原因拆解 #

1. TS Playground缺失IsObject仍能运行：
   TypeScript遇到未定义的类型别名时，会默认将其视为any。此时你的Mutable递归逻辑中，IsObject<V> extends true会被简化为any extends true，结果为boolean，导致递归分支始终执行，意外覆盖了所有类型场景，包括原本需要排除的非对象类型，所以能“正常”处理。

2. 引入IsObject后bar属性的readonly无法移除：
   常见的IsObject实现（如type IsObject<T> = T extends object ? true : false）会把原始类型（包括字面量联合类型"yes"|"no"）判定为非对象。而Readonly<"yes"|"no">在TypeScript中会被自动简化为"yes"|"no"（readonly修饰原始类型无意义），你的Mutable逻辑会跳过对非对象类型的处理，导致你误以为Readonly修饰符未被移除——实际上是TS已经自动简化了类型，但你的测试用例可能错误地期望移除一个不存在的修饰符；或者你的Mutable实现没有处理属性类型本身被Readonly包裹的嵌套结构场景。

另外，若你的Mutable只处理了数组和顶层Readonly<T>，但未处理普通对象属性上的readonly修饰符，也会导致问题。

修正后的Mutable实现 #

以下是能正确处理readonly数组、Readonly对象，以及嵌套readonly结构的版本，无需依赖IsObject：

type Mutable<T> = 
  // 处理readonly数组
  T extends ReadonlyArray<infer U> 
    ? U[]
  // 处理readonly元组与顶层Readonly包裹类型
  : T extends Readonly<infer V>
    ? { -readonly [K in keyof V]: Mutable<V[K]> }
  // 处理普通对象的readonly属性
  : T extends object
    ? { -readonly [K in keyof T]: Mutable<T[K]> }
  // 原始类型直接返回
  : T;

测试验证 #

用以下测试用例验证：

// 测试readonly数组
type Test1 = Mutable<ReadonlyArray<number>>;
// 期望：number[] ✅

// 测试带readonly属性的对象，包括属性类型为Readonly<字面量>
type Test2 = Mutable<{ readonly foo: number; readonly bar: Readonly<"yes"|"no"> }>;
// 期望：{ foo: number; bar: "yes"|"no" } ✅

// 测试嵌套Readonly对象
type Test3 = Mutable<Readonly<{ readonly nested: Readonly<{ value: string }> }>>;
// 期望：{ nested: { value: string } } ✅

关键说明 #

• 移除了IsObject依赖，通过类型分支分层处理：先处理数组，再处理Readonly包裹的类型，最后处理普通对象的readonly属性，原始类型直接返回。
• { -readonly [K in keyof V]: Mutable<V[K]> }会移除对象所有属性的readonly修饰符，并递归处理属性类型，确保嵌套结构也被转为可变。
• TypeScript会自动忽略原始类型上的Readonly修饰，所以Readonly<"yes"|"no">会被简化为"yes"|"no"，无需额外处理。

内容的提问来源于stack exchange，提问作者ken