似乎boost::sml::sm
没有任何特定的重置方法,并且缺少移动分配运算符,因此我无法执行类似分配新实例的操作(例如machine = boost::sml::sm<MyMachine>{}
)。我当前的方法是将dtor和ctor适当地调用的一个丑陋技巧:
machine.~sm();
new (&machine) std::decay_t<decltype(machine)>();
有更好的方法吗?
答案 0 :(得分:0)
只需像往常一样做(即从不实际写):使用包装器来管理生存期,例如使用C:\Users\[username]\AppData\Roaming\Microsoft\Windows\PowerShell\PSReadline\ConsoleHost_history.txt
或optional
。
示例:
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();
}
}