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

Question

我有一个 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>)'

- Bomaz

---

如果U是所有类型的宇宙，而P具有U，那么P不就等于U吗？我很难理解你试图解决什么问题，也许是我太蠢了 :| - P0W

尝试直接编译 b=a，以查看问题。 - Sam Varshavchik

错误信息如下： error C2679: binary '=': no operator found which takes a right-hand operand of type 'std::variant<int,double>' (or there is no acceptable conversion)注意：在尝试匹配参数列表 '(std::variantstd::string,int,double, std::variant<int,double>)' 时发生的。 - Bomaz

b = ConvertVariant<decltype(b),decltype(a)>(a); 可以简化为 b = ConvertVariant<decltype(b)>(a); 如果 decltype(b) 令您感到困扰，您可以在函数中使用输出参数来实现类似于 ConvertVariantTo(a, b); 的效果。 - Jarod42

为什么这种转换不属于std::variant的一部分呢？如果我理解正确，Boost.Variant确实具有这种功能... - dats

Answer 1

这是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);

- bolov

---

这个构造可以修改以支持从源变量移动吗？ - nyanpasu64

@nyanpasu64 "你可能需要微调它以实现转发语义。" - bolov

Answer 2

选项：

• 编写自己的variant类型，可能继承自std::variant，以您想要的方式实现operator=和构造函数。需要进行一些工作，因为variant的构造函数可以执行SFINAE技巧，这些技巧可能与您的变量类型不兼容；为此，您需要进行一些SFINAE转发到基础变体，而不是裸露的using声明。

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

- Yakk - Adam Nevraumont