为什么打字稿抱怨XXX可以分配给类型'T'的约束，但'T'可以用约束X的不同子类型实例化？

Question

我的代码是这样的：

export interface TreeItem {
  id: string;
  children: this[];
  collapsed?: boolean;
}

const createTreeItem = <T extends TreeItem>(): T => {
  return {
    id: 'root',
    children: []
  }
}

但我收到createTreeItem 的返回类型错误，如下所示：

TS2322: 类型 '{ id: string;孩子：从不[]； }' 不可分配给类型 'T'。 '{ 标识：字符串；孩子：从不[]； }' 可分配给“T”类型的约束，但“T”可以用约束“TreeItem”的不同子类型来实例化。

我完全不知道这是什么意思。

有什么帮助吗？

Answer 1

假设你这样调用你的函数：

let node = createTreeItem<TreeItem>()

一切都好，对吧？返回类型T 是TreeItem，而您的泛型函数被硬编码返回的对象实际上确实具有将其限定为TreeItem 的类型：

{ id: string; children: never[]; }

但是给你的函数一个类型参数的目的是允许它被其他类型的T调用，只要它们扩展TreeItem。所以以下应该是合法的调用：

export interface BidiTreeItem {
  id: string;
  children: this[];
  parent: this;
  collapsed?: boolean;
}

let node = createTreeItem<BidiTreeItem>()

调用是合法的，因为BidiTreeItem 满足约束T extends TreeItem。如您的函数定义中所声明的，此调用的返回类型是BidiTreeItem，但您的函数返回的不是BidiTreeItem。

如果您再次阅读错误消息，但记住上面的示例，现在对您来说就有意义了。但以防万一，下面我将翻译每条错误消息。请注意，第一句是结论，所以它将在此表中排在最后：

this part of the error message...	means this (using above example)...
'{ id: string; children: never[]; }' is assignable to the constraint of type 'T'	'{ id: string; children: never[]; }' is consistent with the constraint T extends TreeItem
but 'T' could be instantiated with a different subtype of constraint 'TreeItem'.	but T could be instantiated with a different subtype of TreeItem, for example BidiTreeItem.
TS2322: Type '{ id: string; children: never[]; }' is not assignable to type 'T'.	The object your function is returning is not guaranteed to be assignable to type T, because T could be some other subtype such as BidiTreeItem .

Answer 2

您可以在返回后添加“as T”：

const createTreeItem = (): T => ({ id: '根', 孩子们： [] } 作为 T);