二 : using声明、using指示用于嵌套命名空间时的作用域

        二 : using声明、using指示用于嵌套命名空间时的作用域       

        分类：            c/c++ 2012-09-07 15:31 36人阅读 评论(0) 收藏 举报

上一篇  using声明、using指示及其作用域详解  说的是函数内部或者全局作用域中使用using声明和using指示的情况，这里说的是在嵌套命名空间中使用using声明与using指示的情况。

//named_namespace.h  命名空间成员声明与定义头文件

[html] view plain copy print ?

1. #ifndef NAME_17_2_3 
2. #define NAME_17_2_3 
3. namespace name_17_2_3 
4. { 
5.   class AA   //类AA的定义，例子中用不到，忽略它 
6.   { 
7.     AA() {} 
8.   }; 
9.   extern int name_17_2_3_fun();  //函数fun声明，定义在命名空间实现文件中 
10.   extern int i; //同上 
11.  
12.   namespace BB 
13.   { 
14.     extern int i;  //函数fun声明，定义在命名空间实现文件中 
15.   } 
16.  
17. } 
18.  
19. #endif 

#ifndef NAME_17_2_3
#define NAME_17_2_3
namespace name_17_2_3
{
  class AA   //类AA的定义，例子中用不到，忽略它
  {
    AA() {}
  };
  extern int name_17_2_3_fun();  //函数fun声明，定义在命名空间实现文件中
  extern int i; //同上

  namespace BB
  {
    extern int i;  //函数fun声明，定义在命名空间实现文件中
  }

}

#endif

1.  嵌套命名空间中的using声明：

嵌套命名空间中的using声明也比较简单，被using声明的名字是局部的，从using声明点开始，到包含该声明的作用域的结尾处可见，外围中的同名名字将被该局部名字屏蔽，在声明时进行检查，如果在using声明作用域内，与using声明有相同的局部名字，将遇到声明冲突的编译时错误；

[html] view plain copy print ?

1. //named_namespace.cpp  命名空间成员定义实现文件 
2.  
3. #include "named_namespace.h" 
4. #include <iostream> 
5. namespace name_17_2_3 
6. { 
7.   int i = -1; //命名空间name_17_2_3中名字 i 的定义； 
8.  
9.   namespace BB 
10.   { 
11.     int i = 10; //嵌套命名空间BB中 i 的定义； 
12.   } 
13.  
14.   int name_17_2_3_fun() 
15.   { 
16.     using BB::i;  //对嵌套命名空间BB中的变量 i 进行using声明，变量 i 仅在该成员函数内部可见，因为using声明是局部的，到函数右花括弧以后，变量 i 将不可见； 
17.     return i;  //不会产生二义性，局部名字屏蔽了外围作用域同名名字，将返回BB中的变量 i，如果去掉上述using声明，将返回命名空间name_17_2_3中的变量 i，如果在该函数内部再定义相同的名字将会遇到声明冲突的编译错误； 
18.   } 
19.  
20.   int m = i; //使用命名空间name_17_2_3中的名字 i； 
21. } 

//named_namespace.cpp  命名空间成员定义实现文件

#include "named_namespace.h"
#include <iostream>
namespace name_17_2_3
{
  int i = -1; //命名空间name_17_2_3中名字 i 的定义；

  namespace BB
  {
    int i = 10; //嵌套命名空间BB中 i 的定义；
  }

  int name_17_2_3_fun()
  {
    using BB::i;  //对嵌套命名空间BB中的变量 i 进行using声明，变量 i 仅在该成员函数内部可见，因为using声明是局部的，到函数右花括弧以后，变量 i 将不可见；
    return i;  //不会产生二义性，局部名字屏蔽了外围作用域同名名字，将返回BB中的变量 i，如果去掉上述using声明，将返回命名空间name_17_2_3中的变量 i，如果在该函数内部再定义相同的名字将会遇到声明冲突的编译错误；
  }

  int m = i; //使用命名空间name_17_2_3中的名字 i；
}

