Question

让我们和Bulldog一起散步：）

假设我有一个名称空间Street::House（在名称空间Street内），其中类Bulldog 声明为（让它在House/Bulldog.hpp中）：

namespace Street {
namespace House {
class Bulldog {};
}
}

然后，我有Bulldog.hpp：

#include "House/Bulldog.hpp"    

namespace Street {
using House::Bulldog;
}

注意正在发生的事情：我Street::House::Bulldog <{1}}的{{1}}声明为Street Street::Bulldog using声明Owner.hpp。

然后，我有Bulldog，其中namespace Street { class Bulldog; class Owner { Bulldog* bulldog; }; }类向前宣布：

Owner.cpp

最后，我有#include "Owner.hpp" #include "Bulldog.hpp" namespace Street { // Implementation of Owner... }：

Owner.cpp

error: 'Bulldog' is already declared in this scope：

中出现编译错误

Bulldog

这种现象的自然解释似乎是C ++将这两个Bulldog类视为不同，但为什么呢？在这种情况下，我看不出任何歧义，即如果编译器正确实现，它实际上可以工作。

您可以建议哪些变通方法？我能想到的只是从Owner.hpp移除#include "Bulldog.hpp"的前向声明，并将Owner.cpp从Owner.hpp移到{{1}}。但是，这将导致完全包含而不是前向声明。

Answer 1

您似乎可以通过将Bulldog.hpp更改为

来解决此问题

namespace Street {
    namespace House {
        class Bulldog;
    }
    using House::Bulldog;

    // ...
}

这对Clang来说很有用。

Answer 2

你写的

Owner.hpp：

namespace Street {
class Bulldog;

class Owner {
  Bulldog* bulldog;
};
}

应该是

namespace Street {
namespace House {
class Bulldog;
}

class Owner {
  House::Bulldog* bulldog;
};
}

您不小心向前宣布Street::Bulldog，而不是真正的班级，而不是Street::House::Bulldog，其中是真正的班级。因此，您在Owner.cpp中的实施受到了骚扰，因为Bulldog*含糊不清。它不知道你是引用声明的类Street::Bulldog还是声明的（也是定义的，虽然编译器不关心）Street::House::Bulldog。 / p>

由于您要转发声明的类是Street::House::Bulldog，因此您需要在House文件的声明中包含第二个.hpp命名空间。

使用声明与前瞻声明之间的冲突

2 个答案: