std::monostate
| ヘッダ <variant>
|
||
| で定義 <utility>
|
ヘッダ |
|
struct monostate { };
|
で定義(C++26 以降) | |
(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
;
}
|
(C++17以降)
(C++20以前) |
|
|
constexpr
std::
strong_ordering
operator
<=>
(
monostate, monostate
)
noexcept
{
|
(C++20以降) | |
std::monostateのすべてのインスタンスは等価として比較されます。
|
|
(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) |