StateMachine с std :: вариантом, получая право вычета пользовательского шаблона - PullRequest
Новая
       37

StateMachine с std :: вариантом, получая право вычета пользовательского шаблона

0 голосов
/ 24 ноября 2018

С помощью следующего кода, как мне правильно написать вывод шаблона? 

template<class R, class State, class... Ts> struct visitor : Ts... { using  Ts::operator()...; };
template<class R, class State, class... Ts> visitor(State, Ts...)->visitor<class R, State,Ts...>;

using Event = std::variant<HeartBeat, ConfigurationRead>;
using State = std::variant<Idle, Starting, Running, Error>;

void case3()
{
    Event e;
    State currentState;
    State newState = std::visit( visitor{
        [](Idle&& state, HeartBeat event) {std::cout << "Currently stopped, heartbeat received.\n"; return Error{}; }
    }, currentState, e);
}

Я просмотрел несколько примеров, но не могу найти один, который использует возврат std :: visit.

1 Ответ

0 голосов
/ 25 ноября 2018

Вашему посетителю не нужно выводить и кодировать тип возвращаемого значения R - один будет выведен самим std::visit: выведено из вызываемого или зафиксировано в указанном аргументе шаблона (см. Ниже).При этом его можно упростить до: 

template <typename... Ts> struct visitor : Ts... { using Ts::operator()...; };
template <typename... Ts> visitor(Ts...) -> visitor<Ts...>;

В каждый посетитель, однако, должен возвращать один и тот же тип.Вы можете избежать любого несоответствия типов, например, явно указав его для каждого лямбда-выражения: 

State newState = std::visit( visitor{
        [](Idle state, HeartBeat event) -> State { return Error{}; },
        //                                 ~~~~^
        [](auto state, auto event) -> State { return state; }
        //                            ~~~~^
    }, currentState, e);

DEMO

In, тип возвращаемого значения может быть указан в качестве первого аргумента шаблона std::visit: 

State newState = std::visit<State>( visitor{
        //                  ~~~~^
        [](Idle state, HeartBeat event) { return Error{}; },
        [](auto state, auto event) { return state; }
    }, currentState, e);
...