systemverilog function 引用传递句柄：No casting

近期项目上遇到如下的环境设计，
1） 公共组件comm_pkg的process组件需要完成多种tr的数据收集，开发了通用的函数接口collect_data。
2）各个env package内，例化各自的tr，继承于tr_base，tr_base和子类的get_data方法为virtual。

初期的collect_data接口函数原型如下：

virtual function int collect_data(ref tr_base x);x.get_data();endfunction

env_pkg的调用如下：​​​​​​​

tr_user_0 tr = new;o_process.collect_data(tr);

编译失败，报错：

Illegal assignment to type '...': Types are not assignment compatible.

上述代码中，原意collect_data函数希望传递tr_base类型的句柄，该句柄指向tr_user_0或者tr_user_1指向的对象，以达到接口的通用化。

很明显，从编译log看到编译器认为tr_base和tr_user_0不匹配。

Systemverilog中function的参数传递有两种方式：拷贝(Pass by Value)和引用(Pass by reference)。而通过引用传递参数时，systemverilog语法手册有如下的说明(13.5.2小节)：​​​​​​​

..., Arguments passed by reference shall be matched with equivalent data types (see 6.22.2).
 No casting shall be permitted. ...

即使用ref引用的方式传递类的句柄时，不能出现基类句柄指向子类对象的cast转换。上述代码的修改也比较简单，传递句柄使用拷贝方式即可：​​​​​​​

virtual function int collect_data(tr_base x);x.get_data();endfunction

上述的句柄传递和对象指向关系如下：

---

原文已更新在：验证芯发现

systemverilog function 引用传递句柄：No casting (qq.com)