如何从具有变量的联合类型中选择类型

function isString(value: any): value is string {
    return typeof value === 'string';
}

function example(value: string | number) {
    if (isString(value)) {
        // 在这个块中，value 被推断为 string 类型
        console.log(value.toUpperCase());
    } else {
        // 在这个块中，value 被推断为 number 类型
        console.log(value.toFixed(2));
    }
}

function example(value: string | number) {
    if ((value as string).toUpperCase) {
        // 在这个块中，value 被断言为 string 类型
        console.log((value as string).toUpperCase());
    } else {
        // 在这个块中，value 被断言为 number 类型
        console.log((value as number).toFixed(2));
    }
}

function example(value: string | number) {
    if (typeof value === 'string') {
        // 在这个块中，value 被推断为 string 类型
        console.log(value.toUpperCase());
    } else {
        // 在这个块中，value 被推断为 number 类型
        console.log(value.toFixed(2));
    }
}

type ExtractType<T> = T extends string ? string : number;

function example<T>(value: T): ExtractType<T> {
    if (typeof value === 'string') {
        return value.toUpperCase() as ExtractType<T>;
    } else {
        return value.toFixed(2) as ExtractType<T>;
    }
}