TypeScript泛型类型检查未按预期工作，如何触发不兼容赋值报错？

这事儿本质是TypeScript和C#的类型系统逻辑核心差异导致的——TS用的是结构类型系统，而C#是标称类型系统，这直接造成了这种看似矛盾的编译结果。

核心原因：结构类型 vs 标称类型 #

• C#的标称类型系统：判断两个类型是否兼容，看的是它们的"身份"——也就是类型的名称、声明来源。哪怕两个类的属性、方法完全一模一样，只要类名不同，编译器就会认定它们是完全独立的类型，拒绝互相赋值。
• TypeScript的结构类型系统：判断兼容性只看类型的结构——也就是属性、方法的类型集合是否匹配。哪怕两个类/接口的名字完全不同，只要内部的属性、方法的类型都对应一致，TS就会认为它们可以互相赋值。

举个你测试用例的典型场景：

class Order {
  id: number;
  amount: number;
}

class Invoice {
  id: number;
  amount: number;
}

const order: Order = new Invoice(); // TS编译完全通过，因为结构完全匹配

在C#里这段代码肯定会报错，但TS只关心两个类型的结构是否一致，所以放行。

如何让TS触发这类赋值的编译错误？ #

我们需要把结构相同的类型变成标称类型，让TS能区分开逻辑上不同的类型。这里有两种常用方案：

方案1：给类添加私有成员 #

TS对私有成员的兼容性判断是标称的——只有同一个类声明的私有成员才会被认为兼容。我们可以给每个类加一个无实际用途的私有属性，让它们的结构在编译器眼中变得不同：

class Order {
  private _typeTag: void; // 私有标记属性，仅用于类型区分
  id: number;
  amount: number;
}

class Invoice {
  private _typeTag: void; // 另一个类的私有属性，和Order的不兼容
  id: number;
  amount: number;
}

const order: Order = new Invoice(); // 现在会报错！编译器提示类型不兼容

方案2：使用标称类型模式（更灵活） #

如果不想修改类的结构，或者要处理接口、类型别名的场景，可以用TS的类型别名结合唯一符号来创建标称类型，这种方式不会给运行时带来额外开销：

// 定义一个唯一符号，作为标称类型的标记
declare const __nominalBrand: unique symbol;

// 通用标称类型工具：T是基础结构，Brand是唯一的类型标识字符串
type Nominal<T, Brand extends string> = T & { [__nominalBrand]: Brand };

// 创建结构相同但标识不同的标称类型
type Order = Nominal<{ id: number; amount: number }, "Order">;
type Invoice = Nominal<{ id: number; amount: number }, "Invoice">;

// 用工厂函数创建实例（避免直接写类型断言）
const createOrder = (id: number, amount: number): Order => 
  ({ id, amount } as Order);

const createInvoice = (id: number, amount: number): Invoice => 
  ({ id, amount } as Invoice);

const order = createOrder(1001, 299);
const invoice = createInvoice(2001, 299);

const wrongAssign: Order = invoice; // 编译错误！类型不兼容

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