std::variant

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

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

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

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

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

[править] Отчёты о дефектах

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

[править] Смотрите также