SystemVerilog邮箱get任务为何使用ref而非output方向类型？

在SystemVerilog 1800-2017的15.4.5节中，mailbox的get任务采用ref作为参数方向，核心原因有这几点：

• 适配任意消息类型：Mailbox是通用的无类型消息容器，能存标量、数组、对象句柄等各类单值类型。用ref的话，调用时传入的变量只要和取出的消息类型兼容就行，不用在任务声明时固定输出类型——要是用output，任务就得提前指定参数类型，直接废掉了mailbox的通用特性。

• 减少拷贝开销，提升性能：面对结构体、动态数组这类大尺寸数据，ref是直接传递变量引用，取出的消息会直接写入原变量，不需要额外的数据复制。而output是传值逻辑，会先在任务内部创建临时变量存消息，再把值复制到外部变量，对大数据来说，这种拷贝的性能损耗很明显。

• 直接处理空消息场景：当mailbox里的对象句柄是null时，ref可以直接把null赋值给传入的变量，逻辑简单直接。如果用output，针对对象类型参数还得考虑初始化问题，反而徒增复杂度。

内容的提问来源于stack exchange，提问作者Mo'men Sameh