boost msm 无法处理多态事件？

Question

我正在使用 boost:msm 创建状态机。似乎在处理事件时，状态机并不关心多态性。

假设我有多个事件都源自一个基本事件：

struct EvtBase { virtual ~EvtBase();}

struct EvtA : EvtBase {};
struct EvtB : EvtBase {};

如果我通过基本事件类型的指针将一堆事件存储在向量中：

typedef std::shared_ptr<EvtBase> ptrEvt;
std::vector<ptrEvt> event_list {std::make_shared<EvtA>(), std::make_shared<EvtB>()};

当我通过状态机处理这些事件时：

for (const auto& pEvt: event_list) {
    fsm.process_event(*pEvt);
}

boost::msm 状态机认为它接收到EvtBase，而不是指针指向的实际事件。

我做错了什么，还是有办法改变这种行为并使process_event尊重多态性？

Answer 1

正如@Alessandro Teruzzi 使用boost::variant 所建议的那样（由于缺少c++17），这就是我所做的：

#include "boost/variant.hpp"

// A typedef of boost::variant, put all event here
typedef boost::variant<EvtA, EvtB, EvtC> EvtType;

// This is the static visitor functor, I use it to store a pointer to fsm as 
// well because I don't know how to make operator() take a second parameter
template <class FSM>
class ProcessEvent : boost::static_visitor<> {
public:
  ProcessEvent(FSM* pfsm) : pFsm(pfsm) {}  // used to pass in pointer to fsm

  template <class Event>
  void operator()(Event& evt) const {
    pFsm->process_event(evt);
  }

private:
  FSM* pFsm;
} // ProcessEvent

// This is the function I actually call
template <class FSM>
void fsm_process_event(FSM& fsm, EvtType v) {
  ProcessEvent<FSM> fsm_process_event(&fsm);
  boost::apply_visitor(fsm_process_event, v);
}

所以当我有一个事件向量时，我可以这样做：

for (const auto& evt: EventList) {
  fsm_process_event(some_fsm, evt);
}

我验证了状态机确实可以正常工作。