假設(shè)有一個類“packet”，它含有一個static屬性(或方法)“my_packet”，然后就可以從類外部訪問使用類范圍解析運(yùn)算符(::)訪問。

?

Packet::my_packet

?

需要注意的是“.”訪問的是隸屬于某個對象實(shí)例的成員，而“：：”訪問的是隸屬于這個類的成員。

例如有一個類型為My_class的對象實(shí)例“mc” 。
mc.my_x訪問的是對象實(shí)例的成員my_x；
My_class::my_x訪問的是類的成員my_x；

?

class packet;
 bit [31:0] addr; //non-static var
 static bit [31:0] id; //static var
 typedef enum {RED, GREEN, BLUE} RGB;
 //typedef enum is static by default
 
 extern static function void display (int a, b);
 endclass
 
 static function void packet::display (int a, b);
 $display("packet values a=%0d b=%0d",a,b);
 endfunction
 
 class eth_packet extends packet;
 
 function new;
 packet::addr = 'hff;
 // Can access non-static members in derived class
 $display("packet addr = %h", packet::addr);
 endfunction
 
 endclass
 
 module sro_class;
 packet::RGB r1; //scope resolution operator for typedef
 int id=10;
 initial begin
 packet p;
 eth_packet ep;
 p = new( );
 ep = new ( );
 $cast(r1,1);
 $display("%s",r1);
 
 packet::id = 20;
 packet::display(packet::id, id);
 //packet::addr = 'hf; //COMPILE ERROR
 //Can't access non-static members outside the class
 end
 endmodule

?

仿真log:

?

packet addr = 000000ff
GREEN
packet values a=20 b=10
 V C S S i m u l a t i o n R e p o r t

?

在上面的例子中，類 “packet” 中包含non-static屬性(“addr”)和static屬性 (“id”) 。

從仿真log可以看出可以在擴(kuò)展類“eth_packet”內(nèi)使用類范圍解析運(yùn)算符(::)訪問非static屬性 (“addr”)

而在類的外部訪問非static屬性 (“addr”)就會導(dǎo)致編譯錯誤。

?

packet::addr = 'hff;

?

編譯錯誤：

?

Error-[SV-IRTAV] Illegal reference to automatic variable
testbench.sv, 34
"$unit::addr"
Hierarchical reference to automatic variable 'addr' is not legal.

?

默認(rèn)情況下，除了可以使用類范圍解析運(yùn)算符(::)訪問靜態(tài)屬性和靜態(tài)方法，還可以訪問

?

– Static properties
– Static methods
– Typedefs
– Enumeration
– Structures
– Unions

?

另外，這個類范圍解析運(yùn)算符(::)的作用可以只需要在類中定義方法的模版，具體的實(shí)現(xiàn)可以在類的外部：

?

class packet;
 //function prototype
 extern static function void display (int a, b);
endclass


 //function body outside the class
 static function void packet :: display (int a, b);
 $display("packet values a=%0d b=%0d",a, b);
 endfunction

?

這個extern方法可以訪問類中的一些屬性聲明。

　　審核編輯：湯梓紅

?