SystemVerilog调用mailbox get任务是否需提前实例化接收对象

核心结论 #

你编写的代码不需要提前执行tr = new();为接收变量创建Transaction实例，仅声明Transaction类的句柄就足以正常访问从mailbox取出的数据，原有代码补全mailbox自身的实例化逻辑后即可正常运行。

原理说明 #

• 参数化mailbox #(transaction)存储Transaction类型数据时，队列中保存的本质是Transaction对象的句柄（可以理解为指向对象内存地址的指针），而非对象实体的完整拷贝。
• 调用get(tr)任务时，mailbox会直接将队列头部存储的句柄赋值给传入的tr变量，整个赋值过程和普通的类句柄赋值行为完全一致，不需要tr提前指向一个已分配的对象实例。
• 如果你提前执行tr = new();，调用get()后这个提前创建的对象句柄会被直接覆盖，变成无任何引用的孤儿对象最终被垃圾回收，属于完全多余的无效操作，不会带来任何收益，反而会造成无意义的资源开销。

注意事项 #

你贴出的代码片段唯一需要补充的是mailbox对象本身的实例化：mailbox本身是类类型，必须先调用new()创建实例才能调用get/put方法，否则会触发空对象引用报错。很多新手容易在这里搞混需要实例化的对象：该new的是mailbox本身，不是用来接收数据的transaction句柄tr。

正确可运行的代码示例 #

// 声明参数化mailbox，指定存储transaction类型句柄
mailbox #(transaction) gentodriver;
// 声明transaction类句柄，不需要提前调用new()
transaction tr;

initial begin
  // 必须先实例化mailbox对象，这步不能省略
  gentodriver = new();
  // 省略其他并行逻辑：比如生产者线程调用gentodriver.put(实例化好的transaction对象)写入数据
  // 从mailbox获取句柄
  gentodriver.get(tr);
  // 获取完成后可直接通过tr访问对应transaction对象的所有成员和方法
  tr.print();
end

常见误区 #

不要把mailbox的get行为误解为「向传入句柄指向的对象中拷贝成员数据」：get操作不会修改传入句柄原有指向对象的成员，只会直接替换整个句柄的指向，因此提前给接收句柄创建实例没有任何实际意义。

内容的提问来源于stack exchange，提问作者Gaurav Kaushal