为何TypeScript中字段包含关系的接口数组断言无报错？

先明确你的两个接口定义：

export interface IProductInCartBody {
  count: number;
  variantId: string;
}

export interface IProductInCart {
  id: string;
  variantId: string;
  name: string;
  price: number;
  count: number;
}

你执行的语句const test: IProductInCartBody[] = productsInTheCart as IProductInCart[];不报错，核心原因有两点：

1. TypeScript结构类型系统的兼容性规则 #

TypeScript采用结构类型系统，判断类型兼容只看属性结构，不看类型名称。只要一个类型包含目标类型的所有必填属性，就认为二者兼容。

这里IProductInCart包含了IProductInCartBody的全部必填属性（count和variantId），额外的id、name、price属性不会破坏兼容性。因此IProductInCart类型的实例完全可以被当作IProductInCartBody类型使用，对应的数组类型IProductInCart[]自然也能赋值给IProductInCartBody[]——哪怕不用类型断言，直接写const test: IProductInCartBody[] = productsInTheCart;也不会报错。

2. 类型断言的合法操作范围 #

你语句里的as IProductInCart[]属于冗余断言（因为productsInTheCart本身就是IProductInCart[]类型），但TypeScript允许将值断言为它自身的类型，这是合法操作，不会触发错误。

哪怕你把断言改成as IProductInCartBody[]同样不会报错——类型断言的本质是告诉TypeScript“我比你更清楚这个值的类型，跳过常规检查”，只要断言的类型和原类型不是完全无关联（比如不能把string断言成number），TypeScript就不会拦截。

总结：这个语句不报错，本质是结构类型系统的兼容性允许IProductInCart[]赋值给IProductInCartBody[]，而冗余的类型断言也没有违反TypeScript的断言规则。

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