typescript中的默认泛型类型派生

在 TypeScript 中，默认泛型类型派生是指在定义泛型类或函数时，如果没有显式指定泛型类型参数，编译器会根据传入的参数类型推断出默认的泛型类型。

在 TypeScript 中，泛型是一种参数化类型的方式，可以在类、接口、函数等地方使用。泛型类型参数允许我们在使用类、接口、函数时指定类型，从而增加代码的灵活性和复用性。

当我们定义一个泛型类或函数时，可以为泛型类型参数提供默认类型。如果在使用时没有显式指定泛型类型参数，编译器会自动使用默认类型。

下面是一个示例：

class MyGenericClass<T = string> {
  private value: T;

  constructor(value: T) {
    this.value = value;
  }

  getValue(): T {
    return this.value;
  }
}

const myStringInstance = new MyGenericClass("Hello");
console.log(myStringInstance.getValue()); // 输出: Hello

const myNumberInstance = new MyGenericClass(42);
console.log(myNumberInstance.getValue()); // 输出: 42

在上面的示例中，MyGenericClass 是一个泛型类，它有一个泛型类型参数 T，默认类型为 string。在创建 myStringInstance 实例时，由于传入的参数类型为 string，编译器会自动推断出 T 的类型为 string，因此 getValue 方法返回的类型也是 string。同理，创建 myNumberInstance 实例时，由于传入的参数类型为 number，编译器会自动推断出 T 的类型为 number，因此 getValue 方法返回的类型也是 number。