TypeScript 泛型常见问题及解决方案 | 提升代码类型安全

在使用 TypeScript 泛型时，可能会遇到一些常见问题，以下是一些常见问题及其解决方案：

1. 泛型类型推断失败

• 问题描述: TypeScript 有时无法正确推断泛型类型，导致类型错误。
• 解决方案: 显式指定泛型类型参数。

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

// 显式指定泛型类型
let output = identity<string>("myString");

2. 泛型约束不足

• 问题描述: 泛型类型没有足够的约束，导致在函数内部无法访问某些属性或方法。
• 解决方案: 使用 extends 关键字对泛型类型进行约束。

interface Lengthwise {
    length: number;
}

function loggingIdentity<T extends Lengthwise>(arg: T): T {
    console.log(arg.length);  // 现在可以访问 length 属性
    return arg;
}

3. 泛型与联合类型混淆

• 问题描述: 泛型与联合类型的使用场景混淆，导致类型不明确。
• 解决方案: 明确区分泛型和联合类型的使用场景。

// 泛型
function genericFunction<T>(arg: T): T {
    return arg;
}

// 联合类型
function unionFunction(arg: string | number): string | number {
    return arg;
}

4. 泛型与函数重载

• 问题描述: 泛型与函数重载结合使用时，可能导致类型推断复杂。
• 解决方案: 使用函数重载时，确保每个重载签名都明确指定泛型类型。

function overloadFunction<T>(arg: T): T;
function overloadFunction(arg: string): string;
function overloadFunction(arg: any): any {
    return arg;
}

5. 泛型与类

• 问题描述: 在类中使用泛型时，可能会遇到类型推断问题。
• 解决方案: 在类定义时指定泛型类型，并在实例化时明确类型。

class GenericNumber<T> {
    zeroValue: T;
    add: (x: T, y: T) => T;
}

let myGenericNumber = new GenericNumber<number>();
myGenericNumber.zeroValue = 0;
myGenericNumber.add = function(x, y) { return x + y; };

6. 泛型与接口

• 问题描述: 在接口中使用泛型时，可能会遇到类型约束不足的问题。
• 解决方案: 在接口定义时使用泛型约束。

interface GenericIdentityFn<T> {
    (arg: T): T;
}

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

let myIdentity: GenericIdentityFn<number> = identity;

7. 泛型与默认类型

• 问题描述: 泛型类型没有默认值，导致使用时需要显式指定类型。
• 解决方案: 为泛型类型提供默认值。

function createArray<T = string>(length: number, value: T): Array<T> {
    let result: T[] = [];
    for (let i = 0; i < length; i++) {
        result[i] = value;
    }
    return result;
}

8. 泛型与类型别名

• 问题描述: 在类型别名中使用泛型时，可能会遇到类型推断问题。
• 解决方案: 在类型别名中明确指定泛型类型。

type GenericArray<T> = Array<T>;

let myArray: GenericArray<number> = [1, 2, 3];

通过以上方法，可以有效解决 TypeScript 泛型使用中的常见问题，确保代码的类型安全和可维护性。