이 예제에서는 std :: variant가 valueless_by_exception이되는 방식은 무엇입니까?

Question

이 예 emplace가 변형 무가치하게시킨 것을 의미

진정한 I 그것이

거짓 출력하려고 한 컴파일러 들어 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을 제자리에 만들려고 시도하는 것이 실패 할 것이기 때문에 변형은 예외없이 무 가치가됩니다.

쉽게 이동할 수있는 유형의 경우 이전 값이 저장되기 전에 저장되고 실패하면 복원 될 수 있도록 variant을 구현하는 것이 가능할 수 있습니다. 표준에 의해 주어진 유형의 구현에 대한 다양한 제한 사항.