将变体、矢量<variant>和矢量<矢量<variant>>转换为我选择的等效类型

Question

我的问题涉及boost::variant转换与C++std::vector的混合。在我的项目中，我使用变体作为 SQL 的输出。我将始终只使用 1 种变体。我正在尝试做的是从变体、变体向量或变体的 2x向量轻松转换为我选择的等效类型。天真地，我需要类似的东西：

std::vector < int > my_variable = convert(some_variant_vector)

首先是我的设置：

#include "boostvariant.hpp"
#include "boostdate_timegregoriangregorian.hpp"
typedef boost::variant< int, std::string, boost::gregorian::date> _var;
typedef std::vector<_var> _vec_var; 
typedef std::vector<_vec_var> _vec2_var;

我想有一种简单的方法，根据我的需要将_var（或_vec_var或_vec2_var）转换为整数/字符串/日期。从下面的帖子中我知道我的答案应该是这样的：

template<typename T>
struct converter_visitor : public boost::static_visitor<T>
{
    const _var &converter;
    converter_visitor(const _var &r) : converter(r) {}
    T operator()(const _var &) const{
        return boost::get<_var>(converter);
    }
    const _vec_var &v_converter;            // case of vector<>
    converter_visitor(const _vec_var &r) : v_converter(r) {}
    T operator()(const _vec_var &) const{
        T ans;
        ans.reserve(_cont.size());
        for (int i = 0; i < _cont.size(); ++i)
            ans.push_back(boost::get<T>(v_converter[i]));
        return ans;
    }
    const _vec2_var & v2_converter;         // case of vector<vector>
    converter_visitor(const _vec2_var &r) : v2_converter(r) {}
    T operator()(const _vec2_var &) const {
        T ans;
        ans.reserve(v2_converter.size(), v2_converter[0].size());
        for (int i = 0; i < _cont.size(); ++i)
        {
            for (size_t j = 0; j < v2_converter[0].size(); j++)
            {
                ans.push_back(boost::get<T>(v2_converter[i][j]));
            }
        }
        return ans;
    }
};
int main()
{
    _var variable = 1;
    int integer_conversion;
    boost::apply_visitor(converter_visitor(test), integer_conversion);
    return 0;
}

不幸的是，我已经陷入了一段时间，因为它没有按预期工作，甚至无法编译。

Answer 1

我建议以下方法来获取您想要的类型：

template<typename T>
class converter_visitor : public boost::static_visitor<>
{
public: 
    std::vector<T>& vec;
    converter_visitor(std::vector<T>& r) : vec(r) {}
    // only push back values of specific types...
    void operator()(const T& u) const {
        vec.push_back(u);
    }
    // ignore other types...
    void operator()(...) const {}  
};
template<typename T>
converter_visitor<T> make_visitor(std::vector<T>& r) { return converter_visitor<T>(r); }

然后将其汇集到可以处理嵌套向量的递归过滤器函数：

template<typename T,typename U>
void filter(std::vector<T>& result,const U& var) {
    boost::apply_visitor( make_visitor(result), var );
}
template<typename T,typename U>
void filter(std::vector<T>& result,const std::vector<U>& cont) {
    std::for_each(cont.begin(),cont.end(),[&](const U& c) {
        filter(result,c);
    });
}

然后你可以做：

_var v = 314;
std::vector<int> result; 
filter(result,v);
print(result);

结果：314

_vec_var v;
v.push_back(2);
v.push_back(3);
v.push_back("hello");
v.push_back(5);
v.push_back(7);
v.push_back("world");
std::vector<int> result;         
filter(result,v);
print(result);
std::vector<std::string> result2;         
filter(result2,v);
print(result2);

结果1： 2 3 5 7
结果2：你好世界

_vec_var v1;
v1.push_back(11);
v1.push_back(13);
v1.push_back("see ya");
_vec_var v2;
v2.push_back(17);
v2.push_back(19);
v2.push_back("later");
_vec2_var vv;
vv.push_back(v1);
vv.push_back(v2);
std::vector<int> result;         
filter(result,vv);
print(result);
std::vector<std::string> result2;         
filter(result2,vv);
print(result2);

结果1： 11 13 17 19
结果2：稍后再见

在此处观看现场演示

Answer 2

我找到了解决您问题的方法，正如我在评论中所说，我做了以下操作：

我写了一篇bool_visitor<T>，如果boost::variant持有T，true回报，否则false;

这是访客：

template<typename T>
struct bool_visitor : public boost::static_visitor<bool> {
    inline constexpr bool operator()(T val) const
    {
        return false;
    }
    template<typename K>
    typename std::enable_if<!std::is_convertible<K, T>::value, bool>::type
    operator()(K val) const
    {
        return true;
    }
};

有了这个访问者，我们能够删除不持有特定类型的向量的所有变体。在此之后，我们使用std::transform将所有变体转换为它们所持有的类型。我们使用 SFINAE 来检查给定的向量是否是嵌套向量（vector），如果是，我们首先使用平坦函数对向量进行展平：

template <typename FromIter, typename ToIter>
void flatten (FromIter start, FromIter end, ToIter dest) {
    while (start != end) {
        dest = std::copy(start->begin(), start->end(), dest);
        ++start;
    }
}

要检查向量是否嵌套，我们需要一个is_vector特征：

template<typename>
struct is_vector : std::false_type {};
template<typename T, typename A>
struct is_vector<std::vector<T,A>> : std::true_type {};

现在我们可以使用 SFINAE 在给定向量上启用我们想要的功能：

template<typename T, typename K>
typename
std::enable_if_t<
        !is_vector<K>::value,
        std::vector<T>>
get_vec_of(std::vector<K>& input_vec){
    //delete all variants not holding T
    auto it = std::remove_if(input_vec.begin(), input_vec.end(),
                             [](auto item){
                                 return boost::apply_visitor(bool_visitor<T>(), item);
                             });
    //input_vec.erase(it, input_vec.end());
    //create new vector of T
    std::vector<T> return_vec;
    //transform all variants holding T to T and put them in the return_vec
    std::transform(input_vec.begin(), it, std::back_inserter(return_vec),
                   [](auto item){
                       //this can never throw because all variants in the vector are holding T
                       return boost::get<T>(item);
                   });
    return return_vec;
}
template<typename T, typename K>
typename
std::enable_if_t<
        is_vector<K>::value,
        std::vector<T>>
get_vec_of(std::vector<K>& input_vec){
    std::vector<typename K::value_type> flatten_vec;
    flatten(input_vec.begin(), input_vec.end(), std::back_inserter(flatten_vec));
    return get_vec_of<T>(flatten_vec);
};

此解决方案更改给定向量内元素的顺序。如果这对您不利，您可能应该先复制向量。

这是有关如何使用此功能及其工作原理的演示。