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 对象
(公开成员函数)