为什么打字稿抱怨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:Type{id:string；children:never[]；}'不可分配给类型“T”。

我完全不知道这意味着什么。

有什么帮助吗？

Answer 1

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

const createTreeItem=（）：T=

Answer 2

假设您按如下方式调用函数：

html" target="_blank">js prettyprint-override">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扩展TreeItem。正如在函数定义中声明的那样，此调用的返回类型是BidiTreeItem，但函数返回的不是BidiTreeItem。

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