为何将部分类型断言为完整TypeScript类型时无报错？

为什么下面的代码仅包含Todo类型的部分属性，通过as Todo断言为完整Todo类型却未报错？

type Todo = {
  id: number
  text: string
  isCompleted: boolean
}

let todo: Todo = {
  id: 123,
} as Todo

有趣的是，若将id: 123改为id: "abc"，不仅会报类型错误，还会提示缺少其他属性。

编辑补充：
我尝试编写如下函数：

function doSmth<T extends Todo>(fn: (t: Partial<T>) => void) {
  fn({id: 123})
}

但TypeScript报错，于是我添加断言：

function doSmth<T extends Todo>(fn: (t: Partial<T>) => void) {
  fn({id: 123} as Partial<T>)
}

此时无报错。但当我将断言改为as T时：

function doSmth<T extends Todo>(fn: (t: Partial<T>) => void) {
  fn({id: 123} as T)
}

依然无报错，这让我感到困惑。

1. 部分属性断言为完整类型不报错的核心原因 #

TypeScript的类型断言本质是开发者手动覆盖编译器的类型检查——只要断言的类型和原值的属性没有直接冲突，编译器就会信任你的判断，跳过必填属性的完整性校验。

在第一个例子里，{id:123}的id属性类型是number，和Todo里的id: number完全匹配，没有类型冲突。此时你用as Todo断言，相当于告诉编译器“我确认这个对象是完整的Todo类型”，编译器就不会强制检查是否缺失text和isCompleted属性。

但如果把id改成"abc"（string类型），就和Todo要求的id: number直接冲突，编译器会立刻报错，同时因为发现类型不匹配，会顺带提示你还缺失其他必填属性。

2. 泛型函数中as T断言无报错的原因 #

在泛型函数doSmth<T extends Todo>中：

• T是Todo的子类型（结构上至少包含Todo的所有属性）；
• 当你断言{id:123} as T时，由于T是未具体化的泛型类型，编译器无法确定它的具体结构，只能基于T extends Todo的约束来判断：{id:123}的id属性和Todo的id类型兼容，因此允许这个断言；
• 而fn接受的参数类型是Partial<T>（T的所有属性可选），T类型的值本身就可以赋值给Partial<T>（因为Partial<T>是T的父类型，所有属性都变成可选），所以最终调用fn时不会报错。

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