TypeScript为何允许带额外属性的字面量赋值给{}类型变量

现象背后的设计逻辑 #

这一差异是TypeScript两个核心类型规则共同作用的结果：

• 结构化类型兼容规则：TypeScript采用鸭子类型的设计，只要值满足类型的最低约束就算兼容。{}类型的定义是「没有任何必需属性要求」，因此所有非null/undefined的值（包括数字、字符串、布尔值、任意结构的对象）都符合这个最低约束，甚至const x: {} = 123这种写法都是合法的。
• 多余属性检查是专门针对对象字面量直接赋值场景的专项校验，目的是避免开发者写错属性名。这个校验触发的前提是类型明确定义了「允许的已知属性列表」：
  当你定义type A = {a: number}时，类型明确列出了允许的属性a，所以额外出现的b属性会触发校验，抛出Object literal may only specify known properties的错误；
  当你定义type A = {}时，类型没有列出任何已知允许的属性，多余属性检查没有可比对的允许列表，自然不会触发，因此任意结构的对象字面量都可以赋值给{}类型。

仅允许空对象的类型定义 #

要实现「仅能赋值空对象{}」的约束，需要给类型加上「禁止所有额外属性」的限制，推荐写法如下：

type EmptyObject = Record<string | number | symbol, never>

这个定义的逻辑是：要求对象的所有属性（覆盖字符串、数字、Symbol三类键）的类型必须为never，而never是不存在任何有效值的底层类型，因此只有没有任何属性的空对象能满足这个约束。
实际验证效果：

// 编译正常
const empty: EmptyObject = {}

// 编译报错：类型不兼容
const hasProp: EmptyObject = { a: 42 }
const num: EmptyObject = 123
const str: EmptyObject = 'test'

如果需要兼容旧版本TypeScript，也可以用等价的索引签名写法：

type EmptyObject = {
  [key: string | number | symbol]: never
}

内容的提问来源于stack exchange，提问作者Marcus Junius Brutus