打字稿:与前一个参数的解析类型相同的泛型类型

Question

我想知道，当类型可以是多种类型时，如果与前一个参数的解析类型相同，如何指定该泛型类型。

打字稿游乐场

function add<T extends (number | string)>(a: T, b: T): T {
if (typeof a === 'string') {
return a + b;
} else if (typeof a === 'number') {
return a + b;
}
}
add('hello', ' world');
add(1, 1);

我希望能够告诉编译器所有T都是相同的类型，无论是数字还是字符串。我可能会错过一些语法。条件类型可能是可能的(在某种程度上(...

Answer 1

不能缩小函数中泛型参数的类型。因此，当您测试a时，这不会告诉编译器b的类型是什么。更重要的是，它不会告诉编译器函数的返回类型需要是什么

。

function add<T extends (number | string)>(a: T, b: T): T {
if (typeof a === 'string' && typeof b === 'string') {
let result = a + b; // result is string, we can apply + 
return result as T; // still an error without the assertion, string is not T 
} else if (typeof a === 'number' && typeof b === 'number') {
let result = a + b; // result is number, we can apply +
return result as T; // still an error without the assertion, number is not T  
}
throw "Unsupported parameter type combination"; // default case should not be reached
}

在这种情况下，也许有一个专用的实现签名，它可以代替联合(意味着不需要断言(，并且公共签名是你以前使用的签名。

function add<T extends number | string>(a: T, b: T): T
function add(a: number | string, b: number | string): number | string {
if (typeof a === 'string' && typeof b === 'string') {
return a + b;
} else if (typeof a === 'number' && typeof b === 'number') {
return a + b;
}
throw "Unsupported parameter type combination"; // default case should not be reached
}