TypeScript中Koa中间件子类型参数函数无法转为基类型函数问题

问题背景 #

尝试给Koa中间件扩展上下文的state类型时遇到类型转换问题：使用扩展后state类型的函数，无法转换为使用基类state类型的函数。最小复现代码如下：

type A = {
  foo: number
}

type B = A & {
  bar: number
}

type FuncA = (middie: A) => void
type FuncB = (middie: B) => void

const fa = {} as FuncA
const fb = {} as FuncB
const fc: FuncA = fb // 类型报错：类型“FuncB”不能赋值给类型“FuncA”

报错提示bar不存在于A类型中，但从逻辑上看，B是A的扩展类型，所有A的属性都存在于B中，理论上应该兼容。但单独将B类型的值转换为A是可行的，问题显然出在函数参数的处理逻辑上。

原因解析 #

这是TypeScript的函数参数逆变规则导致的：

• 当赋值函数类型时，参数类型的兼容性是反向的（逆变），而非正向的（协变）。
• 假设FuncB的实现是(middie: B) => console.log(middie.bar)，如果把它当作FuncA调用，传入的参数可能只有foo属性、没有bar，运行时就会出现访问不存在属性的错误。
• TypeScript禁止这种赋值，本质是为了保证类型安全，避免潜在的运行时异常。

解决方案 #

1. 类型断言（谨慎使用） #

如果你能确保实际调用时传入的参数一定符合B类型要求，可以用类型断言强制转换：

const fc: FuncA = fb as FuncA;

注意：这种方式会绕过TypeScript的类型检查，需自行承担运行时风险。

2. 调整函数参数类型（推荐） #

如果FuncB的逻辑并不依赖B特有的属性，直接将参数类型改为A即可：

const fb: FuncA = (middie: A) => {
  // 仅访问middie.foo的逻辑代码
};

3. 泛型适配Koa中间件场景 #

针对Koa中间件的场景，可通过泛型扩展state类型，让中间件类型更灵活：

import Koa from 'koa';

// 基类state类型
interface BaseState extends Koa.DefaultState {
  foo: number;
}

// 扩展后的state类型
interface ExtendedState extends BaseState {
  bar: number;
}

// 泛型中间件类型
type AppMiddleware<TState = BaseState> = Koa.Middleware<TState, Koa.DefaultContext>;

// 扩展中间件
const extendedMiddleware: AppMiddleware<ExtendedState> = async (ctx, next) => {
  ctx.state.bar = 123;
  await next();
};

// 若要在基类场景使用，需确保中间件运行时不依赖扩展属性，或使用断言
const baseMiddleware: AppMiddleware = extendedMiddleware as AppMiddleware;

总结 #

TypeScript的函数参数逆变规则是为了保障类型安全，避免运行时错误。遇到这类问题时，优先考虑调整函数参数类型或使用泛型适配，类型断言仅作为最后手段且需谨慎使用。

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