TypeScript satisfies 怎样校验对象又保留字面量类型

对象后面写 satisfies 目标类型，可以检查它是否满足约束，同时保留对象本身可推断出的成员信息。但“保留具体类型”不等于“所有字符串永远都是字面量类型”：要把固定配置中的 "/guide" 精确保留下来，通常需要再配合 as const。

官方地址：https://www.typescriptlang.org/

satisfies 从 TypeScript 4.9 开始提供。以下代码是原创静态讲解示例，未在本机编译或执行；注释里的错误与类型说明是根据语言规则推导，不是运行记录。

先确定配置是固定值还是可变容器

假设前端需要一份导航配置：docs 指向字符串路径，help 带有链接和是否外部跳转两个字段。读配置的人希望直接调用 docs 的字符串方法，而配置维护者又希望漏掉 help、拼错键名时得到提示。

这里有两个不同目标：类型注解适合把变量当成一个统一类型的容器；satisfies适合在声明处约束配置，又让后续读取方保留实际提供的成员形状。不要仅凭“更严格”决定选哪个。

比较类型注解与 satisfies 的对象信息

type Entry = string | { href: string; external: boolean };
type Nav = Record;

// 注解让读取方面对统一的 Entry，需要先缩窄再使用字符串方法。
const annotated: Nav = {
  docs: "/guide",
  help: { href: "/support", external: false },
};
const docsUpper = typeof annotated.docs === "string"
  ? annotated.docs.toUpperCase()
  : annotated.docs.href.toUpperCase();

// satisfies 检查配置是否匹配 Nav，但保留各成员的具体形状。
const checked = {
  docs: "/guide",
  help: { href: "/support", external: false },
} satisfies Nav;
const checkedUpper = checked.docs.toUpperCase();
const helpHref = checked.help.href;

在这组例子里，Entry 是字符串或链接对象的联合。annotated 的公开类型是 Nav，读取 docs 时不能直接假定它是字符串，因此示例先用 typeof 缩窄。checked 则仍知道 docs 是字符串、help 是带 href 的对象，读取方便一些。

核对重点不是两种写法生成了什么不同对象，而是读取方能获得哪些静态信息。satisfies 不会给原对象包一层代理，也不会转换字段。

需要精确字面量时组合 as const

// 目标仅是 string 时，普通可写属性不保证推断为精确的 "/guide"。
const plain = { path: "/guide" } satisfies { path: string };
plain.path = "/other"; // 可以换成另一个字符串。

// as const 保留字面量并使这里的属性成为只读；satisfies 负责兼容性检查。
const fixed = {
  docs: "/guide",
  help: { href: "/support", external: false },
} as const satisfies Nav;

const exactPath: "/guide" = fixed.docs;
// fixed.docs = "/other"; // 若取消注释，预期因只读属性而报错。

const 首先禁止重新绑定变量，不会自动把对象的所有属性变成常量。plain.path 是允许修改的字符串属性；satisfies 的目标若仅要求 string，不能据此承诺它就是固定的 "/guide"。

fixed 使用 as const 后，docs 保留为 "/guide"，当前字面量内的嵌套属性也呈现只读信息，然后再检查它是否满足 Nav。这适合导航表、固定配置等不打算原地修改的声明；如果后面需要把值更新成任意其他路径，注解或主动拓宽类型往往更合适。

也不要反过来说 satisfies 完全不影响推断：目标类型会参与上下文类型推断。例如布尔属性或受有限字面量联合约束的属性可能保留得更窄。面对需要修改的字段，应明确设计可写类型，而不是指望所有属性都自动拓宽。

编译期匹配不是运行时校验或精确对象过滤

// 新鲜对象字面量中的多余键会受到检查。
const typo = {
  docs: "/guide",
  help: "/support",
  // hepl: "/mistyped", // 若启用该行，预期出现多余属性错误。
} satisfies Nav;

// 经由变量进行结构兼容检查，不等于精确对象类型或删除额外字段。
const incoming = { docs: "/guide", help: "/support", debug: true };
const accepted = incoming satisfies Nav;
const debugEnabled = accepted.debug; // 字段仍在，值没有被清洗。

新鲜对象字面量配合有限键的 Record，能帮助发现多余键和缺失键；但 TypeScript 通常使用结构兼容规则。换成已有变量后，额外字段可能仍然被接受，accepted 仍保留 debug。目标若是 Record，本来就允许任意字符串键，更不能指望它检查键名拼写。

as const 也不是 Object.freeze：它不自动在运行时冻结对象，更不是对已经引用的外部对象执行递归冻结。来自接口、JSON、用户输入的内容，仍需要真正的运行时解析与校验。any 还可能让类型检查失去约束力，不要用断言或 any 掩盖数据问题。

按读取与修改需求选择写法

可以把类型注解全部换成 satisfies 吗？

不建议机械替换。如果变量需要容纳不同的合法成员，或者你要刻意限制调用方可见的接口，注解更直接。satisfies 的优点是保留信息，不是统一扩大可写范围。

satisfies 与 as 类型断言一样吗？

不一样。satisfies 要求表达式满足目标约束；as 是告诉编译器按断言处理，不应用来替代配置正确性检查。想保留固定值时，as const 是这里专门用于常量字面量推断的语法。

会增加浏览器端校验开销吗？

satisfies 是 TypeScript 类型语法，不会额外生成运行时校验逻辑。对象原有初始化表达式仍按正常 JavaScript 语义求值。

进一步阅读：https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-9.html；const 断言：https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-4.html。