trait 描述类型必须提供的能力，泛型把实现留到使用具体类型时组合。先有两个实现，再理解抽象解决了哪份重复。