泛型与条件类型下TypeScript类型守卫失效及Frozen类型报错

核心问题分析 #

你遇到的Readonly<T>可赋值给T的情况，是TypeScript的设计特性：Readonly<T>与T属于协变关系，只读对象被视为可变对象的子类型，因此允许放宽约束的赋值。而你需要的Frozen<T>要实现一级只读+与原类型不兼容，就得打破这种协变。

解决方案：自定义Frozen类型与freeze函数 #

首先定义区分对象/非对象类型的Frozen<T>，给对象类型附加唯一符号属性来隔离原类型：

// 定义唯一符号，确保Frozen对象与原类型不可兼容
const FrozenSymbol = Symbol('frozen');
type Frozen<T> = 
  // null/undefined直接返回原类型
  T extends null | undefined ? T :
  // 对象类型：一级只读 + 附加唯一符号属性
  T extends object ? Readonly<T> & { readonly [FrozenSymbol]: true } :
  // 基础类型直接返回原类型（本身不可变）
  T;

然后编写freeze函数，处理不同类型的返回值：

function freeze<T>(value: T): Frozen<T> {
  if (value == null) {
    // null/undefined直接返回，用类型断言告诉编译器匹配Frozen<T>
    return value as Frozen<T>;
  }
  if (typeof value === 'object') {
    // 对对象执行Object.freeze，返回一级只读对象
    return Object.freeze(value) as Frozen<T>;
  }
  // 基础类型直接返回，类型断言匹配Frozen<T>
  return value as Frozen<T>;
}

报错原因解释 #

你之前的函数报错，是因为当T为null/undefined或基础类型时，若Frozen<T>统一给所有类型附加额外属性，会导致这些值无法匹配Frozen<T>类型（比如null不可能有额外属性）。上面的方案通过条件类型区分了不同情况，让非对象类型直接返回原类型，同时用类型断言解决编译器的推导限制。

效果验证 #

// 对象类型测试：无法将Frozen对象赋值给原类型
const mutableObj = { name: 'test' };
const frozenObj = freeze(mutableObj);
mutableObj = frozenObj; // ❌ 报错：类型不兼容
frozenObj.name = 'new'; // ❌ 报错：只读属性无法修改

// 基础类型测试：本身不可变，赋值无副作用
const mutableNum = 100;
const frozenNum = freeze(mutableNum);
// mutableNum = frozenNum; // 这里不会报错，因为基础类型是值类型，赋值为复制操作

可选扩展：强制基础类型也不可赋值 #

如果连基础类型都要禁止赋值给原类型，可以修改Frozen<T>定义，给所有类型附加可选的唯一符号属性：

type Frozen<T> = T & { readonly [FrozenSymbol]?: true };

不过这种场景实际意义不大，因为基础类型的赋值是独立复制，修改不会影响原变量。

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