[edit]Main template destructor

Destroys the contained value:

• Ifhas_value() istrue, destroys the expected value.
• Otherwise, destroys the unexpected value.

This destructor is trivial ifstd::is_trivially_destructible_v<T> andstd::is_trivially_destructible_v<E> are bothtrue.

[edit]void partial specialization destructor

Ifhas_value() isfalse, destroys the unexpected value.

This destructor is trivial ifstd::is_trivially_destructible_v<E> istrue.

[edit]Example

#include <expected>#include <print> void info(auto name,int x){std::println("{} : {}", name, x);} struct Value{int o{};    ~Value(){ info(__func__, o);}}; struct Error{int e{};    ~Error(){ info(__func__, e);}}; int main(){std::expected<Value, Error> e1{42};std::expected<Value, Error> e2{std::unexpect,13};std::expected<void, Error> e3{std::unexpect,37};}

~Error : 37~Error : 13~Value : 42

• In other languages

• Deutsch
• Español
• Français
• Italiano
• 日本語
• Português
• Русский
• 中文