升级TypeScript至4.0.8后泛型函数编译错误求助

问题原因 #

TypeScript 4.0对泛型类型检查的严格程度提升了，你的代码中泛型T extends any没有任何约束，编译器无法确认response（类型为T）必然包含status和error属性，因此抛出不存在这些属性的编译错误。而TypeScript 3.8.3的检查逻辑更宽松，所以之前没有触发错误。

具体修复方法 #

方法一：给泛型添加明确的类型约束 #

定义一个包含必要属性的基础接口，让泛型T继承该接口，这样编译器就能确定response拥有status和error属性：

// 定义基础响应类型，包含代码中用到的属性
interface BaseEventResponse {
  status?: 'ok' | string;
  error?: any;
}

handleEventResponse<T extends BaseEventResponse>(event: CustomEvent, { resolve, reject }): T {
    let response: T = {} as T;
    if (Array.isArray(event.data)) {
      response = event.data as any;
      resolve(response);
    } else {
      Object.assign(response, event.data);
      if (response.status === 'ok') {
        resolve(response);
      } else {
        reject(response.error);
      }
    }

    return response;
}

方法二：在使用处进行类型断言（适合无法修改泛型约束的场景） #

如果必须保持泛型T extends any的宽泛性，可以在访问status和error时，将response断言为包含对应属性的类型：

handleEventResponse<T extends any>(event: CustomEvent, { resolve, reject }): T {
    let response: T = {} as T;
    if (Array.isArray(event.data)) {
      response = event.data as any;
      resolve(response);
    } else {
      Object.assign(response, event.data);
      // 将response断言为包含status和error的临时类型
      const typedResponse = response as unknown as { status?: 'ok' | string; error?: any };
      if (typedResponse.status === 'ok') {
        resolve(response);
      } else {
        reject(typedResponse.error);
      }
    }

    return response;
}

优先推荐方法一，它能让类型系统更严谨，避免后续潜在的类型错误；方法二则是在无法修改泛型约束时的妥协方案。

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