联合类型作为泛型类型参数失败

联合类型作为泛型类型参数失败通常发生在TypeScript等静态类型语言中，这是因为联合类型（Union Types）表示一个值可以是几种类型之一，而泛型类型参数则期望一个具体的类型。当尝试将联合类型用作泛型类型参数时，编译器无法确定应该使用联合类型中的哪一种具体类型，因此会导致类型错误。

基础概念

联合类型：允许变量拥有多种类型。

let value: string | number;

泛型：提供了一种使组件能够支持多种类型的方式，而不是单一类型。

function identity<T>(arg: T): T {
    return arg;
}

类型与应用场景

类型推断：编译器可以根据传入的参数自动推断出泛型的具体类型。
约束泛型：可以使用extends关键字来约束泛型的类型范围。

遇到的问题及原因

当尝试将联合类型作为泛型参数传递给函数或类时，可能会遇到以下错误：

function process<T>(item: T): void {
    // ...
}

process<string | number>('test'); // 错误：类型 'string | number' 的参数不能赋给类型 'T' 的参数。

原因是编译器无法确定T应该是string还是number，因此不允许这样的用法。

解决方法

类型断言：明确指定泛型的具体类型。

process<string>('test'); // 正确
process<number>(123); // 正确

使用函数重载：为不同的类型提供不同的函数实现。

function process(item: string): void;
function process(item: number): void;
function process(item: string | number): void {
    if (typeof item === 'string') {
        // 处理字符串
    } else {
        // 处理数字
    }
}

使用条件类型：在泛型内部使用条件类型来区分不同的类型。

function process<T extends string | number>(item: T): void {
    type TypeName = T extends string ? 'string' : 'number';
    // 根据TypeName进行不同的处理
}

示例代码

以下是一个使用条件类型的示例：

function process<T extends string | number>(item: T): void {
    type TypeName = T extends string ? 'string' : 'number';
    if (TypeName === 'string') {
        console.log(`Processing string: ${item}`);
    } else {
        console.log(`Processing number: ${item}`);
    }
}

process('Hello'); // 输出: Processing string: Hello
process(123);      // 输出: Processing number: 123

通过上述方法，可以有效地解决联合类型作为泛型类型参数失败的问题，同时保持代码的灵活性和类型安全性。