类型限制