TypeScript是否默认禁止副作用？对象突变类型错误咨询

问题代码示例 #

type obj = {
    ok: "ok" | "error",
}

function main(a: obj){
    a.ok = "ok";
    reloadFromDatabase(a);
    if (a.ok == "error"){ // TS错误 
        console.log("Error");
    }
}

// 类似TypeORM的`a.reload()`，仅做对象突变无返回值
function reloadFromDatabase(a: obj){
    a.ok = "error";
}

错误提示 #

This comparison appears to be unintentional because the types '"ok"' and '"error"' have no overlap.(2367)

1. 这是否是TypeScript的可选设置？ #

是，这个错误由TypeScript的控制流分析逻辑触发，你可以通过配置调整，但不建议盲目关闭全局检查：

• 全局层面：可以将noUnusedCondition设为false关闭所有“无重叠类型比较”的错误提示，但会遗漏真正的无效条件逻辑。
• 精准处理：在需要的位置用类型断言或自定义类型守卫修正类型判断：

  // 类型断言方式
  if ((a.ok as "ok" | "error") === "error") {
      console.log("Error");
  }
  
  // 自定义类型守卫方式
  function isErrorStatus(obj: obj): obj is { ok: "error" } {
      return obj.ok === "error";
  }
  reloadFromDatabase(a);
  if (isErrorStatus(a)) {
      console.log("Error");
  }
  

2. 该错误是否合理？ #

合理，这是TypeScript控制流分析的设计权衡结果：

• 执行a.ok = "ok"后，TypeScript会将a.ok的类型窄化为"ok"；
• 默认情况下，TypeScript不会跟踪函数对传入对象的突变副作用——静态分析无法覆盖所有函数内部的修改逻辑（尤其是第三方库函数），强行跟踪会大幅增加编译成本，且难以保证精准度；
• 这种设计优先保证类型分析的效率和可靠性，默认假设函数不会修改已窄化的类型，除非函数有明确的类型标注（比如返回修改后的对象）。

3. 是否存在突变彻底破坏类型安全的场景？ #

当然存在，最典型的是共享可变对象场景：
当多个函数共享同一个对象引用，其中一个函数偷偷修改对象属性的类型，而TypeScript无法跟踪到该变化时，后续代码会基于错误的类型假设执行，引发运行时错误。

示例：

type User = {
    id: string | number;
    isGuest: boolean;
};

function markAsRegistered(user: User) {
    user.id = "user_123";
    user.isGuest = false;
}

function processGuest(user: User) {
    if (user.isGuest) {
        // TypeScript认为此处user.id是number，但实际已被修改为string
        const guestId = user.id as number;
        console.log(`Guest ID: ${guestId + 1}`); // 运行时错误：字符串与数字相加得到非预期结果
    }
}

const user: User = { id: 456, isGuest: true };
markAsRegistered(user);
processGuest(user);

这个例子中，对象突变绕过了TypeScript的类型检查，直接导致运行时错误，彻底破坏了类型安全。

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