如何创建可接收继承指定接口参数的TypeScript泛型回调？

你遇到的报错本质是TypeScript中函数参数的逆变（contravariance）规则在起作用，先帮你拆解清楚核心误区，再给出符合你需求的解决方案。

核心类型误区：函数参数的逆变 vs 协变 #

你可能以为GetQuantity<DataBook>（接收DataBook的回调）可以赋值给GetQuantity<DataAny>（接收DataAny的回调），但TS的类型系统不允许这么做——这是因为函数参数是逆变的：

• 简单来说：如果一个函数期望接收「父类型」参数，不能直接传入一个只接收「子类型」参数的函数；反过来，接收「父类型」的函数可以赋值给需要接收「子类型」的函数。
• 具体到你的场景：GetQuantity<DataAny>要求回调能处理任意DataAny类型的数据，但getQuantityBook只能处理DataBook（依赖pages属性）。如果TS允许这种赋值，当你传入一个非DataBook的DataAny时，回调会访问不存在的pages，导致运行时错误。所以TS的报错是合理的，是在帮你规避潜在风险。

符合你需求的最优解决方案：自动推断的泛型函数 #

你提到“无法传入特定类型”、“不想传入所有可能类型”，其实不需要显式指定泛型参数——TS的类型推断可以自动根据你传入的data和回调函数推断出泛型T的具体类型，完全满足你的需求：

// -- 不可修改的外部库接口 --
interface DataAny { type: string; [more: string]: any; }
// -- 自定义接口/类型 --
interface DataBook extends DataAny { pages: number }
interface DataWater extends DataAny { liters: number }
type GetQuantity<D> = ( data: D ) => string; // 注：之前的void返回类型有误，你实际返回了字符串

// -- 泛型函数：让TS自动推断T的类型 --
const genericQuantityInfo = function<T extends DataAny>( data: T, f: GetQuantity<T> ): void { 
  console.log('quantity: ', f( data )); 
};

// -- 数据 --
const book: DataBook = { type: 'book', pages: 303 };
const water: DataWater = { type: 'water', liters: 12 };

// -- 回调函数 --
const getQuantityBook: GetQuantity<DataBook> = function( data: DataBook ){ return data.pages + ' pages'; };
const getQuantityWater: GetQuantity<DataWater> = function( data: DataWater ){ return data.liters + ' liters'; };

// -- 调用：无需显式指定泛型，TS自动推断 --
genericQuantityInfo( book, getQuantityBook ); // ✅ 无错误
genericQuantityInfo( water, getQuantityWater ); // ✅ 无错误

这里的关键是：

• 泛型T被约束为DataAny的子类，保证data符合外部库的要求
• 调用函数时，TS会根据book是DataBook类型、getQuantityBook是GetQuantity<DataBook>类型，自动推断出T = DataBook，不需要你手动写<DataBook>

为什么你尝试的Creator函数会报错？ #

你写的creator函数：

const creator = function<T>(){ return function( data: T, f: GetQuantity<T> ): void { console.log('quantity: ', f( data )); }; };
creator<DataBook | DataWater>()(book, getQuantityBook);

报错的原因是：当T是DataBook | DataWater时，f的类型是(data: DataBook | DataWater) => void——也就是说，回调必须能处理任意DataBook或DataWater类型的数据，但getQuantityBook只能处理DataBook，无法处理DataWater，所以类型不兼容。这还是逆变规则的体现：联合类型的函数参数要求回调能覆盖所有联合成员。

备选方案：类型守卫 + 放宽回调参数类型 #

如果你确实不想用泛型函数，可以通过类型守卫在回调内部做类型检查，同时把回调的参数类型放宽为DataAny：

// 定义类型守卫，帮助TS识别具体类型
function isBook(data: DataAny): data is DataBook {
  return data.type === 'book';
}

function isWater(data: DataAny): data is DataWater {
  return data.type === 'water';
}

// 调整回调类型为接收DataAny
type GetQuantity = (data: DataAny) => string;

const getQuantityBook: GetQuantity = function(data) {
  if (isBook(data)) {
    return data.pages + ' pages';
  }
  throw new Error('Expected DataBook');
};

const genericQuantityInfo = function(data: DataAny, f: GetQuantity): void { 
  console.log('quantity: ', f(data)); 
};

genericQuantityInfo(book, getQuantityBook); // ✅ 无错误

这种方式需要在回调里做类型检查，适合泛型无法覆盖的复杂场景，但不如泛型推断优雅。

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