TypeScript中Student与Employee类型不匹配未触发类型检查问题

我碰到个TypeScript类型检查的怪事儿：明明Student和Employee是两个完全独立的类，但调用printMe传入Employee实例时，有的写法不会触发编译错误，有的却会。

import { argv } from "process"

class Student {

  // OPTION 1: 可互换
  // public name: string;
  // constructor(name_: string) { this.name = name_; }

  // OPTION 2: 可互换
  constructor(public readonly name: string){}

  // OPTION 3: 编译时错误
  // constructor(private readonly name: string){}
  // public getName() { return this.name; }
}

class Employee {

  // OPTION 1: 可互换
  // public name: string;
  // constructor(name_: string) { this.name = name_; }

  // OPTION 2: 可互换
  constructor(public readonly name: string){}

  // OPTION 3: 编译时错误
  // constructor(private readonly name: string){}
  // public getName() { return this.name; }
}

function printMe(student: Student) {
  console.log(student.name);
}

printMe(new Employee(process.argv[2])); // 本应触发编译时错误 (?!)

现象细节 #

• 当两个类都用**Option 1（public属性）或Option 2（构造器声明public readonly属性）**时，即使加上--strict参数执行npx tsc --strict ./main.ts，也不会出现编译错误；
• 只有当两个类都用**Option 3（private readonly属性+getter）**时，哪怕不加--strict，执行npx tsc ./main.ts都会抛出类型不兼容的错误：

main.ts:35:9 - error TS2345: Argument of type 'Employee' is not assignable to parameter of type 'Student'.
  Types have separate declarations of a private property 'name'.

35 printMe(new Employee(process.argv[2]));
           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

原因解析 #

这不是bug，是TypeScript结构类型系统结合访问修饰符的特性：

• public/readonly public成员场景：TypeScript判断类类型兼容时，优先看结构是否匹配——只要两个类拥有同名同类型的public成员，就会被认为兼容。Option1和Option2里，Student和Employee都有public的name: string成员（readonly仅限制赋值，不影响类型兼容性判断），所以Employee实例能被当作Student传入。
• private成员场景：当类包含private成员时，TypeScript会额外校验类的身份——只有来自同一个类（或子类继承）的实例才被认为兼容。Option3里两个类各有自己的private name成员，属于不同类的私有属性，因此类型直接不兼容，编译器报错。

总结 #

如果想让两个独立类不被误判为兼容，要么给它们添加不同的public成员，要么用private/protected成员来区分类的身份。

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