std::variant<Types...>:: ~variant
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Member functions | ||||
|
variant::~variant
|
||||
| Observers | ||||
| Modifiers | ||||
| Visitation | ||||
|
(C++26)
|
||||
| Non-member functions | ||||
| Helper classes | ||||
| Helper objects | ||||
|
~variant
(
)
;
|
(C++17부터)
(C++20부터 constexpr) |
|
만약
valueless_by_exception()
가
true
인 경우, 아무 작업도 수행하지 않습니다. 그렇지 않으면 현재 포함된 객체를 파괴합니다.
이 소멸자는
std::
is_trivially_destructible_v
<
T_i
>
가
true
인 경우
T_i
에 대해
Types...
의 모든
T_i
에 대해 trivial합니다.
참고 사항
| 기능 테스트 매크로 | 값 | 표준 | 기능 |
|---|---|---|---|
__cpp_lib_variant
|
202106L
|
(C++20)
(DR) |
완전한
constexpr
std::variant
|
예제
#include <cstdio> #include <variant> int main() { struct X { ~X() { puts("X::~X();"); } }; struct Y { ~Y() { puts("Y::~Y();"); } }; { puts("entering block #1"); std::variant<X,Y> var; puts("leaving block #1"); } { puts("entering block #2"); std::variant<X,Y> var{ std::in_place_index_t<1>{} }; // constructs var(Y) puts("leaving block #2"); } }
출력:
entering block #1 leaving block #1 X::~X(); entering block #2 leaving block #2 Y::~Y();
결함 보고서
다음의 동작 변경 결함 보고서들은 이전에 발표된 C++ 표준에 소급 적용되었습니다.
| DR | 적용 대상 | 게시된 동작 | 올바른 동작 |
|---|---|---|---|
| P2231R1 | C++20 | 소멸자가 constexpr 이 아니었으나 C++20에서는 비트리비얼 소멸자들이 constexpr 일 수 있음 | constexpr 으로 변경됨 |