この例では、std :: variantはvalueless_by_exceptionになりますか？

Question

これは私はそれがemplaceバリアントは無価値

になった原因という意味

真、偽

を出力しようとした1つのコンパイラの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が全く呼び出されない理由を理解していませんが、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をその場で構築しようとすると失敗するため、バリアントは例外によって無価値になります。

実現可能な型の場合、古い値が保存されてから、失敗した場合に元の値が保存されるように実装することは可能でしょうが、標準によって与えられた型の実装に対する様々な制限。