TypeScript中如何强制开发者使用Readonly<T>？

咱先唠明白这个问题的本质哈：TypeScript默认是结构类型系统，Readonly<Params>和普通的Params结构完全一致，所以TS就会觉得“反正只读类型的属性可变类型也有，传进去没问题”，这就导致你明明顶层函数用了Readonly<Params>约束参数，结果嵌套函数用普通Params类型TS也不报错，完全起不到强制只读的作用。

那怎么解决这个问题？给你两个实用的方案：

方案一：用「品牌类型」彻底区分只读和可变类型 #

这是最彻底的类型层面解决方案——给Readonly<T>加一个唯一的「品牌标记」，让TypeScript把它和普通可变类型彻底划清界限，再也不把它们视为兼容的。

代码示例如下：

// 给只读类型加一个独一无二的品牌标记，用unique symbol确保不会和其他类型冲突
type ReadonlyBranded<T> = Readonly<T> & { __readonlyBrand: unique symbol };

type F<T> = (t: ReadonlyBranded<T>) => void;
type Params = { a: number };

// 顶层函数用带品牌的只读类型
function topLevelFunc(p: ReadonlyBranded<Params>): void {
  // 这里如果调用用普通Params的嵌套函数，直接报错！
  nestedFunc(p); // ❌ 类型“ReadonlyBranded<Params>”的参数不能赋给类型“Params”的参数
}

// 普通的嵌套函数，用了可变Params类型
function nestedFunc(p: Params): void {
  p.a = 123; // 这里本来能修改，但顶层传参就会报错，逼你改类型
}

// 必须把嵌套函数改成带品牌的只读类型才能正常调用
function nestedFuncFixed(p: ReadonlyBranded<Params>): void {
  // 这里连修改属性都会报错，完美实现只读约束
  // p.a = 123; // ❌ 无法为“a”赋值，因为它是只读属性。
}

// 写个工具函数快速创建带品牌的只读实例
function makeReadonly<T>(obj: T): ReadonlyBranded<T> {
  return Object.freeze({ ...obj }) as ReadonlyBranded<T>;
}

// 使用示例
const myParams = makeReadonly({ a: 1 });
topLevelFunc(myParams); // ✅ 正常运行
nestedFuncFixed(myParams); // ✅ 正常运行

这个方法的核心就是用unique symbol给只读类型打个专属标记，让TS再也不会把它和普通可变类型混为一谈，从根源上强制所有相关函数都必须用只读类型。

方案二：用ESLint规则做静态检查 #

如果觉得品牌类型有点麻烦，也可以配合ESLint来做代码层面的强制检查。你可以自定义ESLint规则（或者基于现有规则改造），检查：

• 当顶层函数的参数是Readonly<T>类型时
• 它内部调用的所有嵌套函数，对应位置的参数也必须是Readonly<T>类型

这种方法是在代码提交或开发阶段就给出提示，和类型层面的约束配合使用，双管齐下。

再说说你遇到的原问题场景 #

你之前的代码（补全后大概是这样）：

type F<T> = (t: Readonly<T>) => void;
type Params = { a: number };

function mutate(p: Params) {
  p.a = 5;
}

const f: F<Params> = mutate; // TS默认不报错，因为结构兼容

TS默认不报错就是因为结构类型的特性，而用品牌类型就能让这里直接报错，逼你把mutate的参数改成Readonly<Params>（带品牌的版本）。

总结一下，最靠谱的还是品牌类型方案，从类型层面彻底解决兼容问题，ESLint可以作为补充手段，确保团队成员都遵守只读约束。

内容来源于stack exchange