SV——override

0. 介绍

SV中引入OPP，也会有类似于C++里的override和overload考虑。

1. override 重写

重写有数据成员重写和方法重写，看下面例子

// 来源 IEEE1800 8.14节
class Packet;
    integer i = 1;
    function integer get();
    	get = i;
    endfunction
endclass
class LinkedPacket extends Packet;
    integer i = 2;
    function integer get();
    	get = -i;
    endfunction
endclass
LinkedPacket lp = new;
Packet p = lp;
j = p.i; // j = 1, not 2 // 父类成员
j = p.get(); // j = 1, not -1 or –2

从上面看出，父类句柄指向的数据成员是父类的成员。

如果想通过父类句柄调用子类中重写的成员函数，那么需要将父类中的函数定义成virtual类型。

2. 重载 overload

在SV中好像不支持重载（overload），就是不直接支持方法类型相同，参数不同。

在下面例子中，SV检查到B中的dis函数与A中的dis函数返回类型不同，会报错。

class A;
  virtual function int dis(string str="A");
    $display("this is %s",str);
    dis=1;
  endfunction
endclass

class B extends A;
    function void dis(); // 只有函数名相同
      $display("this is B");
    endfunction
endclass
A a;
B b;
initial begin
  b=new;
  b.dis();
    b.dis("B"); //在调用的时候，SV会把B的dis当作A中dis的override来处理，句柄b调用的是B中的dis。
end
// 报错：
Error-[SV-IRT] Incompatible return types
./svt.sv, 108
svt, "dis"
  Definition of class function 'A::dis' does not have the same return type as 
  mentioned in the declaration at: "./svt.sv", 97.

Error-[TMAFTC] Too many arguments to function/task call
./svt.sv, 116
"b.dis("B")"
  The above function/task call is done with more arguments than needed.

3. override的条件

子类想要正确地override父类中的虚函数，需要保证以下四点：

1. 函数才能重载函数。
2. 函数名相同
3. 返回类型相同
4. 参数列表相同

子类中要正确重载父类中的虚任务，需要保证以下三点：

1. 任务才能重载任务。
2. 任务名相同。
3. 参数列表相同。

// 任务被函数重载了，会出错
program automatic test;
    class A;
        virtual task dis(string str="");
          $display("this is A");
        endtask
    endclass

    class B extends A;
        function void dis(string str="");
          $display("this is B");
        endfunction
    endclass
    A a;
    B b;
    initial begin
      b=new;
      b.dis();
      a=b;
      a.dis();
      a.dis("A");
    end
endprogram
// 报错：
Error-[SV-ICMO] Illegal class method override
./svt.sv, 100
  Virtual task 'dis' cannot be overridden with a function.
  Virtual method declared at "./svt.sv", 100
  Overriden at "./svt.sv", 111

4. new可以被override吗

之前面试被问到new函数可以重载吗？

在UVM UG1.1 P62页顶部提到”there are limitations on overriding new() in object-oriented language such as System Verilog.”这好像说明了new是可以重载的，但是有一些限制。