为什么using指令在全局范围和本地范围内表现不同?

时间:2013-06-25 20:49:33

标签: c++ namespaces

当我编写以下代码时,它会被编译并正确执行:

#include <iostream>
using namespace std;

namespace first
{
  int x = 5;
  int y = 10;
}

namespace second
{
  double x = 3.1416;
  double y = 2.7183;
}

int main () {
  using namespace first; //using derective
  using second::y;
  cout << x << endl;
  cout << y << endl;
  return 0;
}

但如果我使用main函数之外的指令编写如下,

using namespace first; //using derective
using second::y;
int main () {
  cout << x << endl;
  cout << y << endl;
  return 0;
}

它给出了这个编译错误:

g++     namespace03.cpp   -o namespace03
namespace03.cpp: In function ‘int main()’:
namespace03.cpp:20:11: error: reference to ‘y’ is ambiguous
namespace03.cpp:13:10: error: candidates are: double second::y
namespace03.cpp:7:7: error:                 int first::y
make: *** [namespace03] Error 1

任何人都可以解释为什么using指令在main内和main之外使用时的行为会有所不同?

2 个答案:

答案 0 :(得分:10)

使用声明就是声明。 main中的using second::y;类似于在该范围内声明变量y,该变量隐藏了全局命名空间范围内的任何其他y。在全局范围内使用using second::y;时,您没有隐藏任何名称,因为两个y都在同一范围内。

想象一下你的第一个例子如下(请参阅下面的评论以获得解释):

namespace first
{
  int x = 5;
  int y = 10;
}

int main () {
  using namespace first; // This makes first::y visible hereafter
  int y = 20; // This hides first::y (similar to using second::y)
  cout << x << endl;
  cout << y << endl; // Prints 20 
}

然而,第二个例子是:

namespace first
{
  int x = 5;
  int y = 10;
}
using namespace first; // This makes first::y visible in global scope
int y = 20; // This is global ::y
int main () {
  cout << x << endl;
  cout << y << endl; // Error! Do you mean ::y or first::y?
}

答案 1 :(得分:6)

using-declaration和using-directive有两个主要区别。

第一个区别:(明显不同)。

namespace first{

int x=1;
int y=2;
}
using first::x; //using declaration

这将允许您使用不带 namespace-name 的变量x作为显式限定符,并注意这不包括y

namespace first{
int x=1;
int y=2;
}
using namespace first;// using directive

这将允许您使用名称空间first内的所有变量而不使用 namespace-name 作为显式限定符。


第二个差异:(这是你不理解的)。

我将向您解释为什么当您在main函数中使用using-directive和using-declaration时都没有错误,但是当您尝试在全局命名空间中使用它们时,您会收到编译时错误。 BR />

假设我们在全局命名空间中定义了两个命名空间,如下所示:

namespace first
{
  int x = 5;
  int y = 10;
}

namespace second
{
  double x = 3.1416;
  double y = 2.7183;
}


示例1:

int main () {    
using namespace first;
using second::y;
  cout << x << endl; // this will output first::x;
  cout << y << endl; // this will output second::y;
  return 0;
}

原因是using-directive using second::y会使你的变量y看起来像是使用using-directive的范围的局部变量,在这种情况下它是在里面使用的主要功能。使用声明using namespace first将使在此命名空间first内定义的变量看起来像全局变量,并且这仅在使用using-directive的范围内有效,在这种情况下它是在主要功能内。

所以,如果你应用上述内容,你会知道如果你做了这样的事情:

示例2:

 using namespace first;
 using second::y;

 int main () {    
  cout << x << endl; 
  cout << y << endl; // two definitions of y. first::y and second::y 
  return 0;
}

您将收到错误,因为first::ysecond::y的行为就像它们在全局命名空间中定义一样,因此您最终会打破One Defintion规则。