如何编写返回带method属性自定义接口的TypeScript泛型函数并解决ts2322报错

原泛型定义存在逻辑漏洞：你声明返回值为U类型，但U是调用方可任意指定的类型，仅被约束为必须包含method: T属性。TS无法保证你返回的{ timestamp: number; method: T }结构满足U的全部要求——比如调用方如果给U额外定义了info: string属性，你的返回值就会缺少该字段，因此触发类型不兼容报错。

方案1：简化泛型（适合不需要自定义扩展字段的场景） #

如果你的需求只是保留method的字面量类型，返回标准的Notification结构，直接去掉U泛型即可：

export interface Notification {
  readonly timestamp: number;
  method: string;
}

export interface MyNotification extends Notification {
  readonly timestamp: number;
  method: 'Method1' | 'Method2';
}

// 直接返回带method字面量类型的Notification结构
export function makeNotification<T extends string>(method: T): Notification & { method: T } {
  const timestamp = new Date().getTime();
  return {
    timestamp,
    method,
  };
}

export function makeMyNotification(info): MyNotification {
  return makeNotification('Method1') as MyNotification;
}

调用makeNotification('Method1')时返回值的method类型会自动推导为'Method1'字面量，满足你「每个输出有独立method类型」的要求。

方案2：支持扩展结构（适合需要自定义Notification子类的场景） #

如果你需要支持返回自定义的Notification子类，调整泛型约束为继承Notification，可选支持传入额外属性：

export interface Notification {
  readonly timestamp: number;
  method: string;
}

export interface MyNotification extends Notification {
  readonly timestamp: number;
  method: 'Method1' | 'Method2';
}

// 泛型约束为继承Notification，允许传入额外属性
export function makeNotification<T extends Notification>(method: T['method'], extra?: Omit<T, 'timestamp' | 'method'>): T {
  const timestamp = new Date().getTime();
  return {
    timestamp,
    method,
    ...extra
  } as T;
}

// 调用时直接指定泛型即可，不需要额外强制类型转换
export function makeMyNotification(info): MyNotification {
  return makeNotification<MyNotification>('Method1');
}

该方案扩展性更强，后续给子类新增属性时直接传入extra参数即可，TS可正常完成类型校验。

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