- 子类重写约束与父类同名:子类约束会覆盖父类,不管约束冲突不冲突
- 子类新加约束:取父类子类交集,如果冲突直接报错
- 子类对象 =赋值给父类句柄:父类句柄直接随机得到父类子类交集
- 由3结论可以构造层次化随机,见下图。创造一个base保存基本数据和基本随机,创造包含base句柄的wrapper用于后续子类赋值共同参与随机,创建其他随机约束类,创建test sequence任意组合之前创建的随机约束类,所有的随机组合内部base句柄最终都指向当前test seq,最终效果即所有类内部都基于同一个对象进行随机。用于各种随机单独写,test需要的约束进行cross
01-11
4384

07-27
5589

09-04
572

02-27
1985

08-15
1739

06-30