如何让 TypeScript 根据返回值识别函数参数的类型？

Question

function isType(
    value: any,
    type: 'undefined'|'object'|'boolean'|'number'|'bigint'|'string'|'symbol'|'function'
): boolean {
    return typeof value === type;
}

function getDefaultIfUndefined<T>(value: T|undefined, defaultValue: T): T
{
    return isType(value, 'undefined') ? defaultValue : value;
}

TypeScript 抱怨 getDefaultIfUndefined() 的返回类型是 T|undefined 而不仅仅是 T。但它始终是 T，因为如果“value”未定义，则三元确保将返回“defaultValue”。

像这样写时，TypeScript 没有问题：

function getDefaultIfUndefined<T>(value: T|undefined, defaultValue: T): T
{
    return typeof value === 'undefined' ? defaultValue : value;
}

Answer 1

我有！ 这并不容易，看看：

interface TypeMap {
    undefined: undefined;
    object: object;
    boolean: boolean;
    number: number;
    bigint: bigint;
    string: string;
    symbol: symbol;
    function: (...args: any[]) => any;
}
function isType<T extends keyof TypeMap>(
    value: any,
    type: T 
): value is TypeMap[T] {
    return typeof value === type;
}