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

Conversion of variant, vector<variant> and vector<vector<variant>> to the equivalent type of my choice

本文关键字:gt lt 矢量 variant 选择 类型 转换      更新时间:2023-10-16

我的问题涉及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;
}

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

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

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:稍后再见

在此处观看现场演示

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

我写了一篇bool_visitor<T>,如果boost::variant持有Ttrue回报,否则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);
};

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

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