在std :: variant

问题描述

我正在尝试在以下情况下处理循环依赖：

我有一个std :: variant，说：

//types.h
using Types = std::variant<int,double,std::string,SomeClass>;

SomeClass是非常简单的东西，只包含几个指针，带有一些模板逻辑：

#someclass.h
class SomeClass {
    // few simple members (pointers and an integer)
    
    void use(Types arg); // note usage of Types here

    template<typename T,typename Ts...> // implicitly assuming T == Ts... == Types
    void use(T arg,Ts... tail) {
        use(arg);
        use(tail...);
    }

    SomeClass(const SomeClass&) = default; // works fine
};

通常，我会在“使用Types ...”之前转发声明SomeClass，但是当涉及std :: variant时，这是无法完成的。我还没有真正找到一种方法来向前声明“ using”指令。

我发现的一种方法是向前声明SomeClass并在Types中使用指向它的指针，但是我不喜欢这个想法（SomeClass是一个寿命很短的轻量级对象，我想将其保留在堆外）。

在C ++中还有其他方法（在指针旁边）来解决这一问题吗？我的想法不多了。

谢谢：）

编辑：

仅当我在真正定义SomeClass之前尝试使用Types时，该问题才会实际出现，请参阅https://godbolt.org/z/4jzhEd

解决方法

在live example you provided中，您需要解决的所有问题是在SomeStruct之后定义SomeClass。

这样，在定义Types时，您的SomeStruct变体将不再具有任何不完整的类型。换句话说，这是顺序：

class SomeClass;

using Types = std::variant<...,SomeClass>;

class SomeClass {
   // ... // Types used here,but doesn't need to have all complete types
};

struct SomeStruct {
    Types value;
    // ...
};

See here for a live example.

c++c++17 circular-dependency variant variant