Wie wird in diesem Beispiel std :: variant wertlos_bis_exception?

Question

wird dies durch beispielsweise inspiriert von 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"; 
} 

Zum einen Compiler habe ich versucht, es

false, true

Sinn gibt, dass emplace die Variante valueless

werden verursacht

Was ich nicht verstehe ist, wie das passiert ist. Insbesondere verstehe ich nicht warum emplace überhaupt aufgerufen wird, ich würde erwarten, dass das Programm es nicht einmal seit der Konvertierung von S zu int Argument wirft.

Answer 1

Notiere die Signatur für den jeweiligen std::variant::emplace Überlastung:

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

Es eine Packung Forwarding Referenzen nimmt. Dies bedeutet, dass der Konvertierungsoperator von S zu int bei der Auswertung der Funktionsargumente nicht aufgerufen wird; Es heißt im Körper von emplace. Da der Versuch fehlschlug, die int an Ort und Stelle zu konstruieren, wird die Variante ausnahmslos wertlos gemacht. Es könnte vielleicht möglich sein, variant so zu implementieren, dass für trivial bewegliche Typen der alte Wert gespeichert wird, bevor die Konstruktion versucht wird, und dann wiederhergestellt wird, wenn er fehlschlägt, aber ich bin mir nicht sicher, ob er in die passt verschiedene Einschränkungen für die Implementierung des Typs durch den Standard.