Ключевое слово explicit рекомендуется для всех большинства конструкторов, которые могут вызываться с одним аргументом, за исключением конструкторов копирования.
Для конструкторов копирования он используется (запрещает неявное копирование через вызов функции, возврат и т. д.), но это не то, что обычно требуется.
Как насчет конструкторов перемещения? Есть ли разумный вариант использования, чтобы сделать их явными? Какая здесь хорошая практика?
Конструкторы перемещения explicit могут повлиять на совместимость, например. Стандартные алгоритмы. Например, std::swap<T> требует, чтобы T был MoveConstructible. В свою очередь, MoveConstructible указывается в терминах выражения, а именно T u = rv; (где rv — это rvalue типа T).
Если для данного типа нет ни неявного конструктора копирования, ни неявного конструктора перемещения, то T u = rv; недействителен, и этот тип нельзя использовать с std::swap. (Однако в данном конкретном случае можно специализировать std::swap для обеспечения желаемой функциональности, например, используя T u(rv);).
Проще говоря, конструктор перемещения или копирования explicit не соответствует ожиданиям и не может использоваться с универсальным кодом.
Некоторые другие части стандартной библиотеки, предъявляющие требование MoveConstructible:
unique_ptr<T, D>bind (затрагиваются все переданные распавшиеся типы)thread, async, call_once (все указано в терминах обработчиков вызовов)sort, stable_sort, nth_element, sort_heapВероятно, вам нужен неявный конструктор перемещения для большинства применений. Обычно они попадают в те же категории, что и конструкторы копирования. Явный не рекомендуется для всех конструкторов с одним аргументом, но рекомендуется для большинства. Конструкторы перемещения не входят в этот список.
Ключевое слово explicit рекомендуется для (с одним аргументом) преобразования конструкторов, чтобы избежать неожиданных преобразований в неожиданных местах.
Конструкторы копирования и конструкторы перемещения вряд ли «удивительны» в этом смысле. Они происходят в основном там, где и ожидалось. Если они вам не нужны, я ожидаю, что они будут помечены =delete, а не явно указаны.
Фактический вопрос заключается в том, как можно использовать явный конструктор перемещения? Его нельзя будет вызвать для rvalue, поэтому компилятору придется всегда выбирать конструктор копирования, если он доступен, иначе он не сможет скомпилироваться.
Изменить: вот ссылка на пример: http://www.ideone.com/nm7KM
При возврате по значению из функции неявный конструктор перемещения обычно может сделать процесс более эффективным.
T([const] [volatile] T&). 12,8/2.T(int)— это конструктор, который можно вызывать с одним аргументом, но он не является конструктором копирования, поскольку не копирует экземплярT. - person Steve Jessop schedule 20.07.2011explicitможет иметь значение для таких конструкторов? Можете ли вы привести пример? - person Kos schedule 22.07.2011