std::expected<T,E>:: ~expected

Деструктор основного шаблона

Уничтожает содержащееся значение:

• Если has_value() возвращает true , уничтожает ожидаемое значение.
• В противном случае уничтожает неожиданное значение.

Этот деструктор является тривиальным, если std:: is_trivially_destructible_v < T > и std:: is_trivially_destructible_v < E > оба равны true .

void деструктор частичной специализации

Если has_value() возвращает false , уничтожает значение unexpected.

Этот деструктор является тривиальным, если std:: is_trivially_destructible_v < E > равно true .

Пример

#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