为何ReadableStream向WritableStream传不兼容数据无类型错误？如何处理？

我有一个期望接收{ test1: string; test2: string }结构对象的WritableStream，还有一个输出{ test1: string }结构对象的ReadableStream。将可读流通过pipeTo方法传输到可写流时，会因可读流输出对象缺少test2属性引发问题，但语句new ReadableStream<{ test1: string }>().pipeTo(new WritableStream<{ test1: string; test2: string }>)并未触发类型错误。请问该语句无类型错误的原因是什么？如何定义WritableStream，使其在接入不兼容数据时触发类型错误？

无类型错误的原因 #

TypeScript采用结构子类型规则，只要一个类型的所有属性都能在另一个类型中找到匹配的类型定义，就会被判定为类型兼容。{ test1: string }的所有属性都包含在{ test1: string; test2: string }中，所以TypeScript认为可读流输出的对象可以安全传递给可写流。

但这是类型检查的盲区：可写流实际需要test2属性，可读流并未提供，运行时必然出问题，但TypeScript的结构子类型仅检查「已有属性是否匹配」，不会校验「是否缺失必要属性」。

让WritableStream触发类型错误的方法 #

要打破这种不合理的子类型兼容，有两种实用方案：

1. 用工具类型实现精确类型匹配 #

TypeScript没有原生的精确类型，但可以自定义工具类型，强制要求传入的类型必须与目标类型完全一致，不能缺少属性：

type Exact<T, U> = T extends U ? (U extends T ? T : never) : never;

// 包装出要求精确匹配的WritableStream类型
type StrictWritable<T> = WritableStream<Exact<T, T>>;

// 此时执行pipeTo会直接触发类型错误
new ReadableStream<{ test1: string }>().pipeTo(new StrictWritable<{ test1: string; test2: string }>());

这个Exact工具类型会双向校验类型结构，只要传入的类型与目标类型不完全匹配（比如缺失test2），就会返回never，触发编译阶段的类型报错。

2. 添加私有属性标记阻断兼容 #

给目标类型添加一个仅用于类型检查的私有属性，让子类型无法通过兼容性校验：

// 定义带私有标记的严格类型
type RequiredData = {
  test1: string;
  test2: string;
  // 仅用于类型检查的私有标记，不影响运行时
  readonly __strict_type__: unique symbol;
};

// 创建要求严格类型的WritableStream
const strictWritable = new WritableStream<RequiredData>({
  write(chunk) {
    // 业务处理逻辑
  }
});

// 此时传入{ test1: string }类型的可读流会直接报错
new ReadableStream<{ test1: string }>().pipeTo(strictWritable);

因为{ test1: string }没有__strict_type__这个属性，TypeScript会判定两个类型不兼容，提前在编译阶段抛出错误。

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