将 std::variant 转换为另一个具有超类型集的 std::variant

Convert std::variant to another std::variant with super-set of types

本文关键字：variant std 超类 类型 另一个 转换      更新时间：2023-10-16

我有一个std::variant，我想将其转换为另一个具有其类型的超集的std::variant。有没有一种方法可以让我简单地将一个分配给另一个？

template <typename ToVariant, typename FromVariant>
ToVariant ConvertVariant(const FromVariant& from) {
    ToVariant to = std::visit([](auto&& arg) -> ToVariant {return arg ; }, from);
    return to;
}
int main()
{
    std::variant<int , double> a;
    a = 5;
    std::variant <std::string, double, int> b;
    b = ConvertVariant<decltype(b),decltype(a)>(a);
    return 0;
}

我希望能够简单地编写b = a以进行转换，而不是通过这种复杂的铸造设置。不会污染std命名空间。

编辑：简单地写b = a会给出以下错误：

error C2679: binary '=': no operator found which takes a right-hand operand of type 'std::variant<int,double>' (or there is no acceptable conversion) 
note: while trying to match the argument list '(std::variant<std::string,int,double>, std::variant<int,double>)'

这是Yakk第二个选项的实现：

template <class... Args>
struct variant_cast_proxy
{
    std::variant<Args...> v;
    template <class... ToArgs>
    operator std::variant<ToArgs...>() const
    {
        return std::visit([](auto&& arg) -> std::variant<ToArgs...> { return arg ; },
                          v);
    }
};
template <class... Args>
auto variant_cast(const std::variant<Args...>& v) -> variant_cast_proxy<Args...>
{
    return {v};
}

您可能希望对其进行微调以转发语义。

如您所见，它的使用很简单：

std::variant<int, char> v1 = 24;
std::variant<int, char, bool> v2;
v2 = variant_cast(v1);

选项：

  • 编写自己的 variant 类型，可能继承自 std::variant ，以您想要的方式实现operator=和构造。 必须完成一些工作，因为variant的构造函数可以执行SFINAE技巧，这些技巧可能无法与您的变体类型正常工作;为此，您希望自己执行一些 SFINAE 转发到基本变体，而不是裸using声明。

  • 编写不需要列出源/目标类型的更好的ConvertVariant。 您将返回一个转换帮助程序模板类型，该模板类型包含源变体，该变体具有调用非常类似于您的ConvertVariant的operator std::variant<Ts...>()&&。

相关文章：