namespace std {
  struct nullopt_t {以下参照};
  inline constexpr nullopt_t nullopt {unspecified};
}

概要

nullopt_tは、実装を持たない空のクラスである。この型は、std::optionalクラスにおいて、有効な値を保持していない状態を表すために使用される。

この型の値を持つnullopt定数をstd::optionalクラスのオブジェクトに代入することで、有効な値を保持していない状態にできる。

nullopt_tクラスは、デフォルトコンストラクタおよび初期化子リストコンストラクタを持たない。これは、nullopt変数をnullopt_t型の唯一の値とするためである。また、nullopt_tは集成体ではない。これはoptional<T> opt = {};を曖昧にしないためである。

備考

C++26では、nullopt_tは比較可能となり、copyableおよびthree_way_comparable<strong_ordering>のモデルとなった。nullopt_tの値はすべて等しく、vector<optional<T>>に対してnulloptを検索する、といった使い方ができるようになった。

例

#include <cassert>
#include <optional>

int main()
{
  std::optional<int> p;
  assert(!p); // デフォルトでは有効な値を持たない (nullopt状態)

  p = 3; // 有効値を代入
  assert(p); // 有効な値を持つ

  p = std::nullopt; // 無効値を代入
  assert(!p); // 有効な値を持たない
}

出力

バージョン

言語

• C++17

処理系

• Clang: 4.0.1 ✅
• GCC: 7.2 ✅
• Visual C++: ??

関連項目

• std::optionalクラス

参照

• LWG Issue 2736. nullopt_t insufficiently constrained
• LWG Issue 4497. std::nullopt_t should be comparable
  • C++26で、nullopt_tがcopyableとthree_way_comparable<strong_ordering>のモデルとなり、比較可能になった