TypeScript：差异通用约束与参数类型

Question

我不明白通用约束和普通参数类型之间的区别。 在第一种情况下，我明白我不能调用 si.g()，因为我严格地将 si 键入为 SomeInterface 类型。但是，在第二个示例中 S 扩展 SomeInterface 并且根据我的解释，扩展意味着它需要具有 f() 但可以包含更多属性。但错误是一样的。为什么？

interface SomeInterface {
    f();
}

function test1(si: SomeInterface) {
    si.f()
    // si.g() -> Property 'g' does not exist on type 'SomeInterface'
}

function test2<S extends SomeInterface>(si: S) {
    si.f()
    // si.g() -> Property 'g' does not exist on type 'SomeInterface'
}

Answer 1

Typescript 需要检查您传递的类型是否包含函数 g。所以你需要做这样的事情：

interface ExtendedInterface extends SomeInterface {
 g();
}

...

function test2<E extends ExtendedInterface>(ei: E) {
    si.f()
    si.g()
}

当然，你也可以这样做：

function test3(ei: ExtendedInterface) {
    ei.g();
    ei.f();
}

这将在功能上与带有泛型的版本相同。

那么有什么区别呢？这里什么都没有，但是泛型以更复杂的代码为代价为您提供了更多功能。例如，泛型允许您声明一个受另一个类型参数约束的类型参数。

Answer 2

...扩展意味着它需要具有 f() 但可以包含更多属性。但错误是一样的。为什么？

因为它可能或可能没有更多属性，如果有，它们可能有任何名称或任何类型。 TypeScript 不知道那些属性是什么，所以在test2 内部，TypeScript 只知道si 是SomeInterface。

您一开始说您不了解类型参数（<S extends SomeInterface> 和 si: S）与仅将类型放在参数上（si: SomeInterface）之间的区别。 在您的具体示例中没有真正的区别；无论哪种方式，TypeScript 都将si 处理为SomeInterface 类型。然而，在一般的情况下，类型参数可以让你做一些你不能通过直接输入参数来做的事情。这是一个例子：

function pluck<Type extends object, Key extends keyof Type>(array: Type[], key: Key) {
    return array.map(element => element[key]);
}

const objects = [{a: 2, b: "s"}, {a: 3, b: "x"}];
const x = pluck(objects, "a"); // `x` is `number[]`
const y = pluck(objects, "b"); // `y` is `string[]`

Playground link

我可能弄错了，但我认为没有类型参数（或类型断言）你不能这样做。