打字稿：理解`<X extends Y>` [重复]

Question

对于这样一个笼统的问题标题，我深表歉意，但我真的不知道如何简短地描述我的问题。

情况如下：

type Data = {
  id: number
  name: string
}

function func(): Partial<Data> {
  return { name: '' } // ok
}

function wrap<T extends Data>() {
  function func(): Partial<T> {
    return { name: '' } // Type '{ name: ""; }' is not assignable to type 'Partial<T>'
  }
}

第二种情况的错误对我来说完全是个谜。

据我所知，the extends in the function constains T to be a subtype of the specified type。而且，据我所知——无论我的Data 类型的子类型是什么，它必须 有id: number 和name: string，对吗？ 如果是，那么 { name: '' } 和 Partial<T> 有什么问题？

Answer 1

这是因为泛型类型定义中的X extends Y 假定X 应该包含Y 中的所有属性，但X 可能还有其他属性。要点是为通用实体（类、函数...）提供所有输入的充分结构。如果您尝试这样调用您的函数：

wrap<Data & {x: number}>();

不会有错误。因为Data 结构就足够了。同时，您不能返回T 或Partial<T>，因为将使用您的函数的消费者可能会像上面那样调用它，在这种情况下，这是不正确的，因为T 将等于Data & {x: number}，即返回类型也将相同，但函数的返回类型将是不同的类型。