std::variant

template< class... Types >
class variant;

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

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

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

variant не может содержать ссылки, массивы или тип void.

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

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

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

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

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

Функции-члены

Функции, не являющиеся членами класса

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

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

Примечания

Пример

#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); // ошибка: нет double в [int, float]
//  std::get<3>(v);      // ошибка: допустимые значения индекса 0 и 1
    try
    {
        std::get<float>(w); // w содержит int, а не float: выбросит исключение
    }
    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");
    // преобразуется в void const* при передаче char 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++.

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