2.   嵌套命名空间中的using指示：

嵌套命名空间中的using指示的使用与在函数内部或外部使用一样：using指示使得特定命名空间的所有名字可见，从using指示点开始(这点同using声明一致)，对名字可以不加限定符使用，直到包含using指示的作用域的末尾；using指示具有将命名空间成员提升到包含命名空间本身和usin指示的最近作用域的效果；

一定记住，当using指示的命名空间中的名字与使用代码中的名字同名即发生二义性时，如果没有对名字进行使用，比如赋值与被赋值等，此时编译不会发生错误，如果使用了该名字，那么就会发生二义性的编译时错误，using指示是在使用时进行名字检查，而using声明是在声明时就立即检查名字，这点是不同的；

下面将结合嵌套命名空间再把上述说明解释一遍，看命名空间name_17_2_3的实现文件：named_namespace.cpp，修改代码如下：

为了说明被using指示的名字可见性的位置，就是从哪个位置开始可见，到哪个位置结束，分了两种情况讨论：

第一种情况：using指示位置放在了使用被指示名字语句(int n = i;)的前边，函数name_17_2_3_fun内部第一行：

[html] view plain copy print ?

1. //named_namespace.h 命名空间name_17_2_3的实现文件 
2.  
3. #include "named_namespace.h" 
4. #include <iostream> 
5. namespace name_17_2_3 
6. { 
7.   int i = -1; 
8.  
9.   namespace BB 
10.   { 
11.     int i = 10; 
12.   } 
13.  
14.   int name_17_2_3_fun() 
15.   { 
16.     using namespace BB; //using指示嵌套命名空间BB，根据 ”using指示具有将命名空间成员提升到包含命名空间本身的作用域“ 一句，那么BB的所有成员将被提升到包含BB本身定义的外围命名空间name_17_2_3的作用域中，但是，BB所有成员名字的可见性仅仅局限于：从using指示点开始，直到包含该using指示的作用域的结尾处，在此例中，BB成员名字仅仅在从using namespace BB一句到该函数右花括弧末尾，在此之前并不可见； 
17.  
18.  
19.     int n = i; //本句对名字 i 的使用将产生二义性，因为此处能够看见两个名字，一个是name_17_2_3中的名字 i，一个是using指示的BB中的名字 i； 
20.     return 0; 
21.   } 
22.  
23.   int m = i; //使用的是命名空间name_17_2_3中的名字 i，BB中名字在此并不可见，因为上述using指示的嵌套命名空间BB的名字可见性在函数name_17_2_3_fun()的末尾处结束； 
24.  
25. <span style="color: rgb(0, 0, 0);">为了证明名字 i 的可见位置到函数name-17_2_3_fun的右花括弧处结束，做一个验证：将头文件中i的声明注释掉，命名空间name_17_2_3中的i的定义注释掉，再编译时提示”i在此作用域(命名空间name_17_2_3中)尚未声明“，充分证明虽然嵌套命名空间BB中的所有名字提示到了包含BB的命名空间name_17_2_3中，但是BB名字的可行性仅仅局限于使用using指示的函数name_17_2_3_fun中，即函数name_17_2_3_fun的右花括弧之后再也看不见嵌套命名空间BB中所有名字，包括 i；</span> 
26.  
27. } 

//named_namespace.h 命名空间name_17_2_3的实现文件

#include "named_namespace.h"
#include <iostream>
namespace name_17_2_3
{
  int i = -1;

  namespace BB
  {
    int i = 10;
  }

  int name_17_2_3_fun()
  {
    using namespace BB; //using指示嵌套命名空间BB，根据 ”using指示具有将命名空间成员提升到包含命名空间本身的作用域“ 一句，那么BB的所有成员将被提升到包含BB本身定义的外围命名空间name_17_2_3的作用域中，但是，BB所有成员名字的可见性仅仅局限于：从using指示点开始，直到包含该using指示的作用域的结尾处，在此例中，BB成员名字仅仅在从using namespace BB一句到该函数右花括弧末尾，在此之前并不可见；


    int n = i; //本句对名字 i 的使用将产生二义性，因为此处能够看见两个名字，一个是name_17_2_3中的名字 i，一个是using指示的BB中的名字 i；
    return 0;
  }

