为何TypeScript未抛出违反SOLID原则的错误？与Java差异解析

在Java中进行如下多态场景操作时，会抛出预期的编译错误；但TypeScript却不会报错，这是为什么？

尽管未继承类或实现接口，以循环调用方法的方式传入对象数组时，Java通常会触发编译错误。但TypeScript不仅允许编译，还会执行对象的方法，即便该对象不属于指定的类/接口。这种基于类/接口的过滤在遵循SOLID原则的接口设计中非常有用。

为何TypeScript会出现这种情况？这违反了SOLID原则。以下是测试代码：

class Developer {
    drink() {
        console.log(" drink coffee ");
    }
}
class Musician {
    drink() {
        console.log(" drink beer ");
    }
}
class Vintage extends Developer {
    drink() {
        console.log(" drink tea ");
    }
}

class Vegan {
    drink() {
        console.log(" drink water, ??????"); 
    }
}
function queue(processes: Array<Developer & Musician>) {
    processes.forEach(p=>p.drink());
}

let p = [
    new Developer(),
    new Musician(),
    new Vintage(),
    new Vegan(), // 为何会这样？这不符合SOLID原则。
    new Vegan() // 为何会这样？这不符合SOLID原则。
]
queue(p);

原因解析 #

• TypeScript采用结构类型系统，而非Java的名义类型系统。Java判断类型匹配看的是类的继承关系、接口实现关系（名义上的归属）；而TypeScript只看对象的结构是否符合要求——只要一个对象拥有目标类型声明的所有属性和方法，就会被认为是该类型的实例。
• 你的queue函数参数类型是Array<Developer & Musician>，但实际上这个交叉类型只要求对象有drink方法（因为Developer和Musician都只有drink方法）。Vegan类刚好也有drink方法，结构完全匹配，所以TypeScript认为它符合类型要求，不会报错。
• 这不是TypeScript的"误判"，而是它的设计特性。结构类型系统的优势在于灵活性，支持鸭子类型，适合JavaScript的动态特性；但如果需要严格的名义类型检查，你可以手动添加唯一标识来区分类型，比如给每个类加一个独特的type属性：

  class Developer {
      readonly type = "developer";
      drink() {
          console.log(" drink coffee ");
      }
  }
  class Musician {
      readonly type = "musician";
      drink() {
          console.log(" drink beer ");
      }
  }
  // 其他类同理添加type属性
  

  这样TypeScript就会因为Vegan的type属性不匹配Developer & Musician的交叉类型要求，从而抛出编译错误。
• 关于SOLID原则：TypeScript的结构类型系统本身并不违反SOLID，只是实现方式和Java不同。SOLID强调依赖抽象而非具体实现，TypeScript的结构类型反而更容易实现面向接口编程——只要结构符合抽象（接口）的定义，就能被使用，无需显式声明实现关系。

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