Каковы различия между std:: variant и boost:: variant?

Ответ 1

• Поведение назначения/размещения:

  • boost::variant может выделять память при выполнении присваивания в живом variant. Существует ряд правил, определяющих, когда это может произойти, поэтому вопрос о том, будет ли boost::variant выделять память, зависит от Ts он создается.

  • std::variant никогда не будет динамически распределять память. Однако в качестве уступки сложным правилам объектов C++, если выбрасывает присваивание/размещение, variant может войти в состояние "valueless_by_exception". В этом состоянии variant недоступен, и никакие другие функции для доступа к конкретному члену не будут работать.

    Вы можете войти в это состояние, только если броски с назначением/назначением.

• Boost.Variant включает в себя recursive_variant, который позволяет variant содержать себя. По сути, они являются специальными обертками вокруг указателя на boost::variant, но они связаны с механизмом посещения.

  std::variant нет такого вспомогательного типа.

• std::variant option предлагает более широкое использование пост-C++ 11 функций. Например:

  • Он передает статус noexcept для специальных функций-членов своих составляющих типов.

  • Он имеет вариационные шаблоны на основе шаблонов и функции размещения.

  • Разрешение дефектов, примененное к C++ 17, может означать, что оно также будет способствовать простому копированию его типов. То есть, если все типы тривиально копируемы, то так же будет variant<Ts>.

Ответ 2

Кажется, что главным аргументом в отношении дизайна варианта-класса было то, что должно произойти, когда присваивание варианту, которое после завершения уничтожает старое значение, выдает исключение:

variant<std::string, MyClassWithThrowingDefaultCtor> v = "ABC";
v = MyClassWithThrowingDefaultCtor();

Возможные варианты:

• Предотвратите это, ограничив возможные отображаемые типы конструкциями, не допускающими переходов.
• Сохраняйте старое значение - но для этого требуются двойные буферы (что, по-видимому, boost::variant).
• Имейте "отключенное" состояние без значения для каждого варианта и переходите к этому состоянию при таких сбоях.
• Undefined поведение
• Сделайте вариант throw при попытке прочитать его значение после того, как произойдет что-то подобное

и если я не ошибаюсь, последнее - то, что было принято.

_{Это обобщено из блога ISO С++ post от Axel Naumann с ноября 2015 г.}