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

Question

有看到过定义比较复杂的泛型类型：

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

请问下，为何需要定义这么多或的Type呢？

为何不直接定义：

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

为何需要把这些风马牛不相及的类型(T, Promise, Record)组在一起？

Answer 1

为了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
}

Answer 2

在TypeScript中定义复杂的泛型类型（如你给出的ComplexGenericTypeAlias<T>）主要出于以下几个原因：

1. 类型安全性和灵活性：通过将多种可能的数据类型组合成一个单一的泛型类型别名，可以在保持类型安全的同时，增加函数或接口使用的灵活性。这样的类型定义允许开发者传入或接收多种不同的类型，而无需为每种可能的类型都定义一个单独的接口或类型别名。
2. 减少代码冗余：如果没有这样的复杂泛型类型，开发者可能会发现自己需要为每种可能的类型组合创建单独的类型定义（如你所提出的AAA<T>, BBB<T>, CCC<T>等）。这会导致代码冗余，并且当需要扩展支持的类型时，需要添加更多的类型定义。使用复杂泛型类型可以显著减少这种冗余。
3. 提高代码的可读性和可维护性：通过使用一个复杂的泛型类型别名，可以在函数或接口的签名中清晰地表示该函数或接口可以处理的数据类型范围。这有助于其他开发者（或未来的你）更快地理解代码的功能和限制。
4. 支持复杂的业务逻辑：在某些业务场景中，可能需要处理多种类型的数据，并且这些数据类型之间可能存在复杂的转换和依赖关系。通过定义一个包含这些类型的复杂泛型类型别名，可以更容易地在代码中处理这些复杂情况。
5. 类型推断的便捷性：TypeScript的类型推断功能非常强大，但在某些情况下，如果函数或接口的参数类型不够明确，可能会导致类型推断失败或结果不准确。通过使用复杂的泛型类型别名，可以为TypeScript的类型推断器提供更多的上下文信息，从而提高类型推断的准确性和便捷性。

综上所述，定义复杂的泛型类型是为了在保持类型安全的同时，提高代码的灵活性、可读性、可维护性和类型推断的便捷性。这种做法在处理复杂的数据结构和业务逻辑时尤其有用。