【system verilog】OOP属性下的构造函数new，虚方法virtual和cast方法（3）

前言

接 https://blog.csdn.net/moon9999/article/details/106748050，想到哪补充到哪。

cast方法

我们需要明确system verilog中的句柄指向规则，概括起来就是：

本类句柄可以指向本类实例；

父类句柄可以指向全体子类及再传子类实例；

原则上子类句柄不可以指向父类句柄，但是当父类句柄指向子类实例时，子类句柄可以指向父类句柄；

画一个示意图表示允许的情况如下：

就如同，父类是“电器”，子类是“电冰箱”，你可以用“电器”指代任何一个电冰箱实体，但是却不能用“电冰箱”去知道任何一个电器实体，但是当这个电器实体就是一个电冰箱时，你就可以用“电冰箱”去指代。

原则上上面这个指向图，只要保证首尾符合“父类指向父类实体”、“父类指向子类实体”、“子类指向子类实体”，就都是ok的，比如这样指向：

例如如下的代码：

father obj_fa1;
father obj_fa2;
son    obj_sn1;
son    obj_sn2;
grandson obj_gs1;
		
obj_gs1 = new();
$cast(obj_fa1, obj_gs1);
$cast(obj_sn1, obj_fa1);
$cast(obj_fa2, obj_sn1);
$cast(obj_sn2, obj_fa2);
//son -> father -> son -> father -> grandson
		
obj_sn2.vir_note();
obj_sn2.novir_note();

编译通过，打印如下：

 

那么当我们明晰了这一点，剩下的事情就非常简单了，$cast(obj1, obj2)方法实际上就是在做下面这件事：检查obj1和（obj2实际指向的实体）是不是满足“父类句柄与父类实体”、“父类句柄与子类实体”、“子类句柄与子类实体”的关系，如果满足则完成指向，如果不满足则报错。