Question

类范围操作符 :: 被用来指定在一个类作用范围内定义的一个标识符。它具有下列形式：

class_identifier::{class_identifier::}identifier

范围解析操作符（::）左侧的标识符可以是类名字或者包名字（参见18.2节）。

类和其它的范围可能具有相同的标识符，使用范围解析操作符，我们可以唯一地标识特定类的一个成员。另外，为了消除类范围标识符的歧义，::操作符还可以从类的外部访问静态成员（类属性和方法），并能够在继承类内访问超类的公开和保护元素。

class Base;
    typedef enum {bin, oct, dec, hex} radix;

    static task print(radix r, integer n);
        ...
    endtask
endclass

...

Base b = new;
int bin = 123;
b.print(Base::bin, bin);  // Base::bin与bin是不同的
Base::print(Base::hex, 66);

在SystemVerilog中，类范围操作符应用于一个类的所有静态元素：静态类属性、静态方法、typedef、枚举、结构体、联合体以及嵌套的类声明。类范围解析表达式可以被读取（在表达式中）、写入（在参数或子例程调用中）或触发（在事件表达式中）。它们也可以用作一个类型的名字或一个方法调用。

像模块一样，类是范围并且可以嵌套。嵌套允许隐藏本地名字和资源的本地分配。这在一个新的类型需要作为类实现的一部分时经常很有用。在一个类内声明类型能够阻止命名冲突，并能够避免外界与仅在类内使用的符号之间的混乱。嵌套在一个类范围内的类型声明是公开的，并且可以在类外访问。

class StringList;
    class Node;  // 链表中一个节点的嵌套类
        string name;
        Node link;
    endclass
endclass

class StringTree;
    class Node;   // 二分树中一个节点的嵌套类
        string name;
        Node left, right;
    endclass
endclass
// StringList::Node不同于StringTree::Node

范围解析操作符能够：

• 从类层次的外部访问静态公开成员（方法和类属性）。
• 从继承类的内部访问超类的公开或保护的类成员。
• 从类层次外部或在继承类内部访问类中的类型声明和枚举命名常量。