Вы бы нарезали . Вам нужно динамическое распределение c. Самый быстрый способ - использовать стирание типа.
Хитрость заключается в создании фиксированного статически известного прототипа. В этом случае это будет двоичная функция, и вы можете добавить диспетчер apply_visitor
к объекту Mul
:
Live On Coliru
#include <boost/variant.hpp>
#include <functional>
#include <iostream>
#include <map>
using VariableValue = boost::variant<int, double>;
struct Mul : boost::static_visitor<VariableValue> {
struct high_priority{};
struct low_priority{};
auto operator() (VariableValue const& a, VariableValue const& b) const {
return boost::apply_visitor(*this, a, b);
}
template <typename T, typename U>
auto operator() (high_priority, T a, U b) const -> decltype(VariableValue(a * b)) {
return a * b;
}
template <typename T, typename U>
VariableValue operator() (low_priority, T, U) const {
throw std::runtime_error("Incompatible arguments");
}
template <typename T, typename U>
VariableValue operator() (T a, U b) const {
return (*this)(high_priority{}, a, b);
}
};
const std::map < int, std::function<VariableValue(VariableValue const&, VariableValue const&)> > binopHelper = {
{1, Mul{}}
};
int main() {
VariableValue i(42), d(3.1415926);
std::cout << binopHelper.at(1)(i, d) << "\n";
std::cout << binopHelper.at(1)(d, i) << "\n";
}
Отпечатки:
131.947
131.947
ДОПОЛНИТЕЛЬНЫЕ ИДЕИ
Похоже, вы выполняете оценку выражений. Вы можете сделать это намного проще, например, повторно используя стандартную библиотеку. У меня есть довольно обширное демо здесь: https://github.com/sehe/qi-extended-parser-evaluator/blob/master/eval.h#L360 Это было разработано на [SO] в обсуждении в чате здесь: https://chat.stackoverflow.com/transcript/210289/2020/3/25
Спросите меня, если вы хочу узнать больше.
В частности, там показан код, показывающий, как обрабатывать несоответствия типов и неявные преобразования bool, где это уместно.