5.4 泛型中的类型约束和类型推断