Boost 二进制 static_visitor 和 apply_visitor

Question

我有以下代码：

typedef boost::variant<LandSearchParameter, WaterSearchParameter> SearchParameter;

enum Visibility{
    CLEAR,
    CLOUDY,
    FOG,
    SMOKE
};

class DetectionGenerator : public boost::static_visitor<double>{
public:

    DetectionGenerator(const EnvironmentalFactors& factors);

    double operator()(const LandSearchParameter& land, Visibility vis) const;
    double operator()(const WaterSearchParameter& water, Visibility vis) const;

private:

    const EnvironmentalFactors mFactors;
};

但如果我尝试按以下方式将其与 boost::apply_visitor 一起使用：

SearchParameter param = globeCover.generateSearch(lat, lon, altitude);
Visibility vis = weather.generateVisibility(lat, lon, altitude, bearing);
DetectionGenerator detectGen(envFactors);
double prob = boost::apply_visitor(detectGen, param, vis);

并从 gcc 获取以下内容：

错误：没有匹配的函数可调用 'apply_visitor(const SearchRescue::DetectionGenerator&, const boost::variant, boost::tuples::tuple, boost::detail::variant::void_, boost::细节::变体::void_、boost::detail::variant::void_、boost::detail::variant::void_、boost::detail::variant::void_、boost::detail::variant:: void_、boost::detail::variant::void_、boost::detail::variant::void_、boost::detail::variant::void_、boost::detail::variant::void_、boost::detail ::variant::void_、boost::detail::variant::void_、boost::detail::variant::void_、boost::detail::variant::void_、boost::detail::variant::void_ 、 boost::detail::variant::void_、boost::detail::variant::void_、boost::detail::variant::void_>&、SearchRescue::Visibility)

如果我尝试包装 < boost::variant 中的 code>Visibility 枚举我只得到相同的错误，而不是 Visibility 它读取上面的所有垃圾以及我为该名称选择的任何名称变体。我已经阅读了有关 boost 的文档 二进制访问，但我不知所措。请注意，所有这些东西都在同一个命名空间内。

更新：

问题出在我的尝试上。上面没有显示的是我将访问者作为 const 变量。一旦我从图片中取出const，它就编译了。感谢大家努力帮助我。希望我能给更多的赞成票。

Answer 1

@Boaz Yaniv 的答案 100% 正确。 boost::apply_visitor docs 直接说明：

接受两个操作数的重载会在给定变体操作数的内容上调用给定访问者的二元函数调用运算符。

Yaniv 建议的补救方法 - 在访问者的构造函数中采用 Visibility 对象 - 也是正确的修复方法。您表示这种方法对您不起作用；我保证问题出在你的尝试上，而不是方法上。 ;-] 这是可编译的代码：

#include <boost/variant.hpp>

struct LandSearchParameter { };
struct WaterSearchParameter { };
struct EnvironmentalFactors { };

typedef boost::variant<
    LandSearchParameter,
    WaterSearchParameter
> SearchParameter;

enum Visibility
{
    CLEAR,
    CLOUDY,
    FOG,
    SMOKE
};

struct DetectionGenerator : boost::static_visitor<double>
{
    DetectionGenerator(EnvironmentalFactors const& factors, Visibility vis)
      : mFactors(factors),
        mVis(vis)
    { }

    double operator ()(LandSearchParameter const&) const { return 0.; }
    double operator ()(WaterSearchParameter const&) const { return 0.; }

private:
    EnvironmentalFactors mFactors;
    Visibility mVis;
};

int main()
{
    SearchParameter param = LandSearchParameter();
    EnvironmentalFactors const envFactors;
    DetectionGenerator const detectGen(envFactors, CLOUDY);
    double const prob = boost::apply_visitor(detectGen, param);
}

如果此方法仍然无法为您工作，那么您需要编辑您的问题并使用实际的当前代码更新它。

PS 您将 Visibility 设为单一类型 boost::variant<> 的方法也应该有效，尽管对我来说这似乎很愚蠢。作为参考，编译如下：

#include <boost/variant.hpp>

struct LandSearchParameter { };
struct WaterSearchParameter { };
struct EnvironmentalFactors { };

typedef boost::variant<
    LandSearchParameter,
    WaterSearchParameter
> SearchParameter;

enum VisibilityT
{
    CLEAR,
    CLOUDY,
    FOG,
    SMOKE
};

typedef boost::variant<VisibilityT> Visibility;

struct DetectionGenerator : boost::static_visitor<double>
{
    explicit DetectionGenerator(EnvironmentalFactors const& factors)
      : mFactors(factors)
    { }

    double operator ()(LandSearchParameter const&, VisibilityT const) const
    { return 0.; }

    double operator ()(WaterSearchParameter const&, VisibilityT const) const
    { return 0.; }

private:
    EnvironmentalFactors mFactors;
};

int main()
{
    SearchParameter param = LandSearchParameter();
    EnvironmentalFactors const envFactors;
    DetectionGenerator const detectGen(envFactors);
    Visibility vis = CLOUDY;
    double const prob = boost::apply_visitor(detectGen, param, vis);
}

Answer 2

boost::apply_visitor 仅接受带有单个参数的访问者，因此它不会接受您的访问者。您也许可以通过一些绑定来修复它，但我认为更好的解决方案就是在您的DetectionGenerator类构造函数中添加Visibility参数：

class DetectionGenerator : public boost::static_visitor<double>{
public:

    DetectionGenerator(const EnvironmentalFactors& factors, Visibility vis);

    double operator()(const LandSearchParameter& land) const;
    double operator()(const WaterSearchParameter& water) const;

private:

    const EnvironmentalFactors mFactors;
    const Visibility mVis;
};

SearchParameter param = globeCover.generateSearch(lat, lon, altitude);
Visibility vis = weather.generateVisibility(lat, lon, altitude, bearing);
DetectionGenerator detectGen(envFactors, vis);
double prob = boost::apply_visitor(detectGen, param);

至于二进制访问，我认为这不是您正在寻找的。它允许 apply_visitor 接受两个参数，但两个参数都必须是变体。