在这个例子中，std::variant 如何变成 valueless_by_exception？

Question

这是受cppreference示例启发的示例

struct S {
    operator int() { throw 42; }
};


int main(){
    variant<float, int> v{12.f}; // OK
    cout << std::boolalpha << v.valueless_by_exception() << "\n";
    try{
        v.emplace<1>(S()); // v may be valueless
    }
    catch(...){
    }
    cout << std::boolalpha << v.valueless_by_exception() << "\n";   
}

对于一个编译器，我尝试过它的输出

假，真

表示emplace 导致变体变得毫无价值

我不明白这是怎么发生的。 特别是我不明白为什么会调用emplace，我希望程序甚至不会调用它，因为从 S 到 int 参数的转换会抛出。

Answer 1

注意相关std::variant::emplace重载的签名：

template <size_t I, class... Args>
std::variant_alternative_t<I, variant>& emplace(Args&&... args);

它需要一组转发引用。这意味着在评估函数参数时不会调用从S 到int 的转换运算符；它在emplace 的内部调用。由于尝试在适当的位置构造 int 会失败，因此该变体因异常而变得毫无价值。

也许可以实现variant，这样对于普通可移动类型，在尝试就地构造之前保存旧值，如果失败则恢复，但我不确定它是否适合标准对类型实现的各种限制。