命名空间

一组标识符的容器

命名空间(英語:Namespace),也称命名空间名称空间等,它表示着一个标识符(identifier)的可见范围。一个标识符可在多个命名空间中定义,它在不同命名空间中的含义是互不相干的。这样,在一个新的命名空间中可定义任何标识符,它们不会与任何已有的标识符发生冲突,因为已有的定义都处于其他命名空间中。

例如,设Bill是X公司的员工,工号为123,而John是Y公司的员工,工号也是123。由于两人在不同的公司工作,可以使用相同的工号来标识而不会造成混乱,这里每个公司就表示一个独立的命名空间。如果两人在同一家公司工作,工号也相同,便会发生混乱。

这一特点是使用命名空间的主要理由。在大型的计算机程序文档中,往往会出现数百或数千个标识符。命名空间提供一隱藏區域標識符的機制。[1]通过将逻辑上相关的标识符组织成相应的命名空间,可使整个系统更加模块化

编程语言中,命名空间是对作用域的一种特殊的抽象,它包含了处于该作用域内的标识符,且本身也用一个标识符来表示,这样便将一系列在逻辑上相关的标识符用一个标识符组织了起来。许多现代编程语言都支持命名空间。在一些编程语言(例如C++Python)中,命名空间本身的标识符也属于一个外层的命名空间,也即命名空间可以嵌套,构成一个命名空间,树根则是无名的全局命名空间

函数的作用域可被視作隱式命名空间,它們和可見性、可訪問性和对象生命周期不可分割的联系在一起。

C++中的命名空间

C++语言中,命名空间是一种实体(entity),使用namespace来声明,并使用{ }来界定命名空间体(namespace body)。

namespace foo {
    int bar;
}

C语言全局作用域对应于C++全局命名空间作用域。全局命名空间不需要声明也无法显式声明。使用时,可以用前缀为::的qualified-id显式限定全局命名空间作用域中的名称。例如,::operator new指称全局new运算符函数。

命名空间可以在另一命名空间之中嵌套声明;但不能声明在类和代码块之中。在命名空间中声明的名称,默认具有外部链接属性(除非声明的是const对象,它默认是具有内部链接属性)。

按照是否有名字,可分为有名字的命名空间、不能显式定义的全局命名空间与匿名命名空间。后者的声明为:

namespace {
    // namespace-body(即声明序列(可选))
}

匿名命名空间中的名字具有文件作用域。这些名字在本编译单元中可以直接使用;也可以用前缀为::的qualified-id显式限定后使用。匿名命名空间中的名字具有内部链接属性。

命名空间的成员,是在命名空间体的花括号内声明了的名字。可以在命名空间体之外,给出命名空间成员的定义。即命名空间的成员声明与定义可以分开。命名空间内的名字,只能有一次定义,但可以多次声明。

嵌套的子命名空间必须定义在上层命名空间体之内。禁止把子命名空间的声明与定义分开。

不能以“命名空间名::成员名;”方式,在命名空间体之外为命名空间添加新成员。必须在命名空间体之中添加新成员的声明。

可以多次声明和定义同一命名空间,每次给这一命名空间添加新成员。同名的命名空间即便在声明位置不同,仍然是同一个实体。

可以在一个命名空间中引入其他命名空间的成员。例如:

namespace myNameSpace{
    using namespace His_NameSpace;
    using OLib::List;
    void my_func(String &, List &);
}

引用命名空间的成员,有下述办法:

  • 使用命名空间的作用域解析运算符::,如:std::cout
  • using namespace 命名空间名[::命名空间名…];这称为“using-Directive”。该语句使指定的命名空间中的目前已经声明的名字都提升到当前语句所在的作用域中可直接使用。如果引入的名字与该语句所在的声明区域的名字发生冲突,则编译器并不会发出任何警告信息,而只是用声明区域中的名字自动隐藏(hiding)命名空间中的同名成员,即使using namespace更靠后也是如此。
  • using 命名空间名::[命名空间名::……]成员名; 这称作“using-declaration”。用于向名字空间或者块作用域内引入其它名字空间的名字成员;也可用于把基类的非私有成员引入到派生类的定义中,如果引入的是基类的重载函数名字,则把基类的所有同名函数引入,如果派生类有同名同参数同限定的成员函数,则基类的函数被名字隐藏或覆盖。如果引入的名称与局部名称发生同名冲突,编译器会报错。

命名空间可以有别名:namespace 别名 = 命名空间名; 这使得名字较长的命名空间可以方便地用较短的别名来引用。


C++11起支持内联命名空间。使用inline namespace作为声明的起始。内联命名空间的名称在名称查找时被特别对待,使用qualified-id引用其中的名称时,被内联的命名空间名称可以省略。也即,内联命名空间内的标识符被提升到包含着内联的命名空间的那个父级的命名空间中。内联命名空间可以在修改命名空间名称的同时避免在二进制文件中生成的符号改变,因此不同内联命名空间的名称可以用于标识接口兼容的不同版本,有助于保持二进制兼容性。这也在标准库的实现中被使用,如libstdc++和libc++。

namespace Contoso
{
    namespace v_10
    {
        template <typename T>
        class Funcs
        {
        public:
            Funcs(void);
            T Add(T a, T b);
            T Subtract(T a, T b);
            T Multiply(T a, T b);
            T Divide(T a, T b);
        };
    }


    inline namespace v_20
    {
        template <typename T>
        class Funcs
        {
        public:
            Funcs(void);
            T Add(T a, T b);
            T Subtract(T a, T b);
            T Multiply(T a, T b);
            std::vector<double> Log(double);
            T Accumulate(std::vector<T> nums);
      };
    }
}

在XML中的应用

XML虽然不是一个独立的编程语言,但是它的出现使得命名空间的使用变得更为广泛。

在同一个命名空间裡,所有的元素名都必须唯一。

声明一个命名空间使用XML保留的属性xmlns,它的值必须是URI(统一资源标志符 Uniform Resource Identifier而非URL--Universal Resource Locator)指代.比如xmlns="http://www.w3.org/1999/xhtml".注意,事实上URI是不可读的,但它对XML解析器来说就只是简单不过的字串,如http://www.w3.org/1999/xhtml/页面存档备份,存于互联网档案馆) 这个地址本身并不包含任何代码,它只表示XHTML命名空间.使用URI (比如"http://www.w3.org/1999/xhtml")去标示一个命名空间,而不是用一个简短的字串 (比如"xhtml"),这样做是为了减少不同命名空间标示符冲突的可能性.

註釋

  1. ^ Adya, Atul; Bolosky, William; Castro, Miguel; Cermak, Gerald; Chaiken, Ronnie; Douceur, John; Howell, Jon; Lorch, Jacob; Theimer, Marvin; Wattenhofer, Roger. FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment (PDF). Proc. USENIX Symp. on Operating Systems Design and Implementation. 2002 [2021-02-11]. (原始内容 (PDF)存档于2010-07-28). The primary construct established by a file system is a hierarchical directory namespace, which is the logical repository for files. 

参见

外部链接