虚方法、抽象类和抽象方法(里氏替换原则)