Моя цель - гарантировать единое хранилище для всех моих типов вариантов: согласно гарантии «никогда не пусто» из Boost :: variant , нам нужно переопределить
boost :: has_nothrow_copy
для каждого ограниченного типа. Но чуть позже
в документации упоминается что-то о 'boost :: blank'
, и если этот
тип привязан, вариант установит это значение вместо того, чтобы пытаться не сбрасывать {{ 1}} конструкторы копирования по умолчанию.
что неясно, так это то, что добавление boost :: blank в список ограниченных типов
позволит избежать необходимости переопределения / специализации has_nothrow_copy
с другими типами?