5

我原来的类结构类似于：

//def.h
namespace A
{
   struct X {};
}

并在需要时转发声明：

//file that needs forward declarations
namespace A { struct X; }

经过一些重构，X被移动到不同的命名空间，但为了保持旧代码“工作”using指令被使用：

//def.h
namespace B
{
   struct X {};
}
namespace A
{
   using ::B::X;
}

现在我们可以访问保持旧语法的同一个类A::X，但是前向声明会导致错误。第二个问题是我收到的错误消息没有指向前向声明的位置，并且查找/替换前向声明非常耗时。

现在我解决了这个问题（困难的方式）。

处理这种情况的最佳方法是什么？

IMO，根本不应该存在，并且应该重构using所有使用的代码以适应新的命名空间（这是一种解决方案），但不幸的是，这不是一个选项。X

实际代码要复杂得多，这是一个简化的示例。

4

2 回答 2

4

我意识到这更多是关于新代码而不是重构现有代码，但我喜欢使用X_fwd.hpp针对这种情况的特殊标头。

// X_def.hpp
namespace B
{
   struct X {};
}
namespace A
{
   // NOT: using namespace B; // does not participate in ADL!      
   typedef ::B::X X;  // OR: using ::B::X;
}

// X_fwd.hpp
namespace A { struct X; }

// some file needing declaration of X
#include <X_fwd.hpp>

这使得查找前向声明以及事后更改它们变得更加容易，因为更改仅在一个地方隔离（DRY ...）。

注意1typedef ：AFAIK，使用 Peter Wood 的 a 答案和您的using声明之间没有技术区别。请注意，using指令using namespace B;可能会导致麻烦，因为Argument-Dependent-Lookup会忽略这些指令。更糟糕的是，您的某些代码甚至可能会默默地调用错误的函数重载，因为您不再拉入新的命名空间B！

注意2 ：在问题的评论中，给出了一个Ideone示例。这很好地说明了名称空间内名称查找的一个微妙之处：引用标准草案，第3.4.3.2 节命名空间成员 [namespace.qual]，第 2节

对于命名空间 X 和名称 m，命名空间限定查找集 S(X, m) 定义如下： 令 S'(X, m) 是 X 中所有 m 声明的集合和 X 的内联命名空间集(7.3.1)。如果 S'(X, m) 不为空，则 S(X, m) 为 S'(X, m)；否则，S(X, m) 是 S(Ni, m) 的并集，用于通过 X 中的 using 指令指定的所有命名空间 Ni 及其内联命名空间集。

这解释了以下棘手的歧义

namespace A
{
    struct X1{};
    struct X2{};
}

namespace B
{
    using A::X1;    // OK: lookup-set is both namespace A and B, and a single unique name is found (at this point!)
    struct X1;      // OK: lookup-set is namespace B, and a single unique name is found

    struct X2;      // OK: lookup-set is namespace B, and a single unique name is found
    using A::X2;    // error: lookup-set is both namespace A and B, and no unique name is found (at this point!)
}

因此，在命名空间内同时具有直接声明和具有相同名称的 using 声明的有效性取决于顺序。因此，在 fwd 头文件中进行单个声明很方便。

于 2013-01-09T13:28:05.480 回答
1

最好的方法是修复代码。

您可以分两步完成：

  1. 修复所有前向声明
  2. 消除using ::B::X;
于 2013-01-09T13:06:12.637 回答