分化多形

differentiative polymorphism