在这个例子中,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这样的:对于简单的可移动类型,在尝试构建之前保存旧值,然后在失败时恢复,但是我不确定它是否适合类型的各种限制标准给出的实施.