std::variant

template< class... Types >
class variant;

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

variant のインスタンスは、任意の時点において、代替型のいずれかの値を保持するか、エラーの場合には値なしの状態 (この状態は到達困難です。valueless_by_exception を参照) のいずれかとなります。

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

variant は、参照、配列、または void 型を保持することはできません。

variant は、同じ型を複数回保持すること、および同一型の cv 修飾が異なるバージョンを保持することができます。

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

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

プログラムが 明示的 または 部分的 特殊化を 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++規格に対して遡及的に適用されました。

関連項目