构造函子强制