scala中的多态 Ad-hoc polymorphism和type class