7.5 多态与类型匹配