Namespaces
Variants

std:: monostate

From cppreference.net
C++
Utilities library
std::variant
定義済みヘッダー <variant>
定義済みヘッダー <utility>
(C++26以降)
struct monostate { } ;
(C++17以降)

std::variant で適切に動作する空の代替型として使用されることを意図したユニット型。特に、デフォルト構築不可能な型のvariantは std::monostate を最初の代替型としてリストすることができます：これによりvariant自体がデフォルト構築可能になります。

目次

メンバー関数

(constructor)
(implicitly declared)
自明な暗黙のデフォルト/コピー/ムーブコンストラクタ
(public member function)
(destructor)
(implicitly declared)
自明な暗黙のデストラクタ
(public member function)
operator=
(implicitly declared)
自明な暗黙のコピー/ムーブ代入演算子
(public member function)

非メンバー関数

std:: operator==, !=, <, <=, >, >=, <=> (std::monostate)

constexpr bool operator == ( monostate, monostate ) noexcept { return true ; }
(1) (C++17以降)
(2)
constexpr bool operator ! = ( monostate, monostate ) noexcept { return false ; }

constexpr bool operator < ( monostate, monostate ) noexcept { return false ; }
constexpr bool operator > ( monostate, monostate ) noexcept { return false ; }
constexpr bool operator <= ( monostate, monostate ) noexcept { return true ; }

constexpr bool operator >= ( monostate, monostate ) noexcept { return true ; }
(C++17以降)
(C++20以前)
constexpr std:: strong_ordering operator <=> ( monostate, monostate ) noexcept

{
return std :: strong_ordering :: equal ;

}
(C++20以降)

std::monostate のすべてのインスタンスは等価として比較されます。

< 、 <= 、 > 、 >= 、 != 演算子は、 合成されます （それぞれ operator <=> と operator == から）。

(C++20以降)

ヘルパークラス

std:: hash <std::monostate>

template <>
struct std:: hash < monostate > ;
(C++17以降)

std::monostate に対する std::hash アルゴリズムの特殊化。

例

このコードを実行 
#include <cassert>
#include <iostream>
#include <variant>
struct S
{
    S(int i) : i(i) {}
    int i;
};
int main()
{
    // monostate型がない場合、この宣言は失敗します。
    // これはSがデフォルト構築可能ではないためです。
    std::variant<std::monostate, S> var;
    assert(var.index() == 0);
    try
    {
        std::get<S>(var); // 例外発生！値を代入する必要があります
    }
    catch(const std::bad_variant_access& e)
    {
        std::cout << e.what() << '\n';
    }
    var = 42;
    std::cout << "std::get: " << std::get<S>(var).i << '\n'
              << "std::hash: " << std::hex << std::showbase
              << std::hash<std::monostate>{}(std::monostate{}) << '\n';
}

出力例: 

std::get: wrong index for variant
std::get: 42
std::hash: 0xffffffffffffe19f

関連項目

variant オブジェクトを構築する
(public member function)