How can you specify default types for generics in TypeScript?

在TypeScript中，我们可以通过在定义泛型时指定一个默认类型来给泛型设置默认值。这样的做法可以在调用泛型时不指定具体类型的情况下，使用默认指定的类型。这对于增强代码的灵活性和复用性非常有帮助。

定义和使用默认泛型类型的步骤：

1. 定义泛型时指定默认类型： 在定义泛型的时候，可以在泛型参数后面使用 = 操作符来指定默认类型。例如，如果我们想让一个泛型在不特别指定的情况下默认为 number 类型，可以这样定义：

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

2. 使用泛型函数： 当调用这个泛型函数时，你可以选择不传递任何泛型参数，此时 TypeScript 将使用默认的 number 类型：

   typescript
   let output = identity();  // 这里如果不传入参数和类型，默认类型为 number
   console.log(output);      // 输出的类型将被推断为 number

   也可以像往常一样传递泛型参数来覆盖默认类型：

   typescript
   let stringOutput = identity<string>("myString");
   console.log(stringOutput);  // 输出: myString

例子说明：

假设我们有一个函数，它用于返回数组中的第一个元素。这个函数可以用于任何类型的数组，但如果调用时没有指定数组的类型，我们希望默认处理的是 number 类型的数组：

typescript
function getFirstElement<T = number>(arr: T[]): T | undefined {
  return arr[0];
}

let numbers = getFirstElement([1, 2, 3]);  // 默认为 number 类型
let strings = getFirstElement<string>(["apple", "banana", "cherry"]);  // 指定为 string 类型

console.log(numbers);  // 输出: 1
console.log(strings);  // 输出: apple

通过这种方式，我们确保了函数的灵活性和类型安全性，同时使得代码更简洁、易于维护。

总结：

使用泛型默认类型可以让我们的TypeScript代码更加灵活和通用。它减少了代码重复，并允许在多数情况下省略类型参数，让类型推断机制发挥更大的作用。这在开发大型应用和库时尤为有用，可以提高开发效率和代码质量。