命名空间中声明的使用范围

如何解决命名空间中声明的使用范围

| 在C ++头文件中使用命名空间中的using声明是否安全（正确），如下所示：

#include <boost/numeric/ublas/vector.hpp>
namespace MyNamespace {
    using boost::numeric::ublas::vector;
    vector MyFunc(vector in);
}

即是\“使用boost :: numeric :: ublas :: vector \”正确包含在MyNamespace块中，还是会污染任何包含此标头的文件的名称空间？

解决方法

不，这并不安全-它不会污染另一个名称空间，但是出于其他原因，这很危险： ѭ1伪指令会将您指定的名称当前可见的所有内容导入使用它的名称空间。尽管您的using仅对MyNamespace的用户可见，但是\“ outside \”中的其他内容对于您的using声明也是可见的。那么，在标头中使用时，这有多危险？因为它将导入声明时可见的内容，所以确切的行为将取决于声明之前包含的标头的顺序（boost::numeric::ublas::vector中可能有不同的可见内容）。由于您无法真正控制在标题之前包含哪些标题（也不应该！标题应该是自给自足的！），这会导致非常奇怪的问题，即您的函数将在一个编译单元中找到一件事，而在编译单元中找到另一件事。下一个。根据经验，仅应在所有.cpp文件中使用ѭ1声明。在Sutter和Alexandrescu撰写的“ C ++编码标准”一书中，也有关于此确切问题的条目（条目59）。这是一个引号：\“但是这是一个常见的陷阱：许多人认为使用在命名空间级别（...）发出的声明是安全的。它们不是。它们至少同样危险，并且存在隐患。还有更阴险的方式。” 即使您不太可能在其他任何地方都没有您的名字“ѭ1”（就像这里一样），情况也可能变得很丑陋：在标头中，所有声明都应完全限定。这很痛苦，但是否则，可能会发生奇怪的事情。有关示例和问题的详细介绍，另请参见迁移到名称空间，使用声明和名称空间别名和名称空间命名。 , 顾名思义，using声明是一个声明。所有声明的作用域为封闭块（7.2），在本例中为名称空间“ 3”。在该命名空间之外将不可见。 , 这是安全的，但是会污染MyNamespace命名空间。因此，任何包含该标头的文件都将在MyNamespace中具有函数/类。 ,总而言之，出于两个原因，即使在名称空间中，标头中的using-声明也不是可以的。此外，在非标头中的命名空间内使用声明很容易出错或毫无意义（请参见结尾）。标头中的using声明不正确，原因是：它们在名称空间中引入名称，这会影响所有包含标头的文件。他们仅介绍已经看到的名称声明，这意味着行为取决于包含的顺序！在您的示例中，这意味着：在MyNamespace中，对于包含此标头的任何文件，ѭ10现在可以解析为boost::numeric::ublas::vector：它“污染”了MyNamespace命名空间。导入哪个“ 5”声明取决于在此using-declaration之前出现的声明，这取决于包含此标头的文件中的include顺序及其所有include（正确地，预处理后翻译单元中声明的顺序））。根据您5月30日'11在11:51的评论，您实际上想要行为1，但是由于问题2，这是行不通的。您可以通过在所有其他对象之后包含一个单独的标头来获得所需的行为（并在其他标题中完全限定该名称）。但是，这很脆弱，因此不建议使用，最好仅在过渡到名称空间时才保留：

//--- file myheader.hpp ---
#include <boost/numeric/ublas/vector.hpp>
namespace MyNamespace {
    ::boost::numeric::ublas::vector MyFunc(::boost::numeric::ublas::vector in);
}

//--- file myproject_last.hpp ---
namespace MyNamespace {
    using ::boost::numeric::ublas::vector;
}

//--- file myproject.cpp ---
#include \"myheader.hpp\"
// ...other includes
#include \"myproject_last.hpp\"

有关详细信息，此变通办法和建议，请参阅GotW＃53：迁移到命名空间。\“使用声明的命名空间不应出现在头文件中。” 可以通过在using-声明周围添加一个未命名的名称空间（以防止显示这些名称），然后在该未命名的名称空间之外添加另一个名称（以使所需名称本身可见）来避免问题1，但这仍然存在问题2并丑化标题：

//--- file myheader.hpp ---
#include <boost/numeric/ublas/vector.hpp>
namespace MyNamespace {
    namespace {
        using ::boost::numeric::ublas::vector;
        vector MyFunc(vector in);
    }
    using MyFunc; // MyNamespace::(unique)::MyFunc > MyNamespace::MyFunc
}

由于这些问题，您只能在非标头（.cc / .cpp）文件中使用using-声明：这不会影响其他文件，因此可以避免问题1；并且已包含所有标头，因此可以避免问题2。在这种情况下，是否将它们放置在命名空间中是一个问题，因为它们不会影响其他文件。在using声明本身中始终使用完全限定名称是最安全的（绝对值，以::开头）。最简单的方法是将所有using声明放在文件顶部，在includes之后，但是在任何名称空间之外：这是安全，明确，易于阅读的，并且允许在整个文件中使用这些名称。一些常见的偏差：函数（或结构或类或嵌套块）中的使用声明：可以。这将范围最小化，只是一个问题：使用声明接近使用（易读性获胜），但现在它们散布在整个文件中（易损性）。在（命名的）名称空间中使用相对名称的使用声明：容易出错。这更加简洁，并增加了一些清晰度（它们所关联的名称空间中使用的相关名称），但可能有歧义（就像包含相对路径的包含名称一样），并且更安全地避免：

using ::foo::bar;
namespace foo { ... }

namespace foo {
    // Implicitly ::foo:bar,could be ::bar,or ::other::foo::bar.
    using bar;
}

在已命名的命名空间内使用带有绝对名称的声明：无意义。这只会将名称引入名称空间，但是您不必在意，因为您不应该包含.cc / .cpp文件：

namespace foo {
    using ::bar;
}

在未命名的命名空间中使用声明：毫无意义，有点危险。例如，如果您在一个未命名的命名空间中有一个函数，说一个实现细节，那么您可以为其返回类型或参数类型使用using-声明。这会将名称引入到该名称空间中（因此不能从其他文件中引用），但是再次，您不必在乎，因为您不应该包含.cc / .cpp文件（未命名的名称空间是尤其是为了避免链接时发生名称冲突（此处不适用于此：它只是编译时的别名）。更糟糕的是，如果该名称已经存在，就会引入歧义！ , 它不会污染任何其他命名空间，但是肯定会污染MyNamespace命名空间。