TypeScript defaultIfUndefined 函数类型

Question

我正在尝试编写一个简单的函数，如果value === undefined，它会返回一个defaultValue。

功能 super 简单:

const defaultIfUndefined = (value, defaultValue) => {
    return value === undefined ? defaultValue : value;
}

但是类型/类型推断不起作用。

函数应该简单地从类型中删除undefined。

我尝试了几种不同的方法，但总是出现一些错误。

1.

const defaultIfUndefined = <T>(value: T, defaultValue: Exclude<T, undefined>): Exclude<T, undefined> => {
    return value === undefined ? defaultValue : value;
}

2.

const defaultIfUndefined = <T, U extends Exclude<T, undefined>>(value: T, defaultValue: U): U => {
    return value === undefined ? defaultValue : value;
}

3.

const defaultIfUndefined = <T, U extends T | undefined>(value: U, defaultValue: Exclude<U, undefined>): Exclude<U, undefined> => {
    return value === undefined ? defaultValue : value;
}

4.

const defaultIfUndefined = <T, U extends T | undefined, V extends Exclude<U, undefined>>(value: U, defaultValue: V): V => {
    return value === undefined ? defaultValue : value;
}

只要我返回... as any，第一个示例就可以正常工作。

但是有没有什么方法可以让这个在没有as any的情况下工作？

--

Link到 TypeScript Playground

Answer 1

包含未解析类型参数的条件类型通常需要类型断言。这是因为 typescript 不对此类类型进行太多数学计算，它只是检查条件类型的精确匹配。

解决方案是避免条件类型:

const defaultIfUndefined = <T>(value: T | undefined | null, defaultValue: T & {}): T => {
  return value || defaultValue;
}

let a : string | null = Math.random() > 0.5 ? "" : null;
let aNotNull = defaultIfUndefined(a, "") // string 

仅对 T 和 {} 进行注释。如果将其更改为仅 T，Typescript 在推断文字类型时会过于激进，& {} 修复了该问题。