【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的,那也一样会报编译问题:



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


相关文章
|
2月前
|
Java PHP 数据安全/隐私保护
PHP 面向对象,构造函数,析构函数,继承,方法的重写,接口抽象类,static,final,this,parent,self的异同和作用
本文详细介绍了PHP面向对象编程的一系列核心概念和用法,包括构造函数、析构函数、继承、方法重写、访问控制、接口、抽象类、静态成员、final关键字、以及this、self、parent这三个关键字的异同和作用。通过具体示例代码,展示了如何在PHP中使用这些面向对象的特性,以及它们在实际开发中的应用。
PHP 面向对象,构造函数,析构函数,继承,方法的重写,接口抽象类,static,final,this,parent,self的异同和作用
|
3月前
virtual类的使用方法问题之在设计中通常建议基类的析构函数声明为virtual如何解决
virtual类的使用方法问题之在设计中通常建议基类的析构函数声明为virtual如何解决
|
5月前
|
Java 编译器
在 Java 中,重写(Override)和重载(Overload)是两种不同的概念,用于实现多态性。它们有着不同的作用和使用场景。
在 Java 中,重写(Override)和重载(Overload)是两种不同的概念,用于实现多态性。它们有着不同的作用和使用场景。
|
6月前
|
存储 安全 编译器
【C++ 多态 】深入理解C++的运行时类型信息(RTTI):dynamic_cast和typeid的应用与原理
【C++ 多态 】深入理解C++的运行时类型信息(RTTI):dynamic_cast和typeid的应用与原理
420 1
|
Kotlin
Kotlin 中定义类、field关键字,主构造函数和次构造函数详解
Kotlin 中定义类、field关键字,主构造函数和次构造函数详解
156 0
|
Java Kotlin
Kotlin data数据类、copy()函数、sealed密封类
Kotlin data数据类、copy()函数、sealed密封类使用
170 0
|
缓存 算法 编译器
【C#本质论 十】合式类型(一)重写Object成员及操作符重载(上)
【C#本质论 十】合式类型(一)重写Object成员及操作符重载(上)
77 0
|
缓存 算法 C#
【C#本质论 十】合式类型(一)重写Object成员及操作符重载(下)
【C#本质论 十】合式类型(一)重写Object成员及操作符重载(下)
99 0
|
存储 索引 Python
Python函数是所谓的第一类对象(First-Class Object)是什么鬼?
之前写过一篇关于装饰器的文章,虽然写得还算不错,但是也有不少同学表示没看懂,我大概分析了其中的原因,主要问题是他们不理解函数,因为Python中的函数不同于其它语言。
152 0
typescript38-class的构造函数实例方法继承(implement)
typescript38-class的构造函数实例方法继承(implement)
89 0
typescript38-class的构造函数实例方法继承(implement)