boost :: variant гарантия единого хранилища

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

что неясно, так это то, что добавление boost :: blank в список ограниченных типов позволит избежать необходимости переопределения / специализации has_nothrow_copy с другими типами?

5
задан lurscher 2 October 2011 в 18:53
поделиться