Namespaces
Variants

std:: monostate

From cppreference.net
C++
Utilities library
std::variant
Défini dans l'en-tête <variant>
Défini dans l'en-tête <utility>
(depuis C++26)
struct monostate { } ;
(depuis C++17)

Type unitaire destiné à être utilisé comme alternative vide bien définie dans std::variant . En particulier, un variant de types non constructibles par défaut peut lister std::monostate comme sa première alternative : cela rend le variant lui-même constructible par défaut.

Table des matières

Fonctions membres

(constructeur)
(déclaré implicitement)
constructeur par défaut/copie/déplacement trivial implicite
(fonction membre publique)
(destructeur)
(déclaré implicitement)
destructeur trivial implicite
(fonction membre publique)
operator=
(déclaré implicitement)
assignation de copie/déplacement triviale implicite
(fonction membre publique)

Fonctions non membres

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

constexpr bool operator == ( monostate, monostate ) noexcept { return true ; }
(1) (depuis 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 ; }
(depuis C++17)
(jusqu'à C++20)
constexpr std:: strong_ordering operator <=> ( monostate, monostate ) noexcept

{
return std :: strong_ordering :: equal ;

}
(depuis C++20)

Toutes les instances de std::monostate sont égales en comparaison.

Les opérateurs < , <= , > , >= , et != sont synthétisés à partir de operator <=> et operator == respectivement.

(depuis C++20)

Classes d'assistance

std:: hash <std::monostate>

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

Spécialise l'algorithme std::hash pour std::monostate .

Exemple

Exécuter ce code 
#include <cassert>
#include <iostream>
#include <variant>
struct S
{
    S(int i) : i(i) {}
    int i;
};
int main()
{
    // Sans le type monostate, cette déclaration échouera.
    // Ceci parce que S n'est pas default-constructible.
    std::variant<std::monostate, S> var;
    assert(var.index() == 0);
    try
    {
        std::get<S>(var); // lève une exception ! Nous devons assigner une valeur
    }
    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';
}

Sortie possible : 

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

Voir aussi

construit l'objet variant
(fonction membre publique)