24.4 类型约束