std::variant
提供: cppreference.com
ヘッダ <variant> で定義
|
||
template <class... Types> class variant; |
(C++17以上) | |
クラステンプレート std::variant
は型安全な union を表します。 std::variant
のインスタンスは任意の時点でその型の選択肢のいずれかの値を保持します。 また、エラーが発生した場合は値を保持しないこともあります (この状態を得るのは簡単ではありません。 valueless_by_exception を参照してください)。
union と同様に、 variant が何らかのオブジェクト型 T
の値を保持している場合、 T
のオブジェクト表現は variant 自身のオブジェクト表現内に直接確保されます。 variant が追加の (動的) メモリを確保することはありません。
variant は参照、配列、および void
型を保持することはできません。 空の variant もまた ill-formed です (代わりに std::variant<std::monostate> を使ってください)。
variant の選択肢に同じ型を2つ以上��定したり、同じ型の cv 修飾が異なるバージョンを指定したりできます。
集成体初期化に関する union の動作との一貫性のため、デフォルト構築された variant はその最初の選択肢の値を保持します。 ただしその選択肢がデフォルト構築可能でない場合は除きます (その場合、 variant もデフォルト構築可能でなくなります)。 ヘルパークラス std::monostate はそのような variant をデフォルト構築可能にするために使うことができます。
目次 |
[編集] テンプレート引数
Types | - | この variant に格納するかもしれない型。 すべての型は非配列なオブジェクト型 (またはその cv 修飾された型) でなければなりません。 |
[編集] メンバ関数
variant オブジェクトを構築します (パブリックメンバ関数) | |
格納されている値と共に variant を破棄します (パブリックメンバ関数) | |
variant を代入します (パブリックメンバ関数) | |
観察 | |
variant が保持している選択肢の0から始まるインデックスを返します (パブリックメンバ関数) | |
variant が無効な状態かどうか調べます (パブリックメンバ関数) | |
変更 | |
variant 内の値をその場で構築します (パブリックメンバ関数) | |
別の variant と交換します (パブリックメンバ関数) |
[編集] 非メンバ関数
(C++17) |
1個以上の variant が保持している引数を渡して指定された関数オブジェクトを呼びます (関数テンプレート) |
(C++17) |
variant が現在指定された型を保持しているかどうか調べます (関数テンプレート) |
(C++17) |
指定されたインデックスまたは型 (一意な場合) の値を variant から読み込みます。 エラーの場合は例外を投げます (関数テンプレート) |
(C++17) |
指定されたインデックスまたは型 (一意な場合) の値へのポインタを取得します。 エラーの場合はヌルを返します (関数テンプレート) |
(C++17)(C++17)(C++17)(C++17)(C++17)(C++17)(C++20) |
格納されている値として variant オブジェクトを比較します (関数テンプレート) |
(C++17) |
std::swap アルゴリズムの特殊化 (関数) |
[編集] ヘルパークラス
(C++17) |
デフォルト構築可能でない型の variant で最初の選択肢として使用するためのプレースホルダー型 (クラス) |
(C++17) |
variant の値への無効なアクセスで投げられる例外 (クラス) |
(C++17) |
variant の選択肢のリストのサイズをコンパイル時に取得します (クラステンプレート) (変数テンプレート) |
インデックスで指定された選択肢の型をコンパイル時に取得します (クラステンプレート) (エイリアステンプレート) | |
(C++17) |
std::hash アルゴリズムの特殊化 (クラステンプレートの特殊化) |
[編集] ヘルパーオブジェクト
(C++17) |
無効な状態にある variant のインデックス (定数) |
[編集] 欠陥報告
以下の動作変更欠陥報告は以前に発行された C++ 標準に遡って適用されました。
DR | 適用先 | 発行時の動作 | 正しい動作 |
---|---|---|---|
LWG 2901 | C++17 | std::uses_allocator の特殊化が提供されていますが、 variant はアロケータを適切にサポートできません
|
仕様は削除されました |
[編集] 例
Run this code
#include <variant> #include <string> #include <cassert> int main() { std::variant<int, float> v, w; v = 12; // v は int を格納します。 int i = std::get<int>(v); w = std::get<int>(v); w = std::get<0>(v); // 前行と同じ効果。 w = v; // 前行と同じ効果。 // std::get<double>(v); // エラー、 <int, float> の中に double はありません。 // std::get<3>(v); // エラー、有効なインデックスは 0 と 1 だけです。 try { std::get<float>(w); // w は float ではなく int なので、例外を投げます。 } catch (const std::bad_variant_access&) {} using namespace std::literals; std::variant<std::string> x("abc"); // 曖昧でなければ、 // 変換コンストラクタが働きます。 x = "def"; // 曖昧でなければ、変換代入も働きます。 std::variant<std::string, void const*> y("abc"); // char const * が渡されると、 // void const * にキャストされます。 assert(std::holds_alternative<void const*>(y)); // 成功します。 y = "xyz"s; assert(std::holds_alternative<std::string>(y)); // 成功します。 }
[編集] 関連項目
その場構築のタグ (クラステンプレート) | |
(C++17) |
値を保持するかもしれないし保持しないかもしれないラッパー (クラステンプレート) |
(C++17) |
CopyConstructible な型の任意のインスタンスを保持するオブジェクト (クラス) |