TypeScript不同类型参数的类实例可兼容是否为预期行为？如何修正？

这是TypeScript结构类型系统的固有行为，而非Bug。TypeScript通过结构兼容性判断类型是否可赋值：当泛型类的类型参数C没有出现在类的公共API（属性、方法签名等）中时，Plan<number>和Plan<string>的结构完全一致——都只包含一个subplans属性，且该属性的元素是同结构的泛型类实例。此时TypeScript会认为这两个类型是兼容的，因此不会触发编译错误。

解决方案（除幽灵参数外） #

1. 添加私有/受保护的类型标记属性 #

私有属性会改变TypeScript的结构类型检查逻辑：只有来自同一类声明的私有成员才会被认为兼容。添加一个私有属性标记泛型参数C，无需赋值，也不会产生运行时开销：

class Plan<C> {
  private readonly _type?: C; // 仅用于类型区分
  constructor(readonly subplans: Plan<C>[]) {}
}

此时Plan<number>和Plan<string>会被视为完全不同的类型，编译时会检测到seq<string>传入Plan<number>的类型错误。

2. 让泛型参数C体现在公共API中 #

调整Plan类的设计，让C实际出现在公共属性或方法里。比如修改cmd函数，让Plan持有命令实例：

class Plan<C> {
  constructor(readonly subplans: Plan<C>[], readonly command?: C) {}
}

function cmd<C>(cmd: C): Plan<C> {
  return new Plan<C>([], cmd);
}

此时Plan<number>的command属性为number类型，Plan<string>为string类型，结构不兼容，编译时会直接报错。

3. 使用品牌类型标记 #

通过添加唯一的品牌属性，给不同泛型参数的Plan类型打上专属标识，让TypeScript能识别类型差异：

class Plan<C> {
  readonly __brand?: C; // 品牌属性，仅用于类型区分
  constructor(readonly subplans: Plan<C>[]) {}
}

这个属性不需要赋值，仅用于让TypeScript区分不同C对应的Plan类型。

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