使用`using`定义的类型的前向声明

Question

假设我有这种情况：

//A.hpp
#include "B.hpp"
#include "C.hpp"
#include "D.hpp"

using A = boost::variant<B, C, D>;

//B.hpp
#include <memory>

class A;
using AA = std::unique_ptr<A>;

这给了我以下错误： error: typedef redefinition with different types ('boost::variant<B, C, D>' vs 'A')

我不能在A.hpp省略#include ，因为boost::variant完整的类型。

如何转发声明using定义的A ？

如果不可能，我现在想如何避免大量的样板代码来解决我的问题。

Answer 1

我不能在A.hpp省略#include ，因为boost::variant完整的类型。

这无关紧要，因为您没有在此处实例化boost::variant 。

继续并省略#include 。

（ 现场演示 ）

然后您的问题消失了：

如何转发声明使用定义的A？

别。 再次使用using ，或者更好的是，将using语句提升到其自己的标头中，然后可以在需要的地方包含它。

Answer 2

只需替换class A; 在B.hpp中using A = boost::variant<B, C, D>;

using关键字不转发任何声明； 它只是声明了类型别名。 因此，当在“ A.hpp”中包含“ B.hpp”时，将同一个转换类（称为A的类的向前声明）和类型别名（称为A）的声明放入同一个转换单元中。