为何编译器对Partial<T>报错？TypeScript泛型实现问题

先看这段代码：

interface TestType {
  id: string;
}

interface TestConstraint<T extends TestType> {
  readonly id: string;
  readonly rawData: Partial<T>
}

class GenericClass<T extends TestType> implements TestConstraint<T> {
  readonly id: string;

  constructor(
    rawData: T
  ) {
    this.id = rawData.id;
  }

  get rawData(): Partial<T> {
    return {
        id: this.id,
    };
    // return {
    //     id: this.id,
    // } as Partial<T>;
  }
}

编译器返回错误：

Type '{ id: string; }' is not assignable to type 'Partial'.(2322)

错误原因 #

问题出在泛型参数T的不确定性：

• T是TestType的子类型，它的id属性可以是string的更具体子类型（比如字面量类型"fixed-id"）。
• 此时Partial<T>的id属性类型是T['id'] | undefined，而你返回的this.id是string类型，比T['id']更宽泛，TypeScript无法确保两者兼容。
• 举个例子，如果T是{id: "123", name: number}，那么Partial<T>的id是"123" | undefined，但你返回的id是string类型，显然不匹配。

解决方法 #

有两种常见的修复方式：

• 类型断言：直接告诉编译器返回值符合Partial<T>类型：

  get rawData(): Partial<T> {
    return {
        id: this.id,
    } as Partial<T>;
  }
  

• 保存原始rawData并返回其Partial版本：在类中存储传入的rawData，返回时通过解构生成Partial对象，保留T的原始类型信息：

  class GenericClass<T extends TestType> implements TestConstraint<T> {
    readonly id: string;
    private _rawData: T;
  
    constructor(rawData: T) {
      this.id = rawData.id;
      this._rawData = rawData;
    }
  
    get rawData(): Partial<T> {
      return { ...this._rawData };
    }
  }
  

内容的提问来源于stack exchange，提问作者Jean-Xavier Raynaud