我有一个图形结构,其中顶点可以有多种类型的边。
顶点类型是多态的,它们必须能够分类"边缘取决于它们的类型并相应地存储它们,但我希望能够在"基础级别"检索所有边缘。不知道它们是如何存储的。
我试图使用boost :: adapters :: transformed,boost :: range :: join和boost :: any_range来实现这一点。
一个例子:
#include <iostream>
#include <sstream>
#include <set>
#include <memory>
#include <boost/range/adaptor/transformed.hpp>
#include <boost/range/join.hpp>
#include <boost/range/any_range.hpp>
// forward declarations
class BaseVertex;
class DerivedVertex1;
class DerivedVertex2;
struct TransformCaster
{
typedef std::shared_ptr<BaseVertex> result_type;
std::shared_ptr<BaseVertex> operator()(std::shared_ptr<DerivedVertex1> d1) const { return std::static_pointer_cast<BaseVertex>(d1); }
std::shared_ptr<BaseVertex> operator()(std::shared_ptr<DerivedVertex2> d2) const { return std::static_pointer_cast<BaseVertex>(d2); }
};
class BaseVertex
{
public:
BaseVertex(size_t id): id_(id){}
virtual ~BaseVertex () {}
virtual std::stringstream name()
{std::stringstream ss; ss << "Base " << id_; return ss;}
virtual boost::any_range<std::shared_ptr<BaseVertex>,boost::forward_traversal_tag> getEdges() const = 0;
protected:
size_t id_;
};
class DerivedVertex1 : public BaseVertex
{
public:
DerivedVertex1(size_t id): BaseVertex(id){}
virtual std::stringstream name()
{std::stringstream ss; ss << "Derived1 " << id_; return ss;}
void addEdge1(const std::shared_ptr<DerivedVertex1>& rel)
{ relations_1_.insert(rel); }
void addEdge2(const std::shared_ptr<DerivedVertex2>& rel)
{ relations_2_.insert(rel); }
virtual boost::any_range<std::shared_ptr<BaseVertex>,boost::forward_traversal_tag> getEdges() const
{
// These are temporary, right?
auto range1 = relations_1_ | boost::adaptors::transformed(TransformCaster());
auto range2 = relations_2_ | boost::adaptors::transformed(TransformCaster());
auto joined_range = boost::range::join(range1, range2);
// This is wrapping temporary transformed ranges?
boost::any_range<std::shared_ptr<BaseVertex>,boost::forward_traversal_tag> poly_range(joined_range);
return poly_range;
}
private:
std::set<std::shared_ptr<DerivedVertex1>> relations_1_;
std::set<std::shared_ptr<DerivedVertex2>> relations_2_;
};
class DerivedVertex2 : public BaseVertex
{
public:
DerivedVertex2(size_t id): BaseVertex(id){}
virtual std::stringstream name()
{std::stringstream ss; ss << "Derived2 " << id_; return ss;}
void addEdge1(const std::shared_ptr<DerivedVertex1>& rel)
{ relations_1_.insert(rel); }
void addEdge2(const std::shared_ptr<DerivedVertex2>& rel)
{ relations_2_.insert(rel); }
virtual boost::any_range<std::shared_ptr<BaseVertex>,boost::forward_traversal_tag> getEdges() const
{
// These are temporary, right?
auto range1 = relations_1_ | boost::adaptors::transformed(TransformCaster());
auto range2 = relations_2_ | boost::adaptors::transformed(TransformCaster());
auto joined_range = boost::range::join(range1, range2);
// This is wrapping temporary transformed ranges?
boost::any_range<std::shared_ptr<BaseVertex>,boost::forward_traversal_tag> poly_range(joined_range);
return poly_range;
}
private:
std::set<std::shared_ptr<DerivedVertex1>> relations_1_;
std::set<std::shared_ptr<DerivedVertex2>> relations_2_;
};
int main()
{
std::shared_ptr<DerivedVertex1> derived1 = std::make_shared<DerivedVertex1>(0);
std::shared_ptr<DerivedVertex2> derived2 = std::make_shared<DerivedVertex2>(1);
derived1->addEdge1(derived1); // self pointing edge
derived1->addEdge2(derived2); // edge towards other
std::shared_ptr<BaseVertex> base = std::static_pointer_cast<BaseVertex>(derived1);
// segfault on getEdges()
for(auto& e : base->getEdges())
std::cout << e->name().str() << std::endl;
return 0;
}
这给了我getEdges()评估的段错误。据我了解,any_range保持对临时变量boost :: adapters :: tranformed的引用。我试图将变换适配器范围保持为类成员变量,但它没有工作。
使用any_range是否有正确的方法来实现这一目标? transform_iterator / any_iterator类型可以作为答案,还是会遇到类似的问题?
答案 0 :(得分:1)
该错误归因于boost::range::detail::any_iterator doesn't play well with boost::zip_iterator(Trac问题#10493)
解决方法是将any_range的引用类型设为const值:
using BaseVertexRange = boost::any_range<BaseVertexPtr, boost::forward_traversal_tag, BaseVertexPtr const>;
观看演示 Live On Coliru
我可以建议使用带有变量类型的面向值的图表表示。有一个较旧的答案显示Graph with two types of nodes
注意由于自我边缘,这仍然会导致泄漏内存的设计问题。
我可以建议简化单个边集合:
<强> Live On Coliru 强>
#include <iostream>
#include <memory>
#include <set>
#include <sstream>
class BaseVertex {
public:
BaseVertex(size_t id) : id_(id) {}
virtual ~BaseVertex() {}
virtual std::string name() { return "Base " + std::to_string(id_); }
void addEdge(std::shared_ptr<BaseVertex> rel) { _relations.insert(std::move(rel)); }
auto getEdges() const {
return _relations;
}
protected:
int id_;
std::set<std::shared_ptr<BaseVertex> > _relations;
};
class DerivedVertex1 : public BaseVertex {
public:
DerivedVertex1(size_t id) : BaseVertex(id) {}
virtual std::string name() { return "DerivedVertex1 " + std::to_string(id_); }
};
class DerivedVertex2 : public BaseVertex {
public:
DerivedVertex2(size_t id) : BaseVertex(id) {}
virtual std::string name() { return "DerivedVertex2 " + std::to_string(id_); }
};
int main() {
auto derived1 = std::make_shared<DerivedVertex1>(0);
auto derived2 = std::make_shared<DerivedVertex2>(1);
derived1->addEdge(derived1); // self pointing edge
derived1->addEdge(derived2); // edge towards other
for (auto& e : derived1->getEdges())
std::cout << e->name() << std::endl;
}
注意由于自我边缘,这仍然会导致泄漏内存的设计问题。
如果有单独的边集合的原因仅仅是因为顶点同时是不同图形的一部分,那就这样做吧!
<强> Live On Coliru 强>
打印
==== first graph
DerivedVertex1 0 --> DerivedVertex1 0
==== second graph
DerivedVertex1 0 --> DerivedVertex2 1
DerivedVertex2 1 -->
我建议在这种情况下进行一些简化:
<强> Live On Coliru 强>
#include <iostream>
#include <memory>
#include <set>
#include <sstream>
class BaseVertex {
public:
BaseVertex(size_t id) : id_(id) {}
virtual ~BaseVertex() {}
virtual std::string name() { return "Base " + std::to_string(id_); }
protected:
int id_;
};
class DerivedVertex1 : public BaseVertex {
public:
DerivedVertex1(size_t id) : BaseVertex(id) {}
virtual std::string name() { return "DerivedVertex1 " + std::to_string(id_); }
};
class DerivedVertex2 : public BaseVertex {
public:
DerivedVertex2(size_t id) : BaseVertex(id) {}
virtual std::string name() { return "DerivedVertex2 " + std::to_string(id_); }
};
#include <boost/graph/adjacency_list.hpp>
#include <boost/property_map/transform_value_property_map.hpp>
using Graph = boost::adjacency_list<boost::vecS, boost::vecS, boost::directedS, std::shared_ptr<BaseVertex> >;
void DebugPrint(std::string const& caption, Graph const& g);
int main() {
auto derived1 = std::make_shared<DerivedVertex1>(0);
auto derived2 = std::make_shared<DerivedVertex2>(1);
Graph g1, g2;
{
auto v1 = add_vertex(derived1, g1);
add_edge(v1, v1, g1);
}
{
auto v1 = add_vertex(derived1, g2);
auto v2 = add_vertex(derived2, g2);
add_edge(v1, v2, g2);
}
DebugPrint("first graph", g1);
DebugPrint("second graph", g2);
}
#include <boost/graph/graph_utility.hpp>
void DebugPrint(std::string const& caption, Graph const& g) {
auto name_map = boost::make_transform_value_property_map(std::mem_fn(&BaseVertex::name), get(boost::vertex_bundle, g));
boost::print_graph(g, name_map, std::cout << "==== " << caption << "\n");
}