多态的三个必要条件