factory机制的本质是什么？factory机制式的重载的过程

factory机制的本质是什么？

factory机制本质是 对SystemVerilog中new函数的重载 ，其带来了如下好处：

• 提供新的创建实例的方法：根据类名创建这个类的一个实例。
  • 应用：根据run_test的参数AAA创建了一个AAA的实例
• 提供 重载过程控制函数 ，使得重载更加灵活，代码复用性更方便。
  • 应用：通过重载transaction、sequence或component，复用原有代码，快速创建新测试用例。

factory机制式的重载的过程

// src/ch8/section8.2/8.2.1/correct/my_case0.sv
function void my_case0::print_hungry(bird b_ptr);
   b_ptr.hungry();
   b_ptr.hungry2();
endfunction
...
function void my_case0::build_phase(uvm_phase phase);
   bird bird_inst;
   super.build_phase(phase);

   set_type_override_by_type(bird::get_type(), parrot::get_type());

   bird_inst = bird::type_id::create("bird_inst");
   print_hungry(bird_inst);
endfunction
// 打印结果如下：
// "I am a parrot, I am hungry" // virtual函数
// "I am a bird, I am hungry2"

解释如下：

• 第13行进行例化时，由于前面set_type_override_by_type描述了bird到parrot的重载记录，所以bird_inst对应的实例化对象为parrot类型。
• 第14行将bird_inst传递给print_hungry函数时，会被 转换为函数形参bird类型的b_ptr ，所以
  • 执行第3行的b_ptr.hungry();时，由于hungry是 virtual修饰的函数，所以会被重载 ，执行parrot类中的hungry，打印 "I am a parrot, I am hungry"
  • 执行第4行的b_ptr.hungry2();时，由于hungry2未被virtual修饰，所以不会重载，执行bird类中的hungry2，打印 "I am a bird, I am hungry2"

factory机制式复杂的重载

UVM支持连续的重载

set_type_override_by_type(bird::get_type(), parrot::get_type());
set_type_override_by_type(parrot::get_type(), big_parrot::get_type());

注意：调用virtual函数/任务时，会查询这两条记录后，所以经过连续重载bird中调用的virtual函数最后会调用big_parrot中对应函数

替换式的重载：后者的重载记录会替换前者的重载记录

set_type_override_by_type(bird::get_type(), parrot::get_type());
set_type_override_by_type(bird::get_type(), sparrow::get_type());

注意：这里是否替换重载记录可以通过set_type_override_by_type的第三个参数控制，默认情况为1

• 为1时，存在对同一 被重载的类型 的重载记录时，会用当前重载记录 覆盖 前面的重载记录
• 为0时，存在对同一 被仲裁的类型 的重载记录时，不会 用当前重载记录 覆盖 前面的重载记录