2

我正在尝试为 ints 创建一个查找表到 boost::static_visitor

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;

我得到错误：

术语不计算为带 2 个参数的函数（编译源文件解释器.cpp）

我怎样才能使 static_visitor 需要 2 个参数来匹配Mul？

4

1 回答 1

2

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

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

住在科利鲁

#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 转换。

于 2020-05-02T20:16:01.737 回答