TypeScript类型守卫为何未对可选对象属性完成类型窄化？

问题现象说明 #

你遇到的是TypeScript类型缩小的典型限制，两种写法行为差异的核心原因如下：

为什么类型守卫表现不一致 #

TypeScript当前的类型系统设计中，对对象单个属性的类型校验只会窄化该属性本身的类型，不会自动向上推导窄化整个父对象的类型，除非该对象是可辨识联合类型。
第一种写法里，你对nPagination.current和nPagination.pageSize做非空校验后，TS只会将这两个属性的类型从number | undefined缩小为number，但nPagination整体的类型还是原来的PaginationConfig，所以传入要求必传两个属性的setPagination函数时，就会触发类型不匹配的报错。
第二种解构写法中，你把两个属性拆成了独立的局部变量，校验完成后这两个局部变量的类型被缩小为number，之后你传入setPagination的是新构造的对象{ current, pageSize }，TS可以直接推断这个新对象的类型完全符合入参要求，因此不会报错。

这种设计是否合理 #

是合理的，主要出于两方面权衡：

• 编译性能考量：如果要支持校验多个属性后自动窄化父对象类型，TS需要在编译期动态追踪所有属性的校验状态，实时计算对象的最终类型，对于多层嵌套的复杂对象来说，这个计算成本会指数级上升，严重拖慢编译速度
• 类型安全考量：JS中对象属性是可变的，即使你刚校验完属性非空，也存在校验逻辑和使用逻辑之间属性被意外修改的可能，直接自动窄化父对象类型反而可能引入隐藏的类型安全漏洞

兼容写法 #

如果你不想用解构的方式，可以通过两种方法解决第一个版本的报错：

1. 自定义类型守卫（推荐，类型更安全）

function isCompletePagination(config: PaginationConfig): config is { current: number; pageSize: number } {
  return typeof config.current !== 'undefined' && typeof config.pageSize !== 'undefined'
}

const onPageChange = (nPagination: PaginationConfig) => {
  if (isCompletePagination(nPagination)) {
    setPagination(nPagination);
  }
};

2. 手动类型断言（适合简单场景，写法更简洁）

const onPageChange = (nPagination: PaginationConfig) => {
  if (typeof nPagination.current !== 'undefined' && typeof nPagination.pageSize !== 'undefined') {
    setPagination(nPagination as { current: number; pageSize: number });
  }
};

内容的提问来源于stack exchange，提问作者Lin Du