std::expected处理仅移动类型异常输出：MSVC Bug还是未定义行为？

你的代码中UniqueHandle的移动构造函数存在错误，这直接导致了未定义行为，而非MSVC编译器的Bug。

问题点解析 #

看移动构造函数的实现：

UniqueHandle(UniqueHandle&& other) { 
    std::swap(val, other.val);
}

这里的this->val是未初始化的指针——你既没有在成员初始化列表中给val赋值，也没有在构造函数体内先初始化它。执行std::swap后，other.val会被替换成这个未初始化的垃圾值，当被移动后的对象（比如std::expected内部管理的对象、或std::move(exp_res.value())产生的临时对象）析构时，就会输出这个不确定的值：

• Debug模式下MSVC会用CCCCCCCCCCCCCCCC标记未初始化的堆/栈内存，所以你看到了这个固定值；
• Release模式下编译器不会做这类内存标记，输出就是随机垃圾值。

GCC下的“符合预期”只是巧合——它的内存布局或优化策略让未初始化的val恰好是nullptr，但这完全不代表代码是正确的，标准明确规定访问未初始化变量属于未定义行为，结果不可预测。

修复方案 #

修改移动构造函数，先初始化val为nullptr，再执行swap：

UniqueHandle(UniqueHandle&& other) : val(nullptr) { 
    std::swap(val, other.val);
}

或者更简洁的写法：

UniqueHandle(UniqueHandle&& other) noexcept : val(std::exchange(other.val, nullptr)) {}

这样被移动后的对象other的val会被设置为nullptr，析构时输出正常的0000000000000000，无论用MSVC还是GCC编译，表现都会一致。

另外，你的移动赋值函数虽然能工作，但同样可以优化为更安全的形式，不过当前问题的核心是移动构造的未初始化成员。

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