为何TypeScript中两个泛型拷贝函数一报错一通过？

定义泛型函数copyItem，约束泛型参数T必须包含children: T[]属性：

function copyItem<T extends { children: T[] }>(data: T): T {
    return data
}

在另一个泛型函数testCopyItem（其中泛型T继承自MyItem）中调用copyItem时，TypeScript抛出类型错误：

Argument of type 'T' is not assignable to parameter of type '{ children: T[]; }'.
  Type 'MyItem' is not assignable to type '{ children: T[]; }'.
    Types of property 'children' are incompatible.
      Type 'MyItem[]' is not assignable to type 'T[]'.
        Type 'MyItem' is not assignable to type 'T'.
          'MyItem' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'MyItem'.ts(2345)

新增泛型参数V改写为copyItemV2后，调用不再报错：

function copyItemV2<V extends T, T extends { children: T[] }>(data: V): V {
    return data
}

1. copyItem的类型检查逻辑 #

copyItem的泛型约束要求传入的类型T必须严格满足children属性是T[]。当在testCopyItem中调用时，testCopyItem的泛型T是MyItem的子类型，而MyItem的children是MyItem[]，并非T[]。

比如存在SubItem extends MyItem，且SubItem的children是SubItem[]，此时testCopyItem<SubItem>的参数data是SubItem类型，但MyItem的children是MyItem[]，无法赋值给SubItem[]（因为MyItem不具备SubItem的额外属性）。TypeScript会基于泛型的所有可能实例化情况进行检查，因此判定T不满足copyItem的约束，抛出错误。

2. copyItemV2的类型检查逻辑 #

copyItemV2通过两层泛型约束改变了检查逻辑：

• 外层约束T extends { children: T[] }确保T本身满足自引用的children结构；
• 内层约束V extends T允许V是T的子类型，但不需要V自身满足children: V[]，只需要继承T的结构即可。

当调用copyItemV2时，TypeScript会推断：

• T为MyItem（因为MyItem满足children: MyItem[]）；
• V为testCopyItem的泛型T（即MyItem的子类型），而V extends T的约束天然成立。

此时，copyItemV2只需要验证V继承自符合约束的T，不需要V严格满足自引用的children结构，因此类型检查通过。

• copyItem要求传入类型自身严格满足自引用的children约束，对子类型兼容性要求更高；
• copyItemV2通过分层泛型，将约束转移到父类型T，子类型V仅需继承父类型即可通过检查，放宽了子类型的兼容性要求。

内容的提问来源于stack exchange，提问作者xhd2015