使用访问者中的Boost变体中的类型不编译

我在整个项目中都使用boost-variant。在一种情况下，我需要将boost-variant中包含的类型分类为几个类。由于我的变体中有很多类型，因此我想到了在访问者中定义几个变体的想法。这些变体基本上是类型 ->类映射。

下面的代码说明了我想实现的目标。

    #include <iostream>
    #include <boost/variant.hpp>
    #include <string>
    enum class Type {
        Integer,
        Float,
        NonNumeric
    };
    struct IsNum : public boost::static_visitor<Type> {
        typedef boost::variant<int, size_t> IntegerTypes;
        typedef boost::variant<float, double> FloatTypes;
        typedef boost::variant<std::string> NonNumericTypes;
        result_type operator()(const IntegerTypes& t) const {
            return Type::Integer;
        }
        result_type operator()(const FloatTypes& t) const {
            return Type::Float;
        }
        result_type operator()(const NonNumericTypes& t) const {
            return Type::NonNumeric;
        }
    };
    int main() {
        boost::variant<int, std::string, double> value;
        value = 5;
        IsNum visitor;
        auto result = value.apply_visitor(visitor);
    }

不幸的是，代码不会编译。MSVC以编译器错误C3066结束。使用此参数调用此类型的对象有不同的可能性？它可能是三个operator()功能之一。

，但基本上我只能将5转换为变体类型IntegerTypes。

这种问题的解决方案是什么？

自己的解决方案

尝试使用boost-mpl后，我到达了此解决方案。该函数Contains代表可重复使用的软件，可以包含在我程序的其他部分中。我仍然希望该解决方案更接近我的原始发布的源代码。

#include <iostream>
#include <boost/variant.hpp>
#include <string>
#include <boost/mpl/contains.hpp>
enum class Type {
    Integer,
    Float,
    NonNumeric
};
template<typename V, typename T>
using ContainsImpl = typename boost::mpl::contains<typename V::types, T>::type;
template<typename V, typename T>
bool Contains(const T&) {
    return ContainsImpl<V, T>::value;
}
struct IsNum : public boost::static_visitor<Type> {
    typedef boost::variant<int, size_t> IntegerTypes;
    typedef boost::variant<float, double> FloatTypes;
    typedef boost::variant<std::string> NonNumericTypes;
    template<typename T>
    result_type operator()(const T& t) const {
        if (Contains<IntegerTypes>(t)) {
            return Type::Integer;
        } else if (Contains<FloatTypes>(t)) {
            return Type::Float;
        } else if (Contains<NonNumericTypes>(t)) {
            return Type::NonNumeric;
        }
        return Type::NonNumeric;
    }
};
int main() {
    boost::variant<int, std::string, double> value;
    value = 5.;
    IsNum visitor;
    auto result = value.apply_visitor(visitor);
    if (result == Type::Integer) {
        std::cout << "Integer" << std::endl;
    }
    if (result == Type::Float) {
        std::cout << "Float" << std::endl;
    } 
    if (result == Type::NonNumeric) {
        std::cout << "Non Numeric" << std::endl;
    }
}