添加多种类型时，Typescript函数抱怨参数类型不可分配

Question

我有一个非常简单的函数：

function foo<T>(input: T, def: T) : T {
    return !!input ? input : def;
}

这么叫

foo(6, 7);
foo("h", "i")

没问题。

现在如果我改成

function foo<T>(input: T | null | undefined, def: T) : T {
    return !!input ? input : def;
}

我收到类似“类型 '6' 的参数不能分配给类型 '7 | null | undefined' 的参数。”和“类型 '“h”' 的参数这样的错误不能分配给“i”| null | undefined'类型的参数。“

但如果我这样称呼它

const h: string = "h";
const i: string = "i";
foo(h, i);

那么就OK了。

这是为什么呢？

Answer 1

是的，它似乎只在早期版本上？

是的，确切地说是 3.5.1 及以下版本Link

在这个例子中：

function foo<T>(input: T | null | undefined, def: T) : T {
    return !!input ? input : def;
}

foo(6, 7);
foo("h", "i");

泛型参数始终是第二个参数的字面量，这就是引发错误的原因。

在以后的版本中，null | undefined 不再影响泛型参数。