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

再回顧一下，當(dāng)我們將子類對(duì)象實(shí)例賦值給一個(gè)父類句柄時(shí)，就可以使用父類句柄訪問(wèn)子類對(duì)象的方法，前提是
在父類的方法聲明前面加上關(guān)鍵字“virtual”

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

下面是一個(gè)非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個(gè)類“eth_packet”和“packet”，其中“eth_packet”擴(kuò)展自“packet”。
然后我們實(shí)例化擴(kuò)展類“eth_packet”，并將對(duì)象實(shí)例賦值給父類句柄“p1”。

最后，調(diào)用方法“p1.disp.”，結(jié)果打印的是父類中的函數(shù)聲明內(nèi)容，即使該句柄實(shí)際已經(jīng)指向了擴(kuò)展類“eth_packet”對(duì)象。

仿真log:

?

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

?

如果我們?cè)诟割惡瘮?shù)聲明中加上“virtual”關(guān)鍵字

?

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

?

打印log顯示執(zhí)行的是子類中聲明的函數(shù):

?

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

?

　　審核編輯：湯梓紅