c++ - boost::graph 编译问题与 dynamic_properties 和 write_graphviz

Question

这个问题是关于 boost::graph 以及如何处理与顶点(和/或边)相关联的属性。我对处理这个问题很困惑，但我怀疑它可能是与模板相关的问题。

假设我有这个图形定义:

struct myVertex_t {
    int color;
};

typedef boost::adjacency_list<
    boost::vecS,                   // edge container
    boost::vecS,                   // vertex container
    boost::undirectedS,            // type of graph
    myVertex_t,                    // vertex properties
    boost::property<               // edge properties
        boost::edge_color_t,             // ???
        boost::default_color_type        // enum, holds 5 colors
    >
> myGraph_t;

据我所知，这种存储顶点属性的方式称为“bundle properties”并且似乎是存储此信息的第三种方式，尽管据说 in the manual那:

There are two kinds of graph properties: interior and exterior.

回到我的主要问题。现在，我可以通过这种方式使用“点”格式实例化并打印出图形:

 int main()
 {
    myGraph_t g;
    boost::add_edge(0, 1, g);

    boost::dynamic_properties dp;
    dp.property("color",   boost::get( &myVertex_t::color,  g ) );
    dp.property("node_id", boost::get( boost::vertex_index, g ) );
    boost::write_graphviz_dp( std::cout , g, dp);
 }

Online here

这是基于this answer在类似的问题中，并且编译得很好。

现在我想在一个单独的函数中分离打印，所以我在模板函数中编写了相同代码，只是用模板类型参数替换了具体类型:

template<typename graph_t, typename vertex_t>
void RenderGraph( const graph_t& g )
{
    boost::dynamic_properties dp;
    dp.property( "color",   boost::get( &vertex_t::color,    g ) );
    dp.property( "node_id", boost::get( boost::vertex_index, g ) );
    boost::write_graphviz_dp( std::cout, g, dp );
}

int main()
{
    myGraph_t g;
    boost::add_edge(0, 1, g);

    RenderGraph<myGraph_t,myVertex_t>( g );
}

但是这个does not compile :

property_map.hpp:361:44: error: assignment of read-only location ...

知道我做错了什么吗？

Answer 1

property_map.hpp:361:44: error: assignment of read-only location ...

是的，可悲的是 g 是 const 的事实使得默认的 property 工厂函数是非法的。如果模型允许，动态属性以可写的方式构造:

Requirements: PropertyMap must model Readable Property Map or Read/Write Property Map.

由于属性映射是可写的，所以动态属性也编译写分支。

您必须将参数作为非常量或手动覆盖底层映射的属性特征(示例请参见此处的注释 (Cut set of a graph, Boost Graph Library))。

您可能会考虑将此报告为可用性问题，因为从逻辑上讲，属性应该在那里是常量。