使用当前模板作为模板参数之一作为模板参数

Question

我正在尝试建立一个通用的图结构，但是我遇到了顶点和边之间的这种循环依赖关系。我像这样定义我的Vertex和Edge类：

template<typename EdgeType>
struct Vertex {
    std::vector<EdgeType> successors;
};

template<typename EdgeCostType, typename VertexWrapper>
struct Edge {
    EdgeCostType cost;
    VertexWrapper source;
    VertexWrapper dest;
};

我想用Vertex<Edge<int, std::shared_ptr<decltype(v)>>> v;之类的东西实例化它，但是我显然不能。如何解决此循环依赖关系？

编辑：

我认为这个问题归结为使用当前模板作为当前模板的模板参数之一的模板参数，例如如何做这样的事情：

template<typename VertexWrapper>
struct Vertex {
    std::vector<pair<int, VertexWrapper<Vertex>>> successors;
};

Answer 1

使用模板模板参数，您可以执行以下操作：

template<typename EdgeType>
struct Vertex {
    std::vector<EdgeType> successors;
};

template<typename EdgeCostType, template <typename> class VertexWrapper>
struct Edge {
    EdgeCostType cost;
    VertexWrapper<Edge> source;
    VertexWrapper<Edge> dest;
};


using myEdge = Edge<double, Vertex>;
using myVertex = Vertex<myEdge>;