9.5.3 泛型约束