I名字空间定义.docVIP

名字空间定义 缺省情况下，在全局域（也被称作全局名字空阎域， global namespace scope）中声明的每个对象、函数、类型或模板都引入了一个全局实体（ global entity）。在全局名字空间域引入的全局实体必须有惟一的名字。例如，函数和对象不能有相同的名字，无论它们是否在同一程序文本文件中被声明。 这意味着，如果我们希望在程序中使用一个库，那么我们必须保证程序中的全局实体的名字不能与库中的全局实体名字冲突。如果程序是由许多厂商提供的库构成的，那么这将很难保证，各种库会将许多名字引入到全局名字空间域中。在组合不同厂商的库时，我们该怎样确保程序中的全局实体的名字不会与这些库中声明的全局实体名冲突？名字冲突问题也被称为全局名字空间污染（global namespace pollution） M题。 程序员可以通过使全局实体名字很长，或者在程序中的名字前面加个特殊的字符序列前缀，从而避免这些问题。例如： class cplusplus＿primer一mair工x｛…｝； void工＂verse（cplusplus．primer一matrlx＆）； 但是，这种方案不是很理想。用C＋十写的程序中可能有相当数目的全局类、函数和模板在整个程序中都是可见的。对程序员来说，用这么长的名字写程序实在是个累赘。 名字空间允许我们更好地处理全局名字空间污染问题。库的作者可以定义一个名字空间，从而把库中的名字隐藏在全局名字空间之外。例如： fldtti6SPdC6 CpllSPIUS．pylthgl｛ c las s mat rix｛／“…“／｝； void Inverse（ matrrx＆）； ｝ 名字空间cpluspluswrimer是用户声明的名字空间（和全局名字空间不同，后者被隐式声明，并且存在于每个程序之中） 每个用户声明的名字空间代表一个不同的名字空间域。用户声明的名字空间域可以包含其他嵌套的名字空间定义，以及函数、对象、模板和类型的声明或定义。在一个名字空间内声明的实体被称为名字空间成员（namespace member）。与全局名字空间域的情形一样，用户声明的名字空间中的每个名字必须指向该名宇空间内的惟一实体。但是，因为不同的用户声明的名字空间引人了不同的域，所以不同的用户声明的名字空间可以具有相同名字的成员。 名字空间成员的名字会自动地与该名字空间名复合或被其限定修饰（ qualified）。例如，在名字空间 cplusplus＿primer中声明的 matrix类的名字是cplusplus．primer：：matrix， Inverse函数的名字是CplusplUSWflthCf：：IllV6fSC（）。 在程序中我们可以用限定修饰名来使用名字空间cpluspluswrimer的成员，如下所示： VOid funC（CplllsplllS一pIliner：：matriX＆m） ｛／／ cplusplusprrmer ：： Inverse（m）； return m； ｝ 如果另一个用户声明的名字空间（如 DiseyFeatureAnimation）也提供了一个matrix类，而且我们希望使用这个类，而不是在名字空间cpluspluswrimer中定义的类、则需要修改func（），如下所示： void func（DisneyFeatureAnimation：：matrix＆m） ｛／／ D；sneyFeatureAnlrnatlon：：nnverse（m）； return rn； ｝ 当然，总是用限定修饰名来引用名字空间成员会比较麻烦 namespace－name：： member．name 因为这个原因， C＋十提供了一些机制，比如名字空间别名（ namesP。e aliase）、 using声明（ using declaration）、 using指示符（ using directive），使得在程序中使用名字空间成员更容易一些。我们将在8．6节中展示这些机制。8．5．1名字空间定义 用户声明的名字空间定义以关键字namespace开头，后面是名字空间的名字。该名字在它被定义的域中必须是谁一的。如果在同样的名字空间域中有其他实体与被定义的名字空间同名，就会发生错误。当然，这意味着名字空间定义并没有消除全局名字空间污染问题。但是，使用名字空间大大地缓解了这个问题。 在名字空间名之后是由花括号（｛｝）括起来的声明块。所有可以出现在全局名字空间域中的声明都可以被放在用户声明的名字空间中：类、变量（带有初始化）、函数（带有定义）以及模板。把一个声明放在用户声明的名字空间中并不会改变其意义。惟一的不同是，这样的声明所引人的名字要与名字空间名复合起来。例如： namespace cplusplus＊Dr