16.2 类型约束