std::variant::valueless_by_exception(C++17)

constexpr bool valueless_by_exception() const noexcept;

概要

例外によって値を持たない状態になっているかを判定する。

このクラスは、保持する型と値を切り替える代入操作をする際に例外が発生した場合、元の状態には戻さず空になる可能性がある (必ず空になるわけではない)。そのような状況で空になっていることを、本関数で判定できる。

戻り値

有効な値を保持している場合はfalseを返し、そうでない場合はtrueを返す。

備考

このクラスの元となったBoost Variant Libraryのvariantクラスは、「決して空にならない保証 ("Never-Empty" Guarantee)」をもっているが、本クラスにはそのような保証がないため、新たな型の代入操作で例外が発生した場合に空になる可能性がある

variant<int, float>のように直接的に例外を送出しない型のみの場合でも、emplace()操作で例外が送出される可能性がある：

struct S { operator int() { throw 42; }};
variant<float, int> v = 12.f;
try {
  v.emplace<1>(S());
}
catch (...) {
  if (v.valueless_by_exception()) {
    // …
  }
}

例

#include <iostream>
#include <cassert>
#include <variant>

struct AlwaysThrow {
  AlwaysThrow() = default;

  AlwaysThrow(const AlwaysThrow&) {
    throw std::exception();
  }

  AlwaysThrow(AlwaysThrow&&) {
    throw std::exception();
  }

  AlwaysThrow& operator=(const AlwaysThrow&) {
    throw std::exception();
  }

  AlwaysThrow& operator=(AlwaysThrow&&) {
    throw std::exception();
  }
};

int main()
{
  std::variant<int, AlwaysThrow> v = 0;

  try {
    assert(!v.valueless_by_exception());

    v = AlwaysThrow{}; // 例外発生
    assert(false);
  }
  catch (...) {
    // vが空になる可能性がある
    if (v.valueless_by_exception()) {
      std::cout << "empty" << std::endl;
      assert(v.index() == std::variant_npos);
    }
    else {
      std::cout << "not empty" << std::endl;
    }
  }
}

出力例

empty

std::variant::valueless_by_exception(C++17)

概要

戻り値

備考

例

出力例

バージョン

言語

処理系