为何断言TypeScript Partial<>的每个属性已定义仍无法收窄类型？

在TypeScript中，我们定义Post接口，声明Partial<Post>类型变量post并赋值所有属性。当通过条件判断断言post的date和title属性均不为undefined后，尝试将其推入Post类型数组时仍出现编译错误；但使用类型守卫函数判断后却能正常执行。这一现象的原因是什么？

// 🏗️ SETUP

interface Post {
  date: Date;
  title: string;
}

let post: Partial<Post> = {
  date: new Date(),
  title: 'hello stackoverflow' 
};

const posts: Post[] = [];

// ❌ 此代码无法运行：

if (post.date !== undefined && post.title !== undefined) { // 为何这一步无法让后续代码正常执行？
  posts.push(post);
  //         ^^^^ Argument of type 'Partial<Post>' is not assignable to parameter of type 'Post'.
  //                Types of property 'date' are incompatible.
  //                  Type 'Date | undefined' is not assignable to type 'Date'.
  //                    Type 'undefined' is not assignable to type 'Date'.(2345)
}

// ✅ 此代码可以运行：

function isPost(post: Partial<Post>): post is Post {
  return post.date !== undefined && post.title !== undefined;
}

if (isPost(post)) {
  posts.push(post);
}

核心原因：TypeScript类型窄化的局限性 #

1. 直接条件判断的窄化范围有限
   直接通过post.date !== undefined && post.title !== undefined判断时，TypeScript只会单独窄化post.date和post.title两个属性的类型（从Date | undefined变为Date、string | undefined变为string），但不会自动将整个post变量的类型从Partial<Post>升级为Post。因为Partial<Post>是“所有属性可选”的独立类型定义，TypeScript不会将多个属性的窄化结果合并为整个对象的类型变更。

2. 自定义类型守卫的显式断言作用
   带有post is Post返回类型的函数属于用户自定义类型守卫，它显式告诉TypeScript：当函数返回true时，传入的参数完全符合Post类型的定义。TypeScript会信任这个断言，直接将post的类型窄化为Post，因此后续的posts.push(post)不会出现类型不匹配的错误。

替代方案（不用类型守卫） #

如果不想单独写类型守卫函数，也可以使用类型断言强制转换类型，但这种方式跳过了TypeScript的类型检查，安全性不如类型守卫：

if (post.date !== undefined && post.title !== undefined) {
  posts.push(post as Post);
}

内容的提问来源于stack exchange，提问作者Jeremy Danyow