TypeScript为何需要定义比较复杂的泛型类型？

为了complexGenericTypeAlias这个函数的返回值,不然按你直接这么定义,返回值不方便写

type AAA<T> = T
type BBB<T> = T[]
type CCC<T> = Promise<T>

/** A complex generic type. */
export type ComplexGenericTypeAlias<T> =
    | T
    | T[]
    | Promise<T>
    | Promise<T[]>
    | Record<string, Promise<T>>;

function complexGenericTypeAlias<T>(value: T): ComplexGenericTypeAlias<T>  {
    if (value === 'array') {
        return [value]
    }
    if (value === 'promise') {
        return Promise.resolve(value)
    }
    if (value === 'promiseArray') {
        return Promise.resolve([value])
    }
    if (value === 'promiseRecord') {
        return { key: Promise.resolve(value) }
    }
    return value
}