类型与约束