如何重置boost :: sml :: sm实例

时间:2018-06-20 06:40:26

标签: c++ boost state-machine

似乎boost::sml::sm没有任何特定的重置方法,并且缺少移动分配运算符,因此我无法执行类似分配新实例的操作(例如machine = boost::sml::sm<MyMachine>{})。我当前的方法是将dtor和ctor适当地调用的一个丑陋技巧:

machine.~sm();
new (&machine) std::decay_t<decltype(machine)>();

有更好的方法吗?

1 个答案:

答案 0 :(得分:0)

只需像往常一样做(即从不实际写):使用包装器来管理生存期,例如使用C:\Users\[username]\AppData\Roaming\Microsoft\Windows\PowerShell\PSReadline\ConsoleHost_history.txt optional

示例:

Live On Coliru

unique_ptr

打印

//
// Copyright (c) 2016-2018 Kris Jusiak (kris at jusiak dot net)
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
#include <boost/sml.hpp>
#include <cassert>

namespace sml = boost::sml;

namespace {
// events
struct release {};
struct ack {};
struct fin {};
struct timeout {};

// guards
const auto is_ack_valid = [](const ack&) { return true; };
const auto is_fin_valid = [](const fin&) { return true; };

// actions
const auto send_fin = [] {};
const auto send_ack = [] {};

struct hello_world {
  auto operator()() const {
    using namespace sml;
    // clang-format off
    return make_transition_table(
      *"established"_s + event<release> / send_fin = "fin wait 1"_s,
       "fin wait 1"_s + event<ack> [ is_ack_valid ] = "fin wait 2"_s,
       "fin wait 2"_s + event<fin> [ is_fin_valid ] / send_ack = "timed wait"_s,
       "timed wait"_s + event<timeout> / send_ack = X
    );
    // clang-format on
  }
};
}

#include <boost/optional.hpp>
#include <iostream>
int main() {
  using namespace sml;

  boost::optional<sm<hello_world> > m;

  static_assert(2 == sizeof(m), "sizeof(m) != 2b");

  auto run = [&] {
      assert(m->is("established"_s));

      m->process_event(release{});
      assert(m->is("fin wait 1"_s));

      m->process_event(ack{});
      assert(m->is("fin wait 2"_s));

      m->process_event(fin{});
      assert(m->is("timed wait"_s));

      m->process_event(timeout{});
      assert(m->is(X));  // released
  };

  for (auto i : {1,2,3}) {
      std::cout << "Run " << i << "\n";
      m.emplace(); // default constructs a sm in-place
      run();
  }
}