TypeScript函数重载类型与自定义类型不兼容及DRY实现问题

1. 修复类型检查错误 #

报错核心是把TypeScript类型当成JavaScript运行时值使用——CallableFunction是TS的类型定义，不是JS中可调用的值，所以typeof param2 == CallableFunction这种写法完全不合法。

正确的类型判断方式：

• 判断单个函数：用typeof param2 === 'function'，这是JavaScript原生的类型检查，函数的typeof结果为'function'
• 判断函数数组：需要先验证是数组，再确保数组每一项都是函数，可写一个类型守卫函数让TS识别类型：

// 类型守卫：验证值是CallableFunction数组
function isCallableFunctionArray(value: unknown): value is CallableFunction[] {
    return Array.isArray(value) && value.every(item => typeof item === 'function');
}

修改push函数的逻辑，通过分支让TS自动推导类型：

const push = (method: string, param1: string, param2: CallableFunction | CallableFunction[], param3?: CallableFunction) => {
    let route: Route;
    if (typeof param2 === 'function') {
        // 匹配第一个重载：无中间件的场景
        route = {
            method,
            pathname: param1,
            handler: param2
        };
    } else if (isCallableFunctionArray(param2) && param3 && typeof param3 === 'function') {
        // 匹配第二个重载：有中间件的场景
        route = {
            method,
            pathname: param1,
            middleware: param2,
            handler: param3
        };
    } else {
        // 非法参数处理，可抛出错误或默认逻辑
        throw new Error('Invalid route parameters');
    }
    routes.push(route);
}

这样TS能精准识别每个分支的类型，无需盲目使用类型断言。

2. 用工厂函数实现DRY原则 #

重复编写get、post这类方法完全没必要，写一个工厂函数批量生成路由方法即可：

// 定义支持的HTTP方法列表
const HTTP_METHODS = ['GET', 'POST', 'PUT', 'DELETE', 'PATCH'] as const;

// 工厂函数：根据HTTP方法生成对应的路由函数
function createRouteMethod(method: typeof HTTP_METHODS[number]): Method {
    return (param1: string, param2: CallableFunction | CallableFunction[], param3?: CallableFunction) => {
        push(method, param1, param2, param3);
    };
}

// 批量导出所有路由方法
export const get = createRouteMethod('GET');
export const post = createRouteMethod('POST');
export const put = createRouteMethod('PUT');
export const del = createRouteMethod('DELETE'); // 避开JS关键字delete
export const patch = createRouteMethod('PATCH');

后续要新增HTTP方法，只需在HTTP_METHODS数组中添加即可，无需重复编写函数逻辑。

3. 关于类型断言的必要性 #

不是必须用as断言。上面的类型守卫和分支判断已经能让TS正确推导类型，只有在你100%确定参数类型、但TS无法自动识别的特殊场景下，才需要使用断言。盲目使用断言会绕过TS的类型检查，增加潜在bug风险。

另外建议尽量替换CallableFunction为更具体的函数类型（比如(req: Request, res: Response) => Promise<void>），这样类型检查会更严格、代码更健壮。

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