TypeScript中如何从不可变对象类型提取可变对象并强制类型校验

你遇到的问题本质是TypeScript的结构类型系统导致的：Immutable<IObjType>和IObjType在结构上完全一致，所以TS无法自动区分两者，也就不会检查getMutable的返回值是否真的是可变对象。要解决这个问题，我们可以用**品牌化类型（Branded Types）**给可变/不可变对象添加唯一的类型标记，让TS能识别出两者的差异。

具体实现步骤 #

1. 定义品牌标记 #

首先创建一个独特的符号类型作为"品牌"，用来标记可变对象（或者不可变对象，选一种即可）：

// 用unique symbol确保这个标记是全局唯一的，不会和其他类型冲突
type MutableBrand = { readonly __isMutable: unique symbol };

2. 创建带品牌的可变类型 #

把原接口类型和品牌标记交叉，生成一个带标记的可变类型：

type Mutable<T> = T & MutableBrand;

// 原业务接口保持不变
interface IObjType { field: string; }

3. 扩展seamless-immutable的类型定义 #

为了让asMutable()方法返回我们的带品牌可变类型，需要扩展seamless-immutable的类型声明：

import * as Immutable from 'seamless-immutable';

declare module 'seamless-immutable' {
  interface Immutable<T> {
    // 让asMutable返回带品牌的Mutable<T>
    asMutable(): Mutable<T>;
  }
}

// 不可变类型依然使用库提供的Immutable<IObjType>
type TObjImmType = Immutable.Immutable<IObjType>;

4. 编写带类型检查的getMutable函数 #

现在getMutable的返回类型是Mutable<IObjType>，TS会强制检查返回值是否符合这个类型：

const getMutable = (immObj: TObjImmType): Mutable<IObjType> => immObj.asMutable();

// 测试示例
const obj: Mutable<IObjType> = { 
  field: 'val', 
  // 手动添加品牌标记（仅用于类型断言，运行时不会有实际影响）
  __isMutable: Symbol() as typeof MutableBrand['__isMutable'] 
};
const objImm: TObjImmType = Immutable(obj);

const result = getMutable(objImm); // 类型正确，TS不会报错

// 如果尝试直接返回不可变对象，TS会立刻抛出错误
// const badGetMutable = (immObj: TObjImmType): Mutable<IObjType> => immObj; 
// ❌ 类型错误：Type 'Immutable<IObjType>' is not assignable to type 'Mutable<IObjType>'

另一种思路：给不可变对象加品牌 #

你也可以反过来，给不可变对象添加品牌标记，让原接口类型代表可变对象：

type ImmutableBrand = { readonly __isImmutable: unique symbol };
type Immutable<T> = T & ImmutableBrand;

declare module 'seamless-immutable' {
  // 让immutable函数返回带品牌的不可变类型
  function immutable<T>(obj: T): Immutable<T>;
  interface Immutable<T> {
    asMutable(): T; // 返回原可变类型
  }
}

const getMutable = (immObj: Immutable<IObjType>): IObjType => immObj.asMutable();

// 此时返回不可变对象会直接报错
// const badGetMutable = (immObj: Immutable<IObjType>): IObjType => immObj;
// ❌ 类型错误：Type 'Immutable<IObjType>' is not assignable to type 'IObjType'

原理说明 #

品牌化类型利用了TypeScript结构类型系统的特性：只要两个类型的结构不完全一致，TS就会认为它们是不同的类型。通过添加一个全局唯一的unique symbol属性，我们给可变/不可变对象打上了唯一的"类型标签"，让编译器能够准确区分两者，从而实现强制的类型检查。

内容的提问来源于stack exchange，提问作者Michał Wojas