在 TypeScript 条件类型中，如何测试函数/泛型参数是否存在？

Question

我正在尝试在 TypeScript 中编写一个简单的函数，类似于以下 JavaScript 示例（我的实际用例很复杂，因此我已将问题简化为更简单的用例）：

function resolve(value, defaultValue=null) {
  if (value !== undefined && value !== null) {
    return value;
  } else {
    return defaultValue;
  }
}

我有一个函数可以将可为空的变量解析为其实际值。如果参数为 null 或未定义，则返回默认值。默认值的默认值为 null。这样一个函数的动机是有争议的，所以我们假设这个函数有助于强制执行编码标准或其他东西。

让我们观察一下语义：

function resolve(value, defaultValue=null) {
    if (value !== undefined && value !== null) {
        return value;
    } else {
        return defaultValue;
    }
}

let a = resolve(undefined); // null
let b = resolve(2); // 2
let c = resolve(13, 0); // 13
let d = resolve(null, ''); // ''

let myVar = 'some-value'; // get value from somewhere, could be anything (not just a hard-coded string)

let e = resolve(myVar); // Could be typeof myVar or null
let f = resolve(myVar, 0); // Could be typeof myVar or number (cannot be null)
let g = resolve(myVar, ''); // Could be typeof myVar or string (cannot be null)

如果传入空值，您将获得默认值。如果不指定默认值，则默认default为null。如果传入的默认值不为 null，则无法获取 null。获取 null 的唯一方法是显式传递它或defaultValue完全省略该参数。这似乎是条件类型的良好候选者。不过，我似乎无法争论它。这可能是因为根据 TypeScript 的某些语义，这是不可能的。

让我向您展示我正在努力实现的目标。以下内容无法编译：

function resolve<T, TDefault extends T>(value: T | undefined | null, defaultValue?: TDefault): T | (typeof defaultValue extends undefined ? null : TDefault) {
    if (value !== undefined && value !== null) {
      return value;
    } else {
      if (defaultValue !== undefined) {
        return defaultValue;
      } else {
        return null;
      }
    }
  }

  let myVar: string | undefined = 'some-value'; // get value from somewhere, could be anything (not just a hard-coded string)

  let e = resolve(myVar); // Should return string | null
  let f = resolve(myVar, 0); // Should not compile. Number is not assignable to string
  let g = resolve(myVar, ''); // Should return string, always.

具体看一下返回类型：

T | (typeof defaultValue extends undefined ? null : TDefault)

我希望你能明白我在这里的目的。如果参数defaultValue未定义（省略），则返回类型为T | null，否则返回类型为T | TDefault（但是，TDefaultextends T，因此实际返回类型只是T）。我知道我所拥有的东西不起作用，甚至没有任何意义。我写它只是为了演示目的。typeof defaultValue相当于writing TDefault | undefined，所以我写的条件类型是分布式的，等等。我尝试了各种不同的东西，但我似乎无法得到它。我想知道这个函数的语义是否可以被 TypeScript 捕获。

有什么想法吗？

Answer 1

我认为重载会更好地满足您的用例。

function resolve(value: undefined| null) : null
function resolve<TDefault>(value: undefined| null, defaultValue: TDefault) : TDefault
function resolve<T, TDefault extends T>(value: T, defaultValue: TDefault) : T | TDefault
function resolve<T>(value: T) : T | null
function resolve(value, defaultValue=null) {
    if (value !== undefined && value !== null) {
        return value;
    } else {
        return defaultValue;
    }
}

let a = resolve(undefined); // null
let b = resolve(2); // number
let c = resolve(13, 0); // This one is an error since 0 does not extends 13, but maybe this should be the behaviour ? 
let d = resolve(null, ''); // ''

let myVar = 'some-value'; // get value from somewhere, could be anything (not just a hard-coded string)

let e = resolve(myVar); // string | nul
let f = resolve(myVar, 0); // err
g = resolve(myVar, ''); //string