typescript 通用特化

Question

我正在寻找类似于 Typescript 泛型特化的东西，其中实现可以根据类型标准不相交。

一个最小的例子:

const someFunction = <A>() => { return 0; }

// something like this
<A extends String>someFunction = (a: A) => { return 1; }
<A extends Number>someFunction = (a: A) => { return 2; }
.
.
.

console.log(someFunction(false)); // prints 0
console.log(someFunction('string')); // prints 1
console.log(someFunction(42)); // prints 2

这是我想要的“jist”。这在 typescript 中可能吗？

Answer 1

你所说的在 Typescript 中不存在。与此最接近的是 function overload .根据您的示例，它看起来像这样:

function someFunction(a: boolean): 0
function someFunction(a: string): 1
function someFunction(a: number): 2
function someFunction(a: any) {
  if(typeof a === 'boolean') {
    return 0
  } else if (typeof a === 'string') {
    return 1
  } else if (typeof a === 'number') {
    return 2
  }
}

此示例适用于基元和 typeof但对复数值和其他 type guards 的作用相同包括用户定义的类型保护。