为什么我们应该使用“extends”关键字而不是类型本身？

Question

我读过这篇文章https://www.typescriptlang.org/docs/handbook/generics.html#generic-constraints

我想知道为什么我们必须extends在这里使用关键字？

interface Lengthwise {
  length: number;
}

function loggingIdentity<T extends Lengthwise>(arg: T): T {
  console.log(arg.length); // Now we know it has a .length property, so no more error
  return arg;
}

为什么不这样做呢？当我使用关键字时有什么区别extends？

interface Lengthwise {
  length: number;
}

function loggingIdentity(arg: Lengthwise): Lengthwise {
  console.log(arg.length); // Now we know it has a .length property, so no more error
  return arg;
}

Answer 1

这并不像你总是必须这样做。大多数时候，它恰好是你想要的。

\n

当你这样做时：

\n

function loggingIdentity<T extends Lengthwise>(arg: T): T {\n

\n

then将返回与其接受的loggingIdentity完全相同的子类型。T这是比说更强有力的承诺：

\n

function loggingIdentity(arg: Lengthwise): Lengthwise {\n

\n

它只承诺返回 a Lengthwise，它不必与接受的参数匹配。

\n

让我来说明一下这一点。

\n

interface Lengthwise {\n  length: number;\n}\n\ndeclare function generic<T extends Lengthwise>(arg: T): T;\ndeclare function concrete(arg: Lengthwise): Lengthwise;\n\nconst myArgument = { length: 1, foo: 'bar '};\n\nconst first = generic(myArgument).foo; // string\nconst second = concrete(myArgument).foo; // Compile-time error \xe2\x80\x94 the knowledge of `foo` was lost\n

\n

如您所见，second没有任何属性调用foo它。concrete只承诺返回 a ，而不是提供给它的Lengthwise确切子类型。Lengthwise

\n