TypeScript 结构化类型是什么？为什么对象多一个字段，有时能赋值、有时却报错？

知识点详解：展示函数只需要 name，为什么用户对象可以传进去？

类型描述需要的能力，不必描述对象的全部

假设咱们有一个展示姓名的函数，只读取 name。用户对象还有 age、avatar 等字段，但这不妨碍函数读取姓名。

结构化类型就在检查这件事：目标要求 name 是字符串，来源有没有一个满足要求的 name？有，就满足这一部分契约。来源叫什么类型，不是主要判断依据。兼容性文档说明了这种基于成员的比较。

因此，两个分别声明的类型，只要相关结构相容，也可能互相赋值。反过来，类型名字很像，也不代表成员类型一定相容。类的 private/protected 等成员还会增加限制，不能说所有类型都只比较公开字段数量。

新写一个对象时，编译器还会多检查一步

图：相同字段，检查入口不同。

TypeScript

type Named = { name: string };
const user = { name: '小周', age: 22 };
const first: Named = user; // 目标结构满足
// @ts-expect-error 新鲜字面量的额外属性检查
const second: Named = { name: '小周', age: 22 };
console.log(first.name);

同学看到这里，容易把结论记成「赋给变量就能绕过所有检查」。不是。把 name 改成数字，或者干脆漏掉 name，再赋值仍然会失败。

额外属性检查更像是针对刚写出来的对象做一次拼写和意图检查。来源已经是一个变量时，允许它还有其他职责。对象类型文档解释了这一规则。

这是 TypeScript 的静态规则。Python 的 Protocol、TypedDict 和不同检查器有各自行为，不能拿一段 Python 字典赋值冒充相同的编译器实验。

通过检查后，多出来的 age 去哪里了？

还在原对象上。first 的静态类型让当前代码只能按 Named 的接口使用它，没有运行时复制，也没有删字段。

所以，如果把这个对象直接序列化发送出去，age 仍可能被发出去。需要脱敏或只输出 name，就要明确创建输出对象，而不是只给变量补一个类型注解。

想限制配置字段，应该怎么写？

固定配置可以在创建处使用明确类型，或使用 satisfies 做约束检查，让拼错字段尽早被发现。允许扩展字段的结构，则应明确它们的类型，不要为了消除报错随手加入 any 索引签名。

来自网络的数据要另外检查字段、类型与业务条件。类型声明只能检查编译器看得见的代码，不能预知服务器这次返回了什么。

验证时，分别编译字面量、已有变量、缺少字段和错误成员类型，再查看生成的 JavaScript。这样能同时弄清「为什么报错」和「通过以后发生了什么」。

面试官继续追问

有额外属性检查，是不是精确类型？

不是。它是特定场景里的检查，不保证对象只能包含这些字段，也不会清理输入。

as 能把缺少的字段补出来吗？

不能，断言没有创建字段的能力。它只是改变编译器如何看待表达式。

两个空接口可以互相赋值吗？

通常可以，因为没有需要区分的成员。确实需要区分业务身份时，要使用带实际约束的品牌类型等方案，并理解其静态边界。

面试速记卡

• 结构化类型：检查目标所需要的成员。
• 新鲜字面量：额外属性检查帮助发现可疑字段。
• 已有变量：多成员可能兼容，缺成员或类型错误仍会失败。
• 运行时：类型注解不会删除属性或验证网络响应。
• 安全输出：明确构造需要发送的字段。