 中ID的部分的checking  因为没有实现@pre的功能,会导致OwningRecords 前后的size发生变化,postcontion不通过。