std:: variant

クラステンプレート std::variant は型安全な union を表現します。

variant のインスタンスは、任意の時点でその代替型のいずれかの値を保持するか、エラーの場合には値を保持しません（この状態は達成が困難です。 valueless_by_exception を参照してください）。

unionと同様に、variantが何らかのオブジェクト型 T の値を保持する場合、 T オブジェクトは variantオブジェクト内にネストされます 。

variantは参照、配列、または型 void を保持することが許可されていません。

variantは同じ型を複数回保持すること、および同じ型の異なるcv修飾バージョンを保持することが許可されています。

共用体の 集約初期化 時の動作と一貫して、デフォルト構築されたvariantはその最初の代替型の値を保持します。ただし、その代替型がデフォルト構築可能でない場合は除きます（その場合、variantもデフォルト構築可能ではありません）。ヘルパークラス std::monostate を使用することで、そのようなvariantをデフォルト構築可能にすることができます。

テンプレート引数なしで std::variant の定義をインスタンス化するプログラムはill-formedです。 std :: variant < std:: monostate > を代わりに使用できます。

プログラムが explicit または partial 特殊化の std::variant を宣言する場合、そのプログラムは診断不要のill-formedとなる。

テンプレートパラメータ

メンバー関数

非メンバー関数

ヘルパークラス

ヘルパーオブジェクト

注記

例

#include <cassert>
#include <iostream>
#include <string>
#include <variant>
int main()
{
    std::variant<int, float> v, w;
    v = 42; // vはintを含む
    int i = std::get<int>(v);
    assert(42 == i); // 成功
    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& ex)
    {
        std::cout << ex.what() << '\n';
    }
    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)); // 成功
}

std::get: wrong index for variant

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目