Question

对于继承而言，约束与类变量、任务和函数遵从相同的规则：

• 如果一个继承类中的约束与它父类中的约束具有相同的名字，那么它会过载基类约束。例如：

class A;
    rand integer x;
    constraint c {x < 0;}
endclass

class B extends A;
    constraint c {x > 0;}
endclass

类A的一个实例包含了x小于0的约束，而类B的一个实例包含了x大于0的约束。扩展的类B过载了约束c的定义。从这个意义讲，约束与虚拟函数相同地对待，所以将B的实例强制转换到A不会改变约束设置。

• randomize()任务是虚拟的。因此，它以一个虚拟的方式对待类约束。当一个命名约束在一个扩展类中重新定义的时候，前一个定义会被过载。