0

我有一个关于循环模板引用的问题。我想使用类节点和类边缘制作一棵树，如下所示；

template <typename EdgeT>
class node
{
public:
    std::vector<EdgeT> edge_out;
    std::vector<EdgeT> edge_in;
};


template <typename NodeT>
class edge
{
public:
    NodeT* src;
    NodeT* dst;
    int weight;
};


template <typename NodeT, typename EdgeT>
class graph
{
public:
    std::vector<NodeT> nodes;
};

我发现我无法声明图形类 ex：

graph< node, edge > g; // <--- this cannot be solved 

graph< node< edge <node.....>, edge< node< edge>>  >  //it makes infinity declaration..

如何重新定义类的结构？

4

2 回答 2

3

这是一种方法：

#include <vector>

template<template<typename NodeT,typename T>class EdgeT, typename T=double>
struct Node {
   typedef Node<EdgeT,T> self_type;
   typedef EdgeT<self_type, T> edge_type;
   std::vector<edge_type> edge_out;
   std::vector<edge_type> edge_in;
   T data;
};

template<typename NodeT,typename T>
struct Edge {
   typedef NodeT node_type;
   node_type* src;
   node_type* dst;
   int weight;
};

template<typename NodeT, typename EdgeT=typename NodeT::edge_type>
struct graph {
   typedef NodeT node_type;
   typedef EdgeT edge_type;
   std::vector<NodeT> nodes;
};

int main() {
   typedef graph< Node<Edge> > graph_type;
   graph_type my_graph;
   my_graph.nodes.push_back( graph_type::node_type() );
   my_graph.nodes.push_back( graph_type::node_type() );
   my_graph.nodes.front().edge_out.push_back( {&my_graph.nodes[0], &my_graph.nodes[1], 1} );
   my_graph.nodes.back().edge_in.push_back( {&my_graph.nodes[0], &my_graph.nodes[1], 1} );
}

对于另一种方法，您可以查看如何boost::variant处理递归变体。

解决这个问题的另一种方法是更正式的。C++ 模板元编程是一种函数式语言——函数式编程中有多种技术可以描述递归结构而无需使用前向声明。

我打赌某种定点组合器可能会起作用，但我无法弄清楚如何。:)

于 2013-03-11T02:45:33.047 回答
0

您需要弄清楚为什么需要使用模板。例如，如果您想让数据在边缘动态，您可以使用：

//foward declaration
template <typename T>
class node
{
std::vector<Edge<T> > edge_out;
std::vector<Edge<T> > edge_in; 
} 


template <typename T>
class edge
{
Node<T>* src;
Node<T>* dst;
T    weight
}


template <typename T>
class graph
{
std::vector<Node<T> > nodes;
}

同样，如果您想在节点中拥有不同的数据。但总的来说，最好事先弄清楚模板的原因。我看过过度模板化的生产代码，它非常难以维护。

于 2013-03-11T02:09:38.413 回答