现在的位置: 首页 > 自动控制 > 工业·编程 > 正文

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

2012-12-04 23:17 工业·编程 ⁄ 共 3501字 ⁄ 字号 暂无评论

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

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

[html] view plaincopyprint?

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 

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

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

[html] view plaincopyprint?

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.



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 plaincopyprint?

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中的名字 iBB中名字在此并不可见,因为上述using指示的嵌套命名空间BB的名字可见性在函数name_17_2_3_fun()的末尾处结束; 

24.  

25. <span style="color:#000000;">为了证明名字 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.

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

[html] view plaincopyprint?

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.


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

给我留言

留言无头像?