TypeScript泛型未按预期约束问题求助

问题复现 #

以下代码中，ContainerClass<ContextOne>的addNode方法理论上只能接受BaseNode<ContextOne>类型的节点，但实际却可以传入BaseNode<ContextTwo>的实例，不符合预期：

class BaseNode<C> {
  id = ''
}
class ContainerClass<T> {
  nodes: Record<string, BaseNode<T>> = {};

  addNode (node: BaseNode<T>) {
    this.nodes[node.id] = node;
  }
}
class ContextOne {
  getLabel() { return 'one' }
}
class ContextTwo {
  getVal() { return 2 }
}

class GenderNode extends BaseNode<ContextOne> {}
class HeightNode extends BaseNode<ContextTwo> {}

const container = new ContainerClass<ContextOne>()
const genderNode = new GenderNode()
const heightNode = new HeightNode()
container.addNode(genderNode)
container.addNode(heightNode) // 此处本应报错，但实际通过编译

问题原因 #

TypeScript采用结构类型系统，只要两个类型的结构完全一致，就会被判定为兼容。原BaseNode<C>类的泛型参数C没有在类的任何成员中被使用，导致BaseNode<ContextOne>和BaseNode<ContextTwo>的结构完全相同（仅包含id: string属性），因此TypeScript认为这两个类型可以互相赋值。

解决方案 #

要让TypeScript区分不同泛型参数的BaseNode实例，需要让类的结构依赖泛型参数C，常见的两种方式：

方式1：添加依赖泛型参数的成员

给BaseNode添加一个类型为C的属性（可以是私有属性，避免影响外部使用）：

class BaseNode<C> {
  id = '';
  // 私有属性锚定泛型类型，让TypeScript区分不同Context的BaseNode
  private readonly _context?: C;
}

此时BaseNode<ContextOne>和BaseNode<ContextTwo>的结构因私有属性类型不同而被视为不兼容，container.addNode(heightNode)会触发预期的类型错误。

方式2：使用泛型约束强制严格匹配

修改ContainerClass的addNode方法，通过泛型约束确保传入节点的泛型参数与容器的泛型参数完全一致：

class ContainerClass<T> {
  nodes: Record<string, BaseNode<T>> = {};

  addNode(node: BaseNode<T & {}>): void {
    this.nodes[node.id] = node;
  }
}

这种方式通过T & {}的技巧让TypeScript更严格地检查泛型参数的匹配度，但不如方式1直观可靠。

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