std::variant

template< class... Types >
class variant;

Шаблон класса std::variant представляет собой безопасный по типу объединение. Экземпляр std::variant в любой момент времени либо содержит значение одного из альтернативных типов, либо, в случае ошибки, не содержит значения (это состояние трудно достижимо, см. valueless_by_exception).

Как и в случае с объединениями, если T содержит значение некоторого типа объекта, представление объекта T выделяется непосредственно в представлении объекта варианта. Вариант не допускает выделения дополнительной (динамической) памяти.

Вариант не может содержать ссылки, массивы или тип void. Пустые варианты также некорректны (std::variant<std::monostate> может быть использован вместо этого).

Вариант может содержать один и тот же тип более одного раза и содержать разные cv-квалифицированные версии одного и того же типа.

В соответствии с поведением объединений во время агрегатной инициализации, вариант, созданный по умолчанию, содержит значение первого альтернативного типа, если этот альтернативный тип допускает инициализацию по умолчанию (в противном случае вариант не допускает инициализации по умолчанию). Вспомогательный класс std::monostate может быть использован для того, чтобы сделать такие варианты допускающими инициализацию по умолчанию.

Параметры шаблона

Члены-функции

Внешаблонные функции

Вспомогательные классы

Вспомогательные объекты

Примечания

Пример

#include <cassert>
#include <iostream>
#include <string>
#include <variant>
 
int main()
{
    std::variant<int, float> v, w;
    v = 42; // v contains int
    int i = std::get<int>(v);
    assert(42 == i); // succeeds
    w = std::get<int>(v);
    w = std::get<0>(v); // same effect as the previous line
    w = v; // same effect as the previous line
 
//  std::get<double>(v); // error: no double in [int, float]
//  std::get<3>(v);      // error: valid index values are 0 and 1
 
    try
    {
        std::get<float>(w); // w contains int, not float: will throw
    }
    catch (const std::bad_variant_access& ex)
    {
        std::cout << ex.what() << '\n';
    }
 
    using namespace std::literals;
 
    std::variant<std::string> x("abc");
    // converting constructors work when unambiguous
    x = "def"; // converting assignment also works when unambiguous
 
    std::variant<std::string, void const*> y("abc");
    // casts to void const * when passed a char const *
    assert(std::holds_alternative<void const*>(y)); // succeeds
    y = "xyz"s;
    assert(std::holds_alternative<std::string>(y)); // succeeds
}

std::get: wrong index for variant

Отчеты об ошибках

Следующие отчеты об ошибках, изменяющих поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

См. также