Неверное использование неполного типа в реализации шаблонного состояния ⇐ C++

[Anonymous]

Я довольно новичок в программировании шаблонов, так что со мной. Я написал следующую реализацию машины общего состояния: < /p>
#include
#include
#include

template
class StateMachine
{
public:
StateMachine() : states_(Ss(this)...) {}

template
void setState()
{
current_state_ = &std::get(states_);
}

template
void emitEvent(E event)
{
setState();
}

void process()
{
std::visit([](auto &arg) {arg->process();}, current_state_);
}

private:
std::tuple states_;
std::variant current_state_ { &std::get(states_) };
};

template
class State
{
public:
State(SM* sm) : state_machine_(sm) {}
virtual void process() {};

protected:
SM* state_machine_;
};

namespace impl
{

/* Forward declarations */
class RunState;
class IdleState;

/* Events */
struct StopEvent {};
struct StartEvent {};

/* Transition map */
template
struct TransitionMap;

template
struct TransitionMap
{
using type = IdleState;
};

template
struct TransitionMap
{
using type = RunState;
};

template
struct TransitionMap
{
using type = IdleState;
};

template
struct TransitionMap
{
using type = RunState;
};

class IdleState : State
{
public:
/* Use parent constructor */
using State::State;
void process() override
{
std::cout

Подробнее здесь: https://stackoverflow.com/questions/795 ... ementation