在面向对象程序设计方法中，类的哪一种特性保证了在一个类中同一个行为可对应不同的实现