TypeScript 条件返回错误

Question

我有一个相对简单的函数，它应该根据给定的内容返回一个字符串或一个数字。我已经阅读了许多现有的问题，并且确实有函数重载工作，但我只想知道为什么所有返回行都会出现以下错误。

此函数应接受字符串或数字 defaultValue，然后返回该类型。所以如果 defaultValue 是一个字符串，它应该返回一个字符串。如果 defaultValue 是一个数字，它应该返回一个数字。

export const getMessageAttributes = <T extends string | number = string>(
    attributes: { [key: string]: { Name: string; Value: string } },
    name: string,
    defaultValue?: T,
): T extends string ? string : number => {
    const attribute = attributes[name];

    if (!attribute) {
        if (defaultValue === undefined)
            throw new Error(`MessageAttribute ${name} required but not found`);

        return defaultValue;
    }

    const value = attribute.Value;

    if (typeof defaultValue === 'number') return parseInt(value, 10);

    return value;
};

在return defaultValue; 行，我收到此错误：

Type 'T' is not assignable to type 'T extends string ? string : number'.
  Type 'string | number' is not assignable to type 'T extends string ? string : number'.
    Type 'string' is not assignable to type 'T extends string ? string : number'.ts(2322)

在return parseInt 行，我收到此错误：

Type 'number' is not assignable to type 'T extends string ? string : number'.ts(2322)

在最后的return value; 行，我收到此错误：

Type 'string' is not assignable to type 'T extends string ? string : number'.ts(2322)

如果有帮助，我正在使用 TypeScript 3.7.2 版。如前所述，我确实可以使用类型重载，从技术上讲，这可能会通过 2 个单独的函数（getStringMessageAttribute 和 getNumberMessageAttribute）更好地解决，但实际上只是想扩展我的 TypeScript 知识并了解它当前失败的原因以及是否存在是一种解决方法。谢谢！

Answer 1

@jcalz 提供了一个链接来解释此处的错误： https://github.com/microsoft/TypeScript/issues/22735

相关部分是

为了让它工作，你必须明确地转换返回 值匹配返回类型注释，因为类型检查器 无法证明它总是正确的：

所以，使用它我最终得到了以下结果，它返回正确的类型而没有错误：

export const getMessageAttributes = <T extends string | number = string>(
    attributes: { [key: string]: { Name: string; Value: string } },
    name: string,
    defaultValue?: T,
): T extends string ? string : number => {
    const attribute = attributes[name];

    if (!attribute) {
        if (defaultValue === undefined)
            throw new Error(`MessageAttribute ${name} required but not found`);

        return (defaultValue as unknown) as T extends string ? string : number;
    }

    const value = attribute.Value;

    if (typeof defaultValue === 'number')
        return (parseInt(value, 10) as unknown) as T extends string
            ? string
            : number;

    return (value as unknown) as T extends string ? string : number;
};

不确定这是否是最好的方法，但它确实有效，因此希望在遇到类似情况时对其他人有所帮助。