TypeScript 2.8.3无公共属性联合类型报错，原2.3.5代码如何修复？

你的代码在TypeScript 2.3.5能运行但2.8.3报错，核心原因是TS版本升级后收紧了类型检查规则——你混淆了「类的实例类型」和「类的构造函数类型」。

报错原因拆解 #

你定义的TYPES = A | B | C是实例类型的联合，代表的是A/B/C类创建出来的对象；但你调用doStuff(A)时传入的是A这个类本身，它的类型是typeof A（构造函数类型），这两种类型在TS 2.8+中是严格不兼容的，所以会抛出typeof A无法赋值给TYPES的错误。同时switch里直接用case A也不对，因为types参数是实例，不是构造函数，没法直接和类本身做相等判断。

针对两种需求的解决方案 #

需求1：传递类的实例给函数

如果你的逻辑是要操作A/B/C的实例，需要修改调用方式和类型判断逻辑：

class A { variableA: string; } 
class B { variableB: number; } 
class C { variableC: boolean; } 

type TYPES = A | B | C; 

function doStuff(types: TYPES) { 
  // 使用instanceof判断实例类型，TS会自动做类型窄化
  if (types instanceof A) {
    // 这里types被推断为A类型，可安全访问variableA
    console.log("处理A实例", types.variableA);
  } else if (types instanceof B) {
    console.log("处理B实例", types.variableB);
  } else if (types instanceof C) {
    console.log("处理C实例", types.variableC);
  }
} 

// 传入实例而非类本身
doStuff(new A()); 

需求2：传递类的构造函数给函数

如果你的逻辑就是要操作类本身（比如动态创建实例），需要把TYPES修改为构造函数类型的联合：

class A { variableA: string; } 
class B { variableB: number; } 
class C { variableC: boolean; } 

// 定义构造函数类型的联合：typeof A代表A类的构造函数类型
type TYPES = typeof A | typeof B | typeof C; 

function doStuff(types: TYPES) { 
  switch (types) { 
    case A: 
      console.log("处理A类构造函数，可创建实例：", new types());
      break; 
    case B: 
      console.log("处理B类构造函数");
      break; 
    case C: 
      console.log("处理C类构造函数");
      break; 
  } 
} 

// 直接传入类本身
doStuff(A); 

为什么旧版本能运行？ #

TypeScript 2.3.5的类型兼容性检查相对宽松，允许构造函数类型隐式兼容实例类型，但后续版本（尤其是2.8+）增强了类型安全性，明确区分了「实例」和「构造函数」这两种完全不同的类型，所以现在必须明确区分两者的用法。

内容的提问来源于stack exchange，提问作者Murat Karagöz