typescript中的泛型以及约束

在TypeScript中，泛型是一种创建可复用代码组件的工具，它允许你在类或者函数定义时，通过一个类型参数来指定一个泛型类型。泛型约束用于限制泛型类型参数的条件，以保证类型的兼容性。

以下是一个简单的泛型函数示例，该函数接收两个参数，并返回它们的和。泛型类型T通过泛型约束Extractable确保了传入的类型可以加减：

interface Extractable {
    plus(rhs: this): this;
    minus(rhs: this): this;
}
 
function add<T extends Extractable>(lhs: T, rhs: T): T {
    return lhs.plus(rhs);
}
 
function subtract<T extends Extractable>(lhs: T, rhs: T): T {
    return lhs.minus(rhs);
}
 
// 使用示例
class Complex {
    real: number;
    imaginary: number;
 
    constructor(real: number, imaginary: number) {
        this.real = real;
        this.imaginary = imaginary;
    }
 
    plus(rhs: Complex): Complex {
        return new Complex(this.real + rhs.real, this.imaginary + rhs.imaginary);
    }
 
    minus(rhs: Complex): Complex {
        return new Complex(this.real - rhs.real, this.imaginary - rhs.imaginary);
    }
}
 
const a = new Complex(3, 5);
const b = new Complex(7, 11);
const result = add(a, b); // 正确，Complex类型兼容Extractable接口

在这个例子中，Extractable接口定义了plus和minus方法，这两个方法的参数和返回类型都是this类型，表示调用这些方法的对象类型。泛型函数add和subtract利用了这个约束来确保传入的类型必须是可以进行加减运算的类型。这样的约束可以提高代码的类型安全性，避免在运行时出现类型错误。