если без switch, то получится что-то типа

if(need_if) 
{
      if(is_alive) {
        // ... code
      }
} else {
       // ... code
}

Здесь именно гемор в том, что один и тот же код приходится копировать и вставлять

в двух местах

Либо же goto надо юзать

match need_if {
    true if is_alive => false,
    false => ...,
    _ => ...,
}

В rust Хиндли Милнера ещё не завезли?

Вообще не ебу кто это

не нужно

Не, Тилль, это другое

То подставление на уровне компиляции, а тут код будет на уровне компиляции воткнут, просто без лямбд или свитчей порнуха получается

Система вывода типов как в хаскеле, чтоб параметры шаблонов сами выводились из контекста

У меня на практике был случай, когда такой принцип нужен был, в итоге пришлось по другому логику строить потому что кроме switch ничего дельного не было, лямбда или goto не в счет

Я не шарю, но параметры-типы успешно выводятся компилятором

А DSL слабо хуякнуть?

Я тупой слишком для такого

@h4cktill подскажи пожалуйста, если я принимаю std::functuin как &&, должен ли я выполнить std::move или там std::forward ?

Обычно std::forward для && используется

Эта функция имеет 2 вызова

    template<typename BaseType>
    bool RegMsgCallback(const NET_SERVER_TYPE type, const uint16_t protoid, BaseType* pBase, void (BaseType::*handleRecv)(const CNetMsg&))
    {
        NET_MSG_FUNCTOR functor = std::bind(handleRecv, pBase);
        return RegMsgCallback(type, protoid, std::move(functor));
    }

    bool RegMsgCallback(const NET_SERVER_TYPE type, const uint16_t protoid, NET_MSG_FUNCTOR&& cb);

Это в .hpp