Здесь есть копирование.
Однако срабатывает стандартная оптимизация RVO, и копирующий конструктор становится не наблюдаем.

Современные компиляторы (в том числе msvc) применяют её даже для режима "без оптимизации".

Важно понимать: компилятор сначала проверяет код в соответствии с правилами языка (со стандартом), а уже только потом его оптимизирует.
Поэтому он и требует наличия копирующего конструктора.

Примечание: msvc (по крайней мере 2008 компилятор точно, новые не проверял) допускает отсутствие копирующего конструктора, когда заранее знает, что оптимизирует его. Но это - расширение от компилятора.

Он оптимизирован.

Компилятор догадывается, что результат выражения

Будет аналогичен выражению:


Выпиливает создание временного объекта.
А для результирующего объекта заменяет вызов копирующего конструктора на explicit ctor

При этом, допустим мы почему то захотели что бы в копирующем конструкторе были эффекты. Например запрос в БД.
А в конструкторе с параметрами таких эффектов нет.

В этом случае получается, что компилятор выполняя такую оптимизацию нарушает ожидаемую нами логику: мы рассчитывали на запрос в БД, но после оптимизации его не случилось.

По стандарту компилятор не имеет право применять оптимизации, которые изменяют "фактическое" состояние программы настолько, что оно перестает соответствовать "логическому" (такому, которое изначально было описано в исходном коде).

Однако, следование этому правилу накорню обламывает множество важных оптимизаций связанных с копированием объектов.

Раньше компиляторы умели RVO/NRVO, но в большинстве случаев они оказывались недопустимыми из-за возможных эффектов.
Поэтому, стандарт их узаконил.

С этого момента, компиляторы были обязаны поддерживать и использовать оптимизации RVO/NRVO.
в частности, выражение:

компилятор обязан оптимизировать до:

компилятор обязан оптимизировать до:


Для копирующих конструкторов была сделала оговорка.
Я точно не помню как она звучит в оригинале.

Я запомнил её в своём весьма вольном переводе:
нельзя закладываться на то, что копирующий конструктор будет наблюдаемый.

Всегда нужно иметь ввиду, что компилятор может выпилить копирования невзирая на содержимое копирующего конструктора.



Поэтому эффекты в конструкторе копирования - это ill-formed.
В хорошей программе они не допустимы.




(хотя функции с эффектами, это строго говоря само по себе ill-formed.
Ответ на вопрос "почему?" можно найти в книжках аля "Идеальный код" Макконелла)




msvc2012, тулсет: штатный из коробки, а так же ноябрьский. В дебаге оптимизирует копирование временных объектов.
msvc2013, тулсет: штатный из коробки, а так же ноябрьский. В дебаге оптимизирует копирование временных объектов.

гцц
http://rextester.com/XUAMR22459

шланг
http://rextester.com/IOSR10427

2013 студия, ноябрь
http://rextester.com/BCN9840

2012 к сожалению не могу продемонстрировать на онлайн компиляторе.
Однако результат точно такой же. Я лично долбался с ним, пытаясь найти способ, как заставить компилятор не оптимизировать. Не нашел.

с++03 узаконили RVO/NRVO
c++11 вытащили контроль за r-value на уровень пользователя.

Однако принципиально ничего не изменилось.

Я предоставил ссылки выше, которые иллюстрируют, что r-value конструкторы так же не наблюдаемы.

Не "думаю", а "на горьком опыте" Ладно, не хочу тратить Ваше и свое время на "уличение MSVC", лучше вот что спрошу:

Есть класс копирование которого нежелательно. Напр у меня контейнер возможно содержащий гигабайты данных. Хорошо, делаем конструктор и оператор = private. Но надо распараллелить расчеты, поэтому каждая нитка должна иметь свой такой контейнер. Приходится отказаться от private. Конечно всегда можно делать указатель, но это не очень удобно. Как грамотно разрулить эту ситуацию?

Спасибо