TypeScript如何缩小泛型范围

发布于06月27日

我编写了以下代码，但返回值出错

function test_fn<T> (arg: T): T extends string | number ? boolean : number
{
    if(typeof arg === "string" || typeof arg === "number")
    {
        return true
    }
    return 1
}

错误消息为: TS2322:不可将类型""True""赋值给类型""T扩展字符串|数字？布尔:数字"".""

我觉得我的写作应该正确地进行类型推断，但它没有.我可以做些什么来消除这种类型错误？

推荐答案

请判断解决上述问题的以下代码片段.

declare const calc: (expr: string, options?: any) => any;

type StrOrNum = string | number;

type CalcWrapReturnType = StrOrNum | ((expr: StrOrNum) => StrOrNum) | null

function calc_wrap<T extends unknown>(expr_or_data: T, data?: any): CalcWrapReturnType {
    const _fill_data: any[] = [];
    const options = { _error: "_" };

    if(typeof expr_or_data === 'string') {
        return calc( expr_or_data, {
            _fill_data,
            ...options
        } ) as StrOrNum;
    }
 return typeof expr_or_data === 'string' ? ( expr: StrOrNum ): StrOrNum => calc( expr as string, _fill_data ) : null;
}

我的实现简单地忽略了T的类型是否为数字.也许您可以将数字转换为字符串，并在需要时使用它.