可选属性与值为 undefined 的属性看似相似，但本质不同。如果对象缺少某个属性，访问该属性会得到 undefined；同样，如果属性存在但其值被显式设置为 undefined，访问该属性也会得到 undefined。然而，in 运算符揭示了这一根本区别：当属性不存在时，value in object 为 false；当属性存在但其值为 undefined 时，该表达式为 true。在 TypeScript 中，由 ? 标记的可选属性表示该属性可能不在对象上。这一区别对于 API 设计至关重要，因为省略某个属性可能意味着“无变更”，而显式将其设置为 undefined 则代表不同的意图。exactOptionalPropertyTypes 编译器选项强制区分二者，禁止将 undefined 显式赋值给可选属性，除非在类型中明确添加了 | undefined。这种精确的类型定义对于配置对象和更新机制尤为宝贵，因为在这些场景中，属性的存在具有语义意义。例如，更新函数可能会忽略被省略的字段，而对被设置为 undefined 的字段进行不同的处理。理解这一区别对于构建健壮的 API 设计和准确的对象操作至关重要。