《事业-最佳实践-编码》系列

定义

• 子类对象（object of subtype/derived class）能够替换程序（program）中父类对象（object of base/parent class）出现的任何地方，并且保证原来程序的逻辑行为（behavior）不变及正确性不被破坏。

判断标准

• 子类不违背父类声明要实现的功能

• 子类不违背父类对输入、输出、异常的约定

• 子类不违背父类注释中所罗列的任何特殊说明