TypeScript：satisfies运算符与可选属性的异常行为问题

核心原因 #

TypeScript对可选属性和必选的可空属性的类型检查逻辑存在本质差异：

• 对于{ inner?: number | undefined }这类可选属性，TypeScript将其解读为：该属性可能不存在，若存在则值为number | undefined。在与Record<string, number>（要求所有存在的属性值必须为number）做兼容性检查时，TypeScript认为“可选属性不存在”的情况符合Record要求，“属性存在且为number”的情况也符合；至于“属性存在且为undefined”的场景，由于可选属性本身不强制属性必须存在，TypeScript会忽略这种情况，因为X的类型并没有要求该属性必须携带undefined值存在。
• 对于{ inner: number | undefined }这类必选属性，TypeScript明确要求该属性必须存在，且值可以是number或undefined。此时与Record<string, number>检查时，必选属性的存在性被强制要求，而undefined无法赋值给number，因此触发类型错误。

示例1分析 #

type T = Record<string, number>;
type X = { inner?: number | undefined };
type Y = { inner: number | undefined };

function f(x: X, y: Y) {
  y satisfies X; // 符合预期：Y的必选inner属性可以赋值给X的可选inner（可选属性允许存在或不存在）
  
  x satisfies T; // 无错误的原因：X的inner是可选属性，TypeScript判定该属性“可以不存在”，只要存在的属性值是number就符合Record<string, number>。这里的`number | undefined`中的undefined被视为“属性不存在”的等价情况，而非属性存在但值为undefined，因此通过检查。
  
  y satisfies T; // 符合预期错误：Y的inner是必选属性，必须存在，而其值可能为undefined，无法匹配Record要求的number类型，因此触发错误。
}

示例2分析 #

const x = { inner: undefined };
x satisfies X; // 符合预期：字面量对象的inner值为undefined，匹配X的可选属性定义
x satisfies T; // 符合预期错误：字面量对象明确存在inner属性且值为undefined，直接违反Record<string, number>的要求

const y: { inner?: number | undefined } = x;
y satisfies T; // 无错误的原因：变量y的类型被显式声明为带有可选属性的类型，此时TypeScript优先依据声明类型做检查，回到了可选属性的逻辑——认为该属性“可以不存在”，忽略了实际赋值的是存在且为undefined的对象，因此通过检查。

内容的提问来源于stack exchange，提问作者Trevor Keith