默認(rèn)情況下，類的成員和方法可從外部訪問(wèn)使用類的對(duì)象句柄來(lái)訪問(wèn)，也就是說(shuō)，它們是公共的。

如果我們不希望這樣怎么辦，即如何組織從外部訪問(wèn)類成員，防止外部其他類意外修改。

在大型項(xiàng)目中，我們可能使用外部提供的基類庫(kù)(如UVM)。

1. 第三方基類庫(kù)需要確保它們的用戶不能意外修改基類中的成員和方法，目的就是防止對(duì)項(xiàng)目的其他部分產(chǎn)生連鎖反應(yīng)。

2. 另外，數(shù)據(jù)成員僅對(duì)擁有該成員的類自身可見也隱藏了實(shí)現(xiàn)細(xì)節(jié)，降低程序的復(fù)雜性和提高抽象級(jí)別。

用面向?qū)ο蟮恼Z(yǔ)言來(lái)描述，就是封裝（encapsulation）。

在Systemverilog中有兩種語(yǔ)法可以實(shí)現(xiàn)安全的封裝：local和protected。

local成員或者方法在類外部不可見，對(duì)其擴(kuò)展類也不可見。只有包含這個(gè)成員的類的方法才可以訪問(wèn)這些local成員。

聲明一個(gè)local成員或者方法的關(guān)鍵詞是“l(fā)ocal”

?

class packet;
 local int addr; //local property
 
 local function void disp(input int data); //local method
 $display("data = %h", data);
 $display("addr = %h", addr); //access local property
 endfunction
endclass
 
 module class_TOP( );
 initial begin
 packet p1;
 p1 = new( );
 // p1.addr = 'hf;
 //COMPILE ERROR - can't access 'local' property
 // p1.disp(20);
 //COMPILE ERROR - can't access 'local' method
 end
 endmodule

?

在上面的例子中，class “packet”中聲明了“l(fā)ocal”屬性 “addr”和一個(gè)local方法“disp”。

因?yàn)椤癮ddr”是一個(gè) local成員，所以只能夠使用類自身聲明的方法“disp”訪問(wèn)，所以下面這個(gè)訪問(wèn)方式會(huì)導(dǎo)致編譯錯(cuò)誤：

?

p1.addr = ‘hff;

Error-[SV-ICVA] Illegal class variable access
testbench.sv, 25
Local member 'addr' of class 'packet' is not visible to scope 'class_TOP'.
Please make sure that the above member is accessed only from its own class
properties as it is declared as local.

?

同理，由于我們將函數(shù)“disp”也聲明成了local，所以無(wú)法從外部訪問(wèn)這個(gè)函數(shù)。所以下面的訪問(wèn)方式同樣會(huì)報(bào)編譯錯(cuò)誤：

?

p1.disp;

Error-[SV-ICMA] Illegal class method access
testbench.sv, 26
Local method 'disp' of class 'packet' is not visible to scope 'class_TOP'.
Please make sure that the above method is called only from its own class
properties as it is declared as local.

?

再看一個(gè)例子，擴(kuò)展類遇到父類中的local成員。

?

 class packet;
 local int addr;
 local function void disp(input int data);
 $display("data = %h", data);
 $display("addr = %h", addr); //access local property
 endfunction
 endclass
 
 class eth_packet extends packet;
 
 function set_addr;
 //addr = 'hf; //COMPILE ERROR -
 //can't access 'local' property from extended class
 endfunction
 
 function void eth_disp;
 //super.disp(50);//COMPILE ERROR -
 //can't access 'local' method from extended class
 endfunction
 
 function void disp(input int data);
 //OK to override 'local' method in extended class
 $display("From eth_packet data=%d", data);
 endfunction
 endclass
 
 module class_TOP( );
 initial begin
 eth_packet e1;
 e1 = new( );
 e1.disp(50);
 end
 endmodule

?

在上面的例子中，我們擴(kuò)展自父類 “packet”，聲明了一個(gè)擴(kuò)展類“eth_packet.”

在類“eth_packet”中直接訪問(wèn)local成員和local方法都會(huì)發(fā)生編譯錯(cuò)誤。但是在擴(kuò)展類中覆蓋local成員和方法“disp”是允許的。事實(shí)上，方法覆蓋之后，訪問(wèn)的已經(jīng)不是父類中的那個(gè)local成員了。

打印log：

?

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

?

　　審核編輯：湯梓紅