Преобразование std::variant в другой std::variant с супернабором типов. ⇐ C++

[Anonymous]

У меня есть std::variant, который я хотел бы преобразовать в другой std::variant, имеющий супернабор своих типов. Есть ли способ сделать это, позволяющий мне просто назначить одно другому?

template
ToVariant ConvertVariant(const FromVariant& from) {
ToVariant to = std::visit([](auto&& arg) -> ToVariant {return arg ; }, from);
return to;
}

int main()
{
std::variant a;
a = 5;
std::variant b;
b = ConvertVariant(a);
return 0;
}


Мне бы хотелось иметь возможность просто написать b = a, чтобы выполнить преобразование, а не проходить через эту сложную настройку приведения. Не загрязняя пространство имен std.

Изменить: простая запись b = a приводит к следующей ошибке:
error C2679: binary '=': no operator found which takes a right-hand operand of type 'std::variant' (or there is no acceptable conversion)

note: while trying to match the argument list '(std::variant, std::variant)'


Подробнее здесь: https://stackoverflow.com/questions/472 ... t-of-types