数据类型与约束