为何TypeScript泛型类Bar的默认参数会触发编译错误？

咱们先拆解问题核心，一步步说清楚原因和解决办法。

首先看代码里的关键矛盾点：你的Stack类是**固定实现了Composite<StackSegment>**的，但你给Bar的第二个泛型参数composite指定的约束是Composite<component>——这里的component是第一个可被外部替换的泛型参数，哪怕它的默认值是StackSegment，TypeScript编译器也不会默认用户永远只会用这个默认值，所以它会认为你的默认值Stack不满足composite的约束。

具体原因 #

当你定义Bar的泛型参数时：

class Bar<component extends Component = StackSegment, composite extends Composite<component> = Stack> { }

• composite的约束是必须实现Composite<component>，这里的component是可变的泛型参数（用户可以传入任何Component的子类）。
• 但Stack只能适配Composite<StackSegment>，如果有人使用Bar时传入了其他Component类型，比如：

  class OtherSegment implements Component {}
  const bar = new Bar<OtherSegment>(); // 这里会直接触发矛盾
  

  此时composite的默认值Stack就不符合Composite<OtherSegment>的约束了。编译器会提前预判到这种冲突，所以在定义Bar的时候就直接报错了。

解决办法 #

最直接的方案是让Stack变成泛型类，这样它可以适配任意Component类型，从而满足composite的约束：

interface Component {}
interface Composite<T extends Component> { getChildren(): T[]; }
class StackSegment implements Component {}

// 把Stack改成泛型类，适配任意Component子类
class Stack<T extends Component> implements Composite<T> { 
  getChildren(): T[] { return new Array<T>(); } 
}

// 现在composite的默认值可以写成Stack<component>，完美匹配约束
class Bar<component extends Component = StackSegment, composite extends Composite<component> = Stack<component>> { }

如果你的Stack确实只能和StackSegment绑定，那你可能需要调整Bar的泛型设计，比如合并两个泛型参数或限制component的范围，但这种场景下泛型的灵活性会降低，所以更推荐上面的泛型Stack方案。

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