7.4.2 多态实现条件