我可以将 std::variant<Ts...> 分配给/从 std::variant<Ts..., Ys...> 分配/构造吗？

Question

在我看来，将可能是苹果或橙子的东西分配给可能是苹果、橙子或草莓的东西是明确定义的。

那为什么我不能this？

#include <variant>

int main()
{
    std::variant<int> v1{42};
    std::variant<int, char> v2{v1}; // copy construction
    v2 = v1; // copy assignment
    v2 = std::move(v1); // move assignment
    std::variant<int, char> v3{std::move(v2)}; // move construction
}

从概念上讲，这似乎没问题。甚至boost::variant allows it（尽管 std 和 boost 变体并不完全相同）。我找不到缺陷报告或建议，所以我可能遗漏了一些 C++ 中不允许这样做的原因。

Answer 1

无论出于何种原因，标准库都不支持它。 std::variant 是一个非常漫长、非常有争议的过程。也许这个特定方面在任何人的名单上都不高？

添加这种转换构造函数和转换赋值运算符唯一可能的技术问题是与当前构造函数的奇怪的病态交互。现在，variant<Ts...> 有一个构造函数采用T&&，它试图为它选择一个Ts。这有可能发生冲突，你必须回答你想在这里发生什么的问题：

struct X { X(variant<int>); };

variant<int>    v = 42;
variant<int, X> w = v;

目前，这是有效的，w 拥有一个由v 构造的X。你想改变这种情况并让w 持有int 42 吗？

---

目前，您只需手动完成：

template <typename To, typename From>
To variant_cast(From&& from) {
    return std::visit(
        [](auto&& elem) { return To(std::forward<Elem>(elem)); },
        std::forward<From>(from));
}

你不会得到一个很好的语法（并且上面的实现对 SFINAE 不友好），但它可以完成工作：

using V2 = variant<int, char>;
auto v2 = variant_cast<V2>(v1);
v2 = variant_cast<V2>(v1);
v2 = variant_cast<V2>(std::move(v1));

// at least this one is stil easy :-)
auto v3 = std::move(v2);