命名空间
变体
操作

std::monostate

来自 cppreference.com
< cpp‎ | utility‎ | variant
 
 
实用程序库
语言支持
类型支持 (基本类型,RTTI)
库功能测试宏 (C++20)
动态内存管理
程序实用程序
协程支持 (C++20)
可变参数函数
调试支持
(C++26)
三路比较
(C++20)
(C++20)(C++20)(C++20)
(C++20)(C++20)(C++20)
通用实用程序
日期和时间
函数对象
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中已弃用)
整数比较函数
(C++20)(C++20)(C++20)   
(C++20)
交换类型操作
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
通用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
基本字符串转换
(C++17)
(C++17)

 
 
定义在头文件 <variant>
struct monostate { };
(自 C++17 起)

单元类型,旨在用作 std::variant 中的行为良好的空替代方案。特别地,非默认可构造类型的变体可以将 std::monostate 列为其第一个替代方案:这使得变体本身成为默认可构造的。

内容

[编辑] 成员函数

(构造函数)
(隐式声明)
平凡的隐式默认/复制/移动构造函数
(公共成员函数)
(析构函数)
(隐式声明)
平凡的隐式析构函数
(公共成员函数)
operator=
(隐式声明)
平凡的隐式复制/移动赋值
(公共成员函数)

[编辑] 非成员函数

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::monostatestd::hash 算法。

[编辑] 示例

#include <cassert>
#include <iostream>
#include <variant>
 
struct S
{
    S(int i) : i(i) {}
    int i;
};
 
int main()
{
    // Without the monostate type this declaration will fail.
    // This is because S is not default-constructible.
    std::variant<std::monostate, S> var;
    assert(var.index() == 0);
 
    try
    {
        std::get<S>(var); // throws! We need to assign a value
    }
    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 对象
(公共成员函数) [编辑]