为何TypeScript中{}类型（非空值）可赋值给{[key:string]:string}子类型？

这不是TypeScript的bug，而是它的结构类型系统和类型兼容性规则导致的既定行为，具体拆解如下：

• {}类型的定义：{}确实代表「非null/undefined的任意值」，所以const x: {} = 0合法——0属于非空值范畴，符合{}的约束。

• 直接赋值原始值给索引类型的检查逻辑：当你写const y: { [key: string]: string } = 0时，TypeScript会直接校验原始值0的结构：number类型没有任何字符串索引属性，完全不满足索引类型的要求，因此直接抛出错误，这是精准的静态类型直接校验。

• 通过{}变量间接赋值的兼容性逻辑：而const z: { [key: string]: string } = x能通过检查，是因为TypeScript对宽泛类型的兼容规则：
  {}类型没有明确限制值的具体结构，仅要求非空。在类型兼容性判断中，TypeScript认为「非空值有可能符合目标索引类型的结构」（比如x如果是一个符合{ [key: string]: string }的对象，那完全合法）。由于静态类型系统无法预知x的实际值，只能基于类型约束做兼容判断，而{}和索引类型之间没有冲突的约束，因此允许赋值。

如果想避免这种潜在的运行时不匹配问题，建议使用更精准的类型替代{}：

• 若要表示“非原始类型的对象”，用object类型：

  const x: object = 0; // 这里直接报错，0是原始类型，不符合object的定义
  

• 若要表示“无属性的空对象”，用Record<string, never>：

  const x: Record<string, never> = {}; // 仅能赋值空对象
  const z: { [key: string]: string } = x; // 这里会报错，符合预期
  

内容的提问来源于stack exchange，提问作者Géry Ogam