如何在Express路由中兼顾类型推断验证与认证中间件

核心问题原因 #

Express的中间件链类型推断是按顺序合并泛型参数的：每个中间件的Request类型会作为后续中间件的基础类型，后续中间件可以扩展这个类型（比如添加验证后的params/query/body字段）。

为什么any会破坏类型推断？ #

当你把checkAuth的Request类型设为any时，any作为TypeScript的顶级类型，会直接吞噬所有后续的类型细化。比如后续zod验证中间件添加的req.params.userId类型，会被any覆盖——TypeScript无法从any中推断出具体的字段类型，自然丢失了类型提示。

为什么never能正常工作？ #

express.Request<never>中的never是TypeScript的底部类型，它的作用是占位但不占用泛型参数的推断空间。当你用never作为checkAuth的Request泛型参数时，相当于告诉TypeScript：这个中间件不依赖任何特定的路由参数、查询参数或请求体，后续中间件可以自由填充具体的泛型类型。后续zod验证中间件的类型会直接覆盖never对应的泛型位置，最终合并出正确的Request类型。

正确的通用checkAuth写法 #

import { Request, Response, NextFunction } from 'express';

// 通用认证中间件，用never作为初始泛型参数
const checkAuth = (req: Request<never>, res: Response, next: NextFunction) => {
  // 你的认证逻辑，比如检查req.user
  if (!req.user) {
    return res.status(401).json({ error: 'Unauthorized' });
  }
  next();
};

结合express-zod-safe的使用示例：

import { createZodEndpoint } from 'express-zod-safe';
import z from 'zod';

// 定义路由参数Schema
const getUserSchema = z.object({
  params: z.object({
    userId: z.string().uuid(),
  }),
});

// 路由链中checkAuth在前，类型推断正常
app.get('/users/:userId', checkAuth, createZodEndpoint(getUserSchema, (req, res) => {
  // req.params.userId会被正确推断为string（UUID格式）
  res.json({ userId: req.params.userId });
}));

TypeScript类型系统学习指南 #

无需依赖外部链接，重点啃官方文档的核心章节即可：

• 类型兼容性：理解交叉类型、联合类型的合并规则，以及any/never的特殊行为。
• 泛型：掌握泛型的推断机制、泛型约束，以及泛型参数在函数链式调用中的传递逻辑。
• 高级类型：学习条件类型、映射类型，理解TypeScript如何处理复杂类型的合并与扩展。
• 上下文类型推断：这是Express中间件类型推断的核心，理解TypeScript如何根据函数的调用上下文自动推断类型。
• 逆变与协变：搞清楚函数参数的逆变特性，这直接影响中间件链的类型合并顺序。

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