4.2.3 边界检查和约束函数