TypeScript：T和”T extends unknown”之间的区别

在本文中，我们将介绍TypeScript中T和”T extends unknown”之间的区别。我们将解释它们的含义，以及它们在代码中的具体应用和示例。

T

在TypeScript中，T是一种通用类型表示法，通过泛型进行类型参数化。它允许我们在编写可重用和类型安全的代码时，灵活地操作数据类型。

考虑以下的示例代码：

function printValue<T>(value: T): void {
  console.log(value);
}

printValue<number>(42);
printValue<string>("Hello");

在这里，泛型T允许我们在printValue函数中接收不同的数据类型，并在控制台上打印出来。我们可以指定T的具体类型，如<number>或<string>，也可以让TypeScript进行类型推断。

“T extends unknown”

与T不同，”T extends unknown”是一种类型约束的表示法。它表明泛型T必须是一个可以扩展自unknown的类型。

考虑以下的示例代码：

function processValue<T extends unknown>(value: T): void {
  if (typeof value === "string") {
    console.log(value.toUpperCase());
  } else if (typeof value === "number") {
    console.log(value.toFixed(2));
  } else {
    console.log("Unsupported type");
  }
}

processValue<number>(42);
processValue<string>("hello");
processValue<boolean>(true);

在这个例子中，”T extends unknown”允许我们对不同的数据类型执行不同的处理逻辑。我们可以使用类型守卫来检查value的具体类型，并根据其类型执行不同的操作。

示例说明

T的示例

以下是一个使用T的示例代码，用于演示如何创建一个通用的Box类来存储不同类型的值：

class Box<T> {
  private value: T;

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

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

const numberBox = new Box<number>(42);
console.log(numberBox.getValue()); // 42

const stringBox = new Box<string>("hello");
console.log(stringBox.getValue()); // "hello"

在这个例子中，我们使用T作为Box类的类型参数，以允许存储不同类型的值。通过使用不同的类型参数，我们可以创建不同类型的Box实例，并使用相应的getValue方法获取值。

“T extends unknown”的示例

以下是一个使用”T extends unknown”的示例代码，用于演示如何使用类型约束来创建一个泛型函数，根据条件过滤数组中的元素：

function filterArray<T extends unknown>(array: T[], condition: (value: T) => boolean): T[] {
  return array.filter((item) => condition(item));
}

const numbers = [1, 2, 3, 4, 5];
const evenNumbers = filterArray(numbers, (value) => value % 2 === 0);
console.log(evenNumbers); // [2, 4]

const fruits = ["apple", "banana", "cherry"];
const longFruits = filterArray(fruits, (value) => value.length > 5);
console.log(longFruits); // ["banana", "cherry"]

在这个例子中，我们使用”T extends unknown”作为泛型约束，以确保传递给filterArray函数的数组和条件函数具有相同类型。这允许我们按条件过滤不同类型的数组，并返回相应类型的结果。