std::variant

template< class... Types >
class variant;

Шаблон класса std::variant представляет собой типобезопасное объединение (union).

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

Как и в случае с объединениями, если вариант хранит значение какого-либо объектного типа T, объект T вложен в объект variant.

Варианту не разрешается хранить ссылки, массивы или тип void.

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

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

Программа, которая инстанциирует определение std::variant без аргументов шаблона, является некорректной. Вместо этого можно использовать std::variant<std::monostate>.

Если программа объявляет явную или частичную специализацию std::variant, программа является некорректной, диагностика не требуется.

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

Члены класса

Нечленные функции

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

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

Примечания

Пример

#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++.

Смотрите также