【system verilog】OOP属性下的构造函数new,虚方法virtual和cast方法(5)

简介: 【system verilog】OOP属性下的构造函数new,虚方法virtual和cast方法(5)

前言

之前在几篇博客中提到了下$cast方法的原理和行为:


【system verilog】OOP属性下的构造函数new,虚方法virtual和cast方法(4)


【system verilog】OOP属性下的构造函数new,虚方法virtual和cast方法(3)


【system verilog】OOP属性下的构造函数new,虚方法virtual和cast方法(2)


【system verilog】OOP属性下的构造函数new,虚方法virtual和cast方法(1)


今天发现之前的说法还是有疏漏,补充一下;


两个疏漏

第一点:$cast不检查空句柄

之前聊过$cast的本质,就像下面这个图:



那么问题是,如果$cast(a,b)中的b是一个空句柄,那么$cast是否会告警或者cast失败呢?答案是不会的,这个时候无论是$cast(a,b)还是还是if(!$cast(a,b))都不会报错,比如下面这个测试:

function my_rm::new(string name, uvm_component parent);
    my_transaction tr0;
    uvm_sequence_item tr1;
    super.new(name, parent);
    if(!$cast(tr0, tr1)) 
        `uvm_fatal("my_rm", "hahaha");
endfunction 


跑完的结果:



正因为如此,我们才需要去裹一层宏来处理,比如说这样:

`define prj_cast(to, from) \
    if (from == null) begin\
        `uvm_fatal("prj_cast", "cast NULL");\
    end\
    if(!$cast(to, from)) begin\
        `uvm_fatal("prj_cast", "cast fatal");\
    end\

同样刚刚的代码就会是这样:

function my_rm::new(string name, uvm_component parent);
    my_transaction tr0;
    uvm_sequence_item tr1;
    super.new(name, parent);
    if(!$cast(tr0, tr1)) 
        `uvm_fatal("my_rm", "hahaha");
    `prj_cast(tr0, tr1);
endfunction 



第二点:空句柄时无脑cast成功

当from为空句柄时,那么就不要指望cast检查什么行为合理了,这个时候是必然成功的。看刚刚的例子就知道了,tr1是父类句柄,tr0是子类句柄,!cast(tr0, tr1)没能检查出问题。当然了,这种也不算漏洞吧,只要你tr1 new()过就可以报出来了:

function my_rm::new(string name, uvm_component parent);
    my_transaction tr0;
    uvm_sequence_item tr1 = new();
    super.new(name, parent);
    if(!$cast(tr0, tr1)) 
        `uvm_fatal("my_rm", "hahaha");
endfunction



自我纠正

不知道我是写过还说说过类似这样的话:除了检查是不是左侧句柄最终指向了本身或其子类的空间之外,用$cast和用=没有区别。如果我说过的话,那就当我没说过......


$cast不仅是检查,而且符合标准是会顺利让你通过,而=是无脑不让你过,比如说这个代码:

function my_rm::new(string name, uvm_component parent);
    my_transaction tr0;
    uvm_sequence_item tr1 = my_transaction::new();
    super.new(name, parent);
    if(!$cast(tr0, tr1)) 
        `uvm_fatal("my_rm", "hahaha");
    //tr0 = tr1;
endfunction


可以说完全没有任何问题:



可是如果加上一句:

function my_rm::new(string name, uvm_component parent);
    my_transaction tr0;
    uvm_sequence_item tr1 = my_transaction::new();
    super.new(name, parent);
    if(!$cast(tr0, tr1)) 
        `uvm_fatal("my_rm", "hahaha");
    tr0 = tr1;
endfunction 


哪怕tr0是完全可以指向tr1的,那也一样会报编译问题:



只能说=的检查过于苛刻和古板了。  


相关文章
|
3月前
学习 static 定义静态变量的用法
学习 static 定义静态变量的用法。
62 13
|
5月前
|
编译器 C++
virtual类的使用方法问题之C++类中的非静态数据成员是进行内存对齐的如何解决
virtual类的使用方法问题之C++类中的非静态数据成员是进行内存对齐的如何解决
|
5月前
virtual类的使用方法问题之在设计中通常建议基类的析构函数声明为virtual如何解决
virtual类的使用方法问题之在设计中通常建议基类的析构函数声明为virtual如何解决
|
8月前
|
存储 安全 编译器
【C++ 多态 】深入理解C++的运行时类型信息(RTTI):dynamic_cast和typeid的应用与原理
【C++ 多态 】深入理解C++的运行时类型信息(RTTI):dynamic_cast和typeid的应用与原理
541 1
|
8月前
来自C++primer5 的struct和class定义类的区别
来自C++primer5 的struct和class定义类的区别
37 0
|
Java
final 类,常量,方法的解释
final 类,常量,方法的解释
103 1
类和对象,display函数不放在Time类中,而作为类外的普通函数,然后分别在Time 和Date类中将display声明为友元函数。
类和对象,display函数不放在Time类中,而作为类外的普通函数,然后分别在Time 和Date类中将display声明为友元函数。

热门文章

最新文章

下一篇
开通oss服务