javascript - 什么是 TypeScript 中的 F 界多态性

Question

我注意到 TypeScript 1.8 版本支持 F-Bounded Polymorphism .用外行的话来说，它是什么以及它有什么帮助？我假设由于此功能很早就包含在内，所以它一定非常重要。

Answer 1

这基本上意味着您拥有函数引用的泛型列表，并且在该泛型列表中，一种类型可以引用另一种类型，以定义两种泛型类型之间的关系。

function someFunction <T, U> (t: T, u: U): T {
  return t;
}

const dog = someFunction(new Dog(), new Cat());

万岁!

现在，有了有界泛型，它们可以相互引用来定义它们之间关系的界限:

function someFunction <T extends U, U> (t: T, u: U): T {
  return t;
}

const dog = someFunction(new Dog(), new Pet());
const cow = someFunction(new Cow(), new Animal());
const BOOM = someFunction(new Cat(), new Dog()); // *BEWM!*