SystemVerilog中多態能夠工作的前提是父類中的方法被聲明為virtual的。

再回顧一下，當我們將子類對象實例賦值給一個父類句柄時，就可以使用父類句柄訪問子類對象的方法，前提是
在父類的方法聲明前面加上關鍵字“virtual”

一旦某個方法在父類中被聲明為“virtual”，它總是“virtual”的，無法在繼承類中將該方法修改成非“virtual”的。

下面是一個非virtual方法示例：

?

class packet;
 function void disp;
 $display("From packet");
 endfunction
endclass


class eth_packet extends packet;
 function void disp;
 $display("From eth_packet");
 endfunction
endclass


module class_TOP( );
 initial begin
 packet p1;
 eth_packet e1 = new;
 //assign child class handle to parent class variable.
 p1 = e1;
 p1.disp;
 end
 endmodule

?

在上面的例子中，我們聲明了2個類“eth_packet”和“packet”，其中“eth_packet”擴展自“packet”。
然后我們實例化擴展類“eth_packet”，并將對象實例賦值給父類句柄“p1”。

最后，調用方法“p1.disp.”，結果打印的是父類中的函數聲明內容，即使該句柄實際已經指向了擴展類“eth_packet”對象。

仿真log:

?

From packet
 V C S S i m u l a t i o n R e p o r t

?

如果我們在父類函數聲明中加上“virtual”關鍵字

?

class packet;
 //parent class method declared 'virtual'
 virtual function void disp;
 $display("From packet");
 endfunction
endclass

?

打印log顯示執行的是子類中聲明的函數:

?

From eth_packet
 V C S S i m u l a t i o n R e p o r t

?

　　審核編輯：湯梓紅