std:: variant

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

Экземпляр 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 содержит 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++.

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