@Dani

Почему выводится 1 4? MSVS 2012
По логике, должен вызваться конструктор объекта x, этот объект вернет свою копию. Затем будет вызван копирующий конструктор объекта y. Будет вызван деструктор для x, потом для y. Может компилятор так соптимизил...

Добавлено через 19 минут
gcc тоже самое выводит

0

@dzrkot

в функции вызывается конструктор по-умолчанию, вы создаете y и присваеваете ему объект с конструктором по-умолчанию - отсюда 1, потом деструктор - 4

0

Vourhey

Да.

Добавлено через 4 минуты
1 из По поводу Нет, потом конструктор копирования по возвращению из функции, а потом уже деструктор.

1

@Dani

если уж то должен был бы вызваться operator=

0

Vourhey

Собери без оптимизации.

0

@Dani

Сейчас попробую

0

Vourhey

имею ввиду деструктор для x. Само собой, потом деструктор для y.

0

Ilot

Скорее всего оптимизация. Если немного попытаться обмануть компилятор то все получится как положенно:

1

@Dani

А как в gcc отключить оптимизации? Вроде бы без -O2 и всяких свистелок компилю.

0

Tulosba

Оптимизация бывает разная. Тут в частности срабатывает вот это:
http://stackoverflow.com/quest... tudio-2010
Еще для поиска: no-elide-constructors

1

@Dani

В студии отключил отпимизации, получилось 1 2 4 4

Добавлено через 2 минуты
А как вообще можно заставить компилятор не оптимизировать здесь? Т.е. есть проект, включена оптимизация, но в таких местах, допустим, критически важен вызов копирующего конструктора, как заставить компилятор здесь не оптимизировать?

0

Vourhey

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

0

@Dani

Vourhey, даже если я сделаю так M(const M&) { a[1] = 14; cout << "2\n"; }, все равно 1 4. Хотя тут идет важная часть (присвоение 14). Или что имеется ввиду под выражением "важная часть"?

0

Tulosba

По ссылке, что я привел, написано, что для студии никак. Для gcc -fno-elide-constructors

1

@Dani

Только что запустил для gcc: получилось 1 2 4 2 4 4. То есть: в func() запускается конструктор объекта x, x копируется копирующим конструктором во временной объект, затем x удаляется, запускается копирующий конструктор для y, который копирует значения из временного объекта, затем временный объект удаляется, потом удаляется y. Правильно?

0

Vourhey

Это создание объекта по умолчанию, и используется объект только внутри функции. То есть, он не важен ни в одно части программы. Поэтому при оптимизации твоего кода x можно вообще убирать и работать с одним y.
Думаю, что если добавить static перед M x;, то оптимизатор не станет убирать x Это не решение, это просто пример, почему оптимизатор убирает x.

1

@Dani

Поставил static. Скомпилил в gcc без опций: вывод 1 2 4 4. Скомпилил в gcc с -fno-elide-constructors, получилось 1 2 2 4 4 4. Куда делать еще одна двойка и четверка при компиляции без опций? Обходимся без временного объекта? Как тогда это происходит?

0

Vourhey

Просто. Например:
Спокойно может быть сокращено до, грубо:
с точки зрения результата - идентично.

1

@Dani

Вот нашел здесь такое: http://rsdn.org/forum/cpp/1436516.all
А>1.


большинство реализаций скомпилируют это так, что f вернёт значение в каком-нибудь предназначенном для этого месте проца, например в специальном регистра. На Intel это обычно eax. оттуда это значение и будет сохранено в переменную a.


А>2.



Строчка "qwe" выделится в сегменте статических данных и будет там спокойно жить, когда функция затеет его возвращать, она вернёт просто сам указатель, то есть тоже как атомарное значение, то есть всё будет очень похоже на п 1, только значение будет передаваться другое. Оно же и сохранится в str.
Правда есть одно замечание. В C++ "qwe" имет тип const char [4], так что чтобы всё было по стандарту, нужно писать ещё и выделенное полужирным const

А>3.



А вот тут будет плохо!

char qw[] = "qwe"; -- это объявление автоматического массива из 4-х char'ов, и инициализация его кодами букв q, w, e и 0.
После чего адрес этого массива (то есть адрес данных на стеке), будет возвращён из функции так же как был возвращён адрес во втором случае. Но, так как стековый фрейм f будет к этому моменту разрушен, то эти данные довольно скоро будет затёрты какими-нибудь другими пользователями стека, так что вы получити какой-то мусор.

Но есть ещё и
4


Произойдёт интересно.
Так как структура IntData довольно большая, то она уже скорее всего не сможет быть передана через "волшебное место" в процессоре, так что она будет передаваться через память. Обычно это происходит так:
1) Тот кто вызывает, заводит у себя место под возвращаемое значние функции. Если компилятор не совсем того, то в данном контексте это будет непосредственно место под переменную data.
2) у функции f() на самом деле есть тайный параметр, куда передаётся указатель на это место
3) в операторе return будет вызван конструктор IntData, при этом объект будет сконструирован как раз в том самом месте. В этом варинте функции позовут конструктор копирования.
4) Вызывающая сторона сама решает как распорядиться полученным временным объектом. В жанном варианте (если компилятор не совсем того), то временного объекта вообще не будет и мы просто получим инициализированную переменную data и программа продолжит выполнение.

Сообщение довольно старое. Этому можно верить? Сейчас тоже так все происходит?

0

Vourhey

Да.
То, что я написал про Если вдаваться в детали, то вызов func все равно может быть в наличии. Но работать он будет с объектом постоянным, а не временным. Но для простоты я написал так, чтобы объяснить, почему не будет конструктора копирования

1