boost::fusion::map 使用不可复制值类型初始化的生成器

Question

我想创建一个底座 class，它可以包含 N 个插座。这些是 ZeroMQ 套接字，它们是不可复制的。在那种情况下，base class 通常可以在托管套接字和其他服务功能上实现关闭行为。而派生 classes 可以使用标记类型访问所需的套接字。

我的想法是使用 boost::fusion::map。套接字类型不是默认可构造的，因此我需要作为参数传递：对上下文的引用和标识套接字类型的 int（ZMQ_{SOCKET_TYPE} 即 int）。最后，应该有一个生成器函数来创建一个 socket_t 放在 fusion::map 中。现在的想法是使用 fusion::repetitive_view，因为套接字具有所有相同的初始化参数。

现在的问题是：如果我手动将 socket_t{context, int}, socket_t{context, int} 个实例传递给 fusion::map ctor，一切正常。使用生成器导致编译表明 socket_t 不可复制。

这是我尝试编译的简化代码：

#include <boost/mpl/transform.hpp>
#include <boost/fusion/include/pair.hpp>

#include <boost/fusion/include/map.hpp>
#include <boost/fusion/container/generation/make_vector.hpp>


using namespace std;
namespace mpl = boost::mpl;
namespace fus = boost::fusion;

struct context_t : boost::noncopyable
{};

struct socket_t : boost::noncopyable
{
  socket_t(context_t& context, int type) : context_{&context}, type_{type}
  {}

  socket_t(socket_t&& s) : context_{s.context_}, type_{s.type_}
  {}

  socket_t& operator=(socket_t&& s)
  {
    context_ = s.context_;
    type_ = s.type_;
    return *this;
  }

  void use_fields()const
  { // just to avoid warnings that fields are not used
    (void)context_;
    (void)type_;
  }

private:
  context_t* context_;
  int type_;
};

// we need a view of keys in conjunction with the context
template<class T>
auto infinite_context(fus::vector<T> v)
{
  return fus::repetitive_view<fus::vector<T>>{v};
}


template<class... Pairs>
struct base_type
{
  typedef fus::map<Pairs...> tagged_map;

  base_type() : context_{} //, sockets_{}
  {}

  context_t context_;
  //fus::map<Pairs...> sockets_;
};

struct tag1 {};
struct tag2 {};


int main(int argc, char* argv[])
{
  context_t c;

  typedef base_type<fus::pair<tag1, socket_t>, fus::pair<tag2, socket_t>> test_me_type;


  auto g = infinite_context(fus::make_vector([&c]()->socket_t{ return {c, 1}; }));

  test_me_type::tagged_map m1{socket_t{c, 1}, socket_t{c, 1}}; //OK
  //test_me_type::tagged_map m2{g}; //Error: access to deleted copy ctor!

  (void)g;
  (void)m1;
  //(void)m2;

  return 0;
}

IMO 的问题是，在 fusion::repetitive_view 中使用的 fusion::vector 实例变得不可复制...因此无法生成。如何生成 N socket_t 个实例并将其转发到 fusion::map?

Answer 1

好的解决了。

关键是引入一个可复制的代理对象，它具有到 fusion::pair<TagType, socket_t> 的隐式转换运算符。缺少的片段是：

struct convertible
{
  convertible(context_t& c, int t)
    : c_{&c}
    , t_{t}
  {}

  template<class Tag>
  operator fus::pair<Tag, socket_t>()const
  {
    return socket_t{*c_, t_};
  }

private:
  context_t* c_;
  int t_;
};

int main(int argc, char* argv[])
{
  context_t c;

  typedef base_type<fus::pair<tag1, socket_t>, fus::pair<tag2, socket_t>> test_me_type;

  auto g = infinite_context(fus::make_vector(convertible{c, 1}));

  test_me_type::tagged_map m1{socket_t{c, 1}, socket_t{c, 1}}; //OK
  test_me_type::tagged_map m2{g}; //OK as well!


  (void)g;
  (void)m1;
  (void)m2;

  return 0;
}

boost::fusion::map 使用不可复制值类型初始化的生成器

generator for boost::fusion::map initialization with noncopyable value type

c++

boost

metaprogramming

fusion