构造函数验证