如何让接收泛型参数的TypeScript函数返回T或HttpError？

首先明确原代码存在两个核心问题：

1. 返回类型仅声明为泛型T，但HttpError与任意T类型无必然关联，导致类型不兼容报错；
2. 原代码返回的是HttpError类本身，而非实例——SvelteKit的HttpError需要通过实例化才能正常使用。

以下是两种可行的解决方法：

方法一：直接使用联合返回类型 #

这种写法简单直观，适用于大多数场景，直接将返回类型声明为T | HttpError：

import { HttpError } from '@sveltejs/kit';

function safe<T>(arg: T): T | HttpError {
    // 检查参数是否为null或undefined，返回对应HttpError实例
    return arg ?? new HttpError(404, '参数未定义');
}

调用该函数时，TypeScript会自动识别返回值为T或HttpError，你需要在调用处处理两种可能的返回类型。

方法二：使用条件类型优化类型提示 #

如果希望当参数非空时，返回类型严格排除null/undefined，仅保留原类型的非空版本，可以用条件类型实现更精准的类型推导：

import { HttpError } from '@sveltejs/kit';

function safe<T>(arg: T): T extends null | undefined ? HttpError : T {
    if (arg == null) {
        // 此处需要类型断言，因为TypeScript无法自动推断条件类型的返回分支
        return new HttpError(404, '参数未定义') as T extends null | undefined ? HttpError : T;
    }
    return arg;
}

这种写法的优势是：

• 当传入非空参数（比如string类型），返回类型严格为string；
• 当传入可能为空的参数（比如string | undefined），返回类型为string | HttpError。

如果你的场景仅需检查undefined（不包含null），可将判断条件改为typeof arg === 'undefined'，并同步调整类型逻辑。

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