boost graph之visitors

简介

vistors作为boost graph访问图属性的操作器，也是在bfs和dfs的基础，提供用户了自定义处理图中点或者边的行为

visitor

basic_visitor

base_visitor：类模板，其作为函数对象，模板参数为Visitor，void operator()(T, Graph&)其为空操作

访问器访问元素类型

主要有下点和边以及无事件类型，其中点和边类型又有细分，通过结构体来定义

• 点类型
  • on_initialize_vertex
  • on_start_vertex
  • on_discover_vertex
  • on_examine_vertex
  • on_finish_vertex
  • on_gray_target
  • on_black_target
• 边类型
  • on_examine_edge
  • on_tree_edge
  • on_non_tree_edge
  • on_forward_or_cross_edge
  • on_back_edge
  • on_finish_edge
  • on_edge_relaxed
  • on_edge_not_relaxed
  • on_edge_minimized
  • on_edge_not_minimized
• 无事件类型
  • on_no_event

定义如下

struct on_no_event { enum { num = detail::on_no_event_num }; };

  struct on_initialize_vertex {
    enum { num = detail::on_initialize_vertex_num }; };
  struct on_start_vertex { enum { num = detail::on_start_vertex_num }; };
  struct on_discover_vertex { enum { num = detail::on_discover_vertex_num }; };
  struct on_examine_vertex { enum { num = detail::on_examine_vertex_num }; };
  struct on_finish_vertex { enum { num = detail::on_finish_vertex_num }; };

  struct on_examine_edge { enum { num = detail::on_examine_edge_num }; };
  struct on_tree_edge { enum { num = detail::on_tree_edge_num }; };
  struct on_non_tree_edge { enum { num = detail::on_non_tree_edge_num }; };
  struct on_gray_target { enum { num = detail::on_gray_target_num }; };
  struct on_black_target { enum { num = detail::on_black_target_num }; };
  struct on_forward_or_cross_edge {
    enum { num = detail::on_forward_or_cross_edge_num }; };
  struct on_back_edge { enum { num = detail::on_back_edge_num }; };
  struct on_finish_edge { enum { num = detail::on_finish_edge_num }; };

  struct on_edge_relaxed { enum { num = detail::on_edge_relaxed_num }; };
  struct on_edge_not_relaxed {
    enum { num = detail::on_edge_not_relaxed_num }; };
  struct on_edge_minimized { enum { num = detail::on_edge_minimized_num }; };
  struct on_edge_not_minimized {
    enum { num = detail::on_edge_not_minimized_num }; };

visitor触发

分为单visitor和批量调用

template <class Visitor, class Rest, class T, class Graph, class Tag>
  inline void
  invoke_visitors(std::pair<Visitor, Rest>& vlist, T x, Graph& g, Tag tag) {
    typedef typename Visitor::event_filter Category;
    typedef typename is_same<Category, Tag>::type IsSameTag;
    detail::invoke_dispatch(vlist.first, x, g, IsSameTag());
    invoke_visitors(vlist.second, x, g, tag);
  }
  
  template <class Visitor, class T, class Graph, class Tag>
  inline void
  invoke_visitors(Visitor& v, T x, Graph& g, Tag) {
    typedef typename Visitor::event_filter Category;
    typedef typename is_same<Category, Tag>::type IsSameTag;
    detail::invoke_dispatch(v, x, g, IsSameTag());
  }

通过访问元素类型来作分发

template <class Visitor, class T, class Graph>
    inline void invoke_dispatch(Visitor& v, T x, Graph& g, mpl::true_) {
       v(x, g);
    }

    template <class Visitor, class T, class Graph>
    inline void invoke_dispatch(Visitor&, T, Graph&, mpl::false_)
    { }

visitor子类