替换保护契约

里氏替换原则保护的是行为契约：子类型被当作父类型使用时，调用者的合理预期不能被破坏。继承若只复用代码、不保持语义，就会制造隐蔽分支和特殊判断。发散：API 设计中真正的类型关系应由可替换行为决定，而不是字段长得像。