Конвертировать std:: option в другой std:: option с супернабором типов

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>)'

Answer 1

Это реализация второго варианта Якка:

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

Answer 2

Опции:

• Написать свой variant тип, возможно, наследуя от std::variant, что реализует operator= и строительство так, как вы хотите. Некоторая работа должна быть сделана, потому что variantконструкторы могут выполнять трюки SFINAE, которые могут некорректно работать с вашим вариантом типа; для этого вы хотите сделать пересылку SFINAE на базовый вариант самостоятельно, а не нагими using деклараций.

• Напиши лучше ConvertVariant это не требует перечисления типов источника / назначения. Вы бы вернули вспомогательный тип шаблона преобразования, который содержит исходный вариант, который имеет operator std::variant<Ts...>()&& что вызывает нечто очень похожее на ваш ConvertVariant,