  int m = i; //使用的是命名空间name_17_2_3中的名字 i，BB中名字在此并不可见，因为上述using指示的嵌套命名空间BB的名字可见性在函数name_17_2_3_fun()的末尾处结束；

为了证明名字 i 的可见位置到函数name-17_2_3_fun的右花括弧处结束，做一个验证：将头文件中i的声明注释掉，命名空间name_17_2_3中的i的定义注释掉，再编译时提示”i在此作用域(命名空间name_17_2_3中)尚未声明“，充分证明虽然嵌套命名空间BB中的所有名字提示到了包含BB的命名空间name_17_2_3中，但是BB名字的可行性仅仅局限于使用using指示的函数name_17_2_3_fun中，即函数name_17_2_3_fun的右花括弧之后再也看不见嵌套命名空间BB中所有名字，包括 i；

}

第二种情况：using指示位置放在了使用被指示名字的语句(int n = i;)的后一行，函数name_17_2_3_fun内部：

[html] view plain copy print ?

1. #include "named_namespace.h" 
2. #include <iostream> 
3. namespace name_17_2_3 
4. { 
5.   int i = -1; 
6.  
7.   namespace BB 
8.   { 
9.     int i = 10; 
10.   } 
11.  
12.   int name_17_2_3_fun() 
13.   { 
14.     int n = i;  //尽管使用了相同的名字 i， 
15.     using namespace BB;  //放在了int n = i后边，BB的所有成员仍然被提升到包含BB本身定义的外围命名空间name_17_2_3的作用域中，这点和第一种情况是一致的，但是BB所有成员名字的可见性发生了一点变化：在此例中，BB成员名字从using namespace BB一句到该函数右花括弧末尾，在此之前并不可见，也就是说，第一句的位置看不见BB中的名字，对n的赋值，使用的是命名空间name_17_2_3中的 i，因为BB::i 在using之前不可见，这与书中讲的是一致的； 
16.     //int a = i; //此句注释不会发生编译错误，因为虽然using指示BB中的名字 i 与命名空间name_17_2_3中的名字 i 相同，但是并未使用名字 i ，如果去掉注释，那么发生的错误将与第一种情况是一样的，对 i 的使用发生歧义，不知道应该使用嵌套命名空间BB中的 i ，还是外围命名空间name_17_2_3中的 i； 
17.     return 0; 
18.   } 
19.  
20.     int m = i; 
21. } 

#include "named_namespace.h"
#include <iostream>
namespace name_17_2_3
{
  int i = -1;

  namespace BB
  {
    int i = 10;
  }

  int name_17_2_3_fun()
  {
    int n = i;  //尽管使用了相同的名字 i，
    using namespace BB;  //放在了int n = i后边，BB的所有成员仍然被提升到包含BB本身定义的外围命名空间name_17_2_3的作用域中，这点和第一种情况是一致的，但是BB所有成员名字的可见性发生了一点变化：在此例中，BB成员名字从using namespace BB一句到该函数右花括弧末尾，在此之前并不可见，也就是说，第一句的位置看不见BB中的名字，对n的赋值，使用的是命名空间name_17_2_3中的 i，因为BB::i 在using之前不可见，这与书中讲的是一致的；
    //int a = i; //此句注释不会发生编译错误，因为虽然using指示BB中的名字 i 与命名空间name_17_2_3中的名字 i 相同，但是并未使用名字 i ，如果去掉注释，那么发生的错误将与第一种情况是一样的，对 i 的使用发生歧义，不知道应该使用嵌套命名空间BB中的 i ，还是外围命名空间name_17_2_3中的 i；
    return 0;
  }

    int m = i;
}

经过上述两种情况充分证明，using指示的名字作用域，从using指示点开始，直到包含该using指示的作用域的结尾处。