boost::static_cvisitor作为映射值

Question

我正在尝试为int创建一个查找表，以提升：static_cvisitor

using VariableValue = boost::variant<int, double, std::string>;
struct low_priority {};
struct high_priority : low_priority {};
struct Mul : boost::static_visitor < VariableValue>{
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, boost::static_visitor<VariableValue> > binopHelper = {
{1, Mul{}}
};

然而，当我做以下事情时：

std::cout << (VariableValue)boost::apply_visitor(binopHelper.at(1), (VariableValue)2, (VariableValue)4) << std::endl;

我得到错误：

term的计算结果不是一个带2个参数的函数(编译源文件解释器.cpp(

如何使static_viewer使用2个参数来匹配Mul的参数？

Answer 1

您将进行切片。您需要动态分配。最快的方法是使用类型擦除。

诀窍是想出一个固定的静态已知原型。在这种情况下，一个二进制函数就是它，您可以将apply_visitor调度添加到Mul对象：

在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

额外的想法

看起来您正在实现表达式求值。你可以做得简单得多，例如重新使用stadard库。我在这里有一个相当广泛的演示：https://github.com/sehe/qi-extended-parser-evaluator/blob/master/eval.h#L360它是在[SO]上的一次聊天讨论中开发的：https://chat.stackoverflow.com/transcript/210289/2020/3/25

如果你想了解更多，可以问我任何问题。

具体来说，这里的代码展示了如何在适当的情况下处理类型不匹配和隐式布尔转换。