我可以根据参数更改返回类型吗

Question

我不确定如何提出我的问题，所以如果问题标题对您来说不正确，请耐心等待。

function uselessFunction(value: number): string | number {
    if (value > 5) {
        return "false"
    }
    return 2
}

const uselessVar1 = uselessFunction(1);
// type is `string | number`
// expected would be `number`

const uselessVar2 = uselessFunction(10);
// type is `string | number`
// expected would be `string`.

我了解typeguard概念以及如何使用它，但这不是我的用例。

function isString(value: string | number): value is string {
    if (typeof value === "string") {
        return true
    }
    return false
}

if (isString(uselessVar1) {
    // uselessVar1 type is `string`.
}

我想知道打字稿是否有可能在返回后立即知道是uselessVar1astring还是 a number，以及如何实现这一点。

另外，对于how我来说很有趣，我也想知道这是否是一个不好的做法以及为什么。

如果您对原始用例更感兴趣......

/** 
 * Takes an input of type <T>[].
 * And returns bins of this list, of length binSize.
 * Example:
 *  
 * makeBinsFromArray([1, 2, 3, 4, 5], 3);
 * // [[1, 2, 3], [4, 5]]
 * 
 * makeBinsFromArray([1, 2, 3, 4, 5, 6, 7], 3);
 * // [[1, 2, 3], [4, 5, 6], [7]]
 * 
 * makeBinsFromArray([1, 2, 3, 4, 5, 6, 7], 3, true);
 * // [[1, 2, 3], [4, 5, 6], [7, undefined, undefined]]
*/
function makeBinsFromArray<T>(
  value: T[],
  binSize: number,
  fillLast?: boolean
): (T | (T | undefined))[][] {
  ...
}

const result = makeBinsFromArray([1, 2, 3], 2, true);
// expected type: (T | undefined)[][]

const result = makeBinsFromArray([1, 2, 3], 2);
// expected type: T[][];

使用这个函数，我想知道我是否有类型T[][]或(T | undefined)[][]在编译时，这取决于我的fillLast参数。

Answer 1

是的。

函数重载通常是您想要的，其中您希望调用函数的每种方式都有不同的签名。

function makeBinsFromArray<T>(
  value: T[],
  binSize: number,
  fillLast: true
): (T | undefined)[][]

function makeBinsFromArray<T>(
  value: T[],
  binSize: number,
  fillLast?: false
): T[][]

function makeBinsFromArray<T>(
  value: T[],
  binSize: number,
  fillLast?: boolean
): (T | (T | undefined))[][] {
  /// implementation
}

const resultA = makeBinsFromArray([1, 2, 3], 2, true);
// (T | undefined)[][]

const resultB = makeBinsFromArray([1, 2, 3], 2);
// T[][];

操场

然而，这是行不通的：

function uselessFunction(value: number): string | number {}
const uselessVar1 = uselessFunction(1); // `number`
const uselessVar2 = uselessFunction(10); // `string`.

您可以根据参数的类型更改返回，但这会根据值执行逻辑。并且数字类型无法与 Typescript 中的另一种数字类型进行数学比较，因此这是行不通的。string | number是你在这里能得到的最好的。

好吧，并非不可能，但这条路不适合佯攻。也许也不是一个好主意。