TypeScript：将含额外属性的接口实现类实例赋值给接口类型的疑问

这是TypeScript的预期行为，并非Bug，原因如下：

1. 赋值不报错的原因 #

TypeScript采用结构类型系统（鸭子类型），判断类型兼容性的核心是「结构匹配」：只要一个值的结构包含目标类型要求的所有成员，就可以赋值给该类型的变量。
你定义的MyClass实现了MyInterface要求的myProp1属性，完全满足接口的结构要求，所以将MyClass实例赋值给MyInterface类型的变量时，TypeScript不会报错。

对应代码示例：

let instance: MyInterface = new MyClass('1'); // 合法，无类型错误

2. 访问额外属性报错的原因 #

当变量被声明为MyInterface类型后，TypeScript的编译期类型检查只会基于该接口的定义做校验。尽管运行时实例确实包含myProp2，但编译阶段TypeScript只认可MyInterface中声明的成员，因此访问未定义的myProp2会触发类型错误。

对应代码示例：

console.log(instance.myProp2); // 编译报错：'myProp2' does not exist on type 'MyInterface'

这种设计的目的是保证代码的类型一致性，避免开发者依赖未在类型中声明的属性编写逻辑，从而降低运行时潜在的风险。

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