MSVC版std::variant是否存在Bug？求兼容解决方案

问题判定 #

这是MSVC的std::variant实现不符合C++标准要求，属于实现层面的Bug。

C++17及以后标准明确要求，当通过std::variant的构造函数传递可直接初始化目标类型的参数时，必须支持拷贝消除（省略不必要的移动/拷贝操作），尤其是针对不可移动、不可拷贝的类型。原Stack Overflow方案中使用initializer包装器的思路，本质是利用标准允许的直接初始化语义，GCC和Clang的实现符合标准规范，而MSVC的实现未正确处理该场景，强行要求类型具备移动/拷贝能力，违反了标准规定。

MSVC兼容方案 #

方案1：使用原位构造标记直接初始化 #

直接通过std::in_place_type或std::in_place_index标记，让std::variant在内部直接构造目标对象，这是标准明确支持的原位构造方式，MSVC完全兼容：

struct Foo {
    Foo(int) {}
    Foo(const Foo&) = delete;
    Foo(Foo&&) = delete;
};

int main() {
    std::variant<Foo> var(std::in_place_type<Foo>, 42);
    // 或使用索引形式：std::variant<Foo> var(std::in_place_index<0>, 42);
    return 0;
}

方案2：自定义适配包装器 #

如果需要保留类似原方案的包装器写法，可以调整包装器逻辑，手动构造对象并提供类型转换，适配MSVC的构造参数检查逻辑：

template<typename T>
struct initializer {
    template<typename... Args>
    initializer(Args&&... args) {
        new (storage) T(std::forward<Args>(args)...);
    }
    alignas(T) unsigned char storage[sizeof(T)];
    operator T&() { return *reinterpret_cast<T*>(storage); }
};

// 使用方式
std::variant<Foo> var(initializer<Foo>(42));

补充说明 #

原方案的思路本身符合C++标准的拷贝消除要求，并非依赖实现定义行为。MSVC的问题在于其std::variant构造函数未正确处理参数的直接初始化路径，错误地触发了不必要的移动/拷贝能力检查。

内容的提问来源于stack exchange，提问作者bradgonesurfing