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

【问题标题】：Convert std::variant to another std::variant with super-set of types将 std::variant 转换为具有超类型集的另一个 std::variant
【发布时间】：2018-04-22 12:43:28
【问题描述】：

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

【问题讨论】：

如果 U 是所有类型的全域，并且 P 有 U，那么 P 不等于 U 吗？我无法理解您要解决的问题，可能是我很笨：|
尝试直接编译b=a，看看问题。
错误如下：error C2679: binary '=': no operator found which接受'std::variant'类型的右手操作数（或者没有可接受的转换）注意：在尝试匹配参数列表时 '(std::variant<:string>, std::variant)'
b = ConvertVariant<decltype(b),decltype(a)>(a); 可以简化为b = ConvertVariant<decltype(b)>(a);，如果decltype(b) 困扰您，您可以将函数的输出参数设置为ConvertVariantTo(a, b);。
为什么这个转换不是 std::variant 的一部分？如果我理解正确的话，Boost.Variant 确实有这个功能......

标签： c++ type-conversion c++17 variant

【解决方案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);

【讨论】：

【解决方案2】：

选项：

编写您自己的variant 类型，可能继承自std::variant，实现operator= 并按照您想要的方式构建。必须完成一些工作，因为variant 的构造函数可以执行 SFINAE 技巧，这些技巧可能无法与您的变体类型正常工作；为此，您希望自己做一些 SFINAE 转发到 base-variant 而不是赤裸裸的 using 声明。
写一个更好的ConvertVariant，不需要列出源/目标类型。您将返回一个转换帮助器模板类型，该类型包含具有 operator std::variant<Ts...>()&& 的源变量，该变量调用的内容与您的 ConvertVariant 非常相似。

【讨论】：