为何TypeScript对类方法中不同泛型的类实例入参不报错？

我定义了一个带有泛型参数T的类，希望类中的方法仅接受同泛型类型的类实例以保证类型安全，但TypeScript并未触发预期的类型错误：

class C<T extends "a" | "b"> {
  foo(b: C<T>): C<T> {
    return b;
  }
}

const a = {} as C<"a">;
const b = {} as C<"b">;
a.foo(b); // 预期此处报错，但TypeScript未检测到

而当方法参数直接使用泛型T类型时，TypeScript能正常识别类型不兼容并报错：

class D<T extends "a" | "b"> {
  foo(b: T): T {
    return b;
  }
}

const a = {} as D<"a">;
a.foo("b"); // 此处正确触发类型错误

这是TypeScript对泛型类的协变处理逻辑导致的：当泛型类的结构中没有实际依赖泛型参数T的成员时，TypeScript会认为不同泛型实例的类是结构兼容的。

在C类中，泛型T仅出现在方法的类型签名里，类本身没有任何与T绑定的属性或实现逻辑，TypeScript会判定C<"a">和C<"b">的结构完全一致，因此允许互相赋值。而D类的方法直接使用T作为参数类型，T是明确的字符串字面量类型，结构差异清晰，所以能被正确识别。

要让TypeScript区分不同泛型参数的C类实例，需要在类中添加与泛型T绑定的成员，让类的结构和T关联起来，常见的两种方式：

1. 添加依赖T的实例属性 #

class C<T extends "a" | "b"> {
  // 添加T类型的属性，将类结构与泛型绑定
  public readonly type: T;
  constructor(type: T) {
    this.type = type;
  }

  foo(b: C<T>): C<T> {
    return b;
  }
}

const a = new C("a");
const b = new C("b");
a.foo(b); // 此处正确触发类型错误

2. 使用私有属性做类型标记（无运行时开销） #

如果不想添加实际的运行时属性，可以用私有属性让TypeScript识别不同泛型实例的类型差异：

class C<T extends "a" | "b"> {
  // 私有属性仅用于类型区分，无需赋值
  private readonly _tag: T;

  foo(b: C<T>): C<T> {
    return b;
  }
}

const a = {} as C<"a">;
const b = {} as C<"b">;
a.foo(b); // 现在会正确触发类型错误

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