Могу ли я изменить тип возвращаемого значения на основе параметра
Я не уверен, как сформулировать свой вопрос, так что потерпите меня, если название вопроса покажется вам неверным.
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`.
}
Я хотел бы знать, может ли машинописный текст узнать, является ли uselessVar1 либо string, либо 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.
@kellys спасибо за вклад, мне это нравится, и это изменилось :)
Ответы 2
function foo<Param extends boolean>(param?: Param): Param extends false | undefined ? T[][] : (T | undefined)[][]
Можно использовать дженерик для «хранения» того, что представляет собой параметр. Затем в аннотации типа возвращаемого значения мы используем условное выражение, чтобы получить правильный тип возвращаемого значения.
Для краткости я не упомянул тело и другие параметры.
Да.
Перегрузки функций обычно то, что вам нужно здесь, где у вас есть разные подписи для каждого способа, которым вы хотите, чтобы функция вызывалась.
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 это лучшее, что вы получите здесь.
Ну, не возможно, но этот путь не для финта сердца. И, наверное, хорошая идея.
Я бы упростил ваш вопрос до простого «Могу ли я изменить тип возвращаемого значения на основе параметра?»