S a = S(); это copy elision ?

можете сами пробежаться по началам пунктов в списках, чтобы понять, что copy elision тут никаком боком http://eel.is/c++draft/class.copy.elision#1 http://eel.is/c++draft/class.copy.elision#3

0

17.12.2021

我が名はレギオン
Это просто вызов конструктора. Такой есть в приме...

вообще компилятор на это двояко смотрит

0

17.12.2021

@dpaukaev кстати http://eel.is/c++draft/dcl.init#general-16.6.1

0

17.12.2021

Vlad
@dpaukaev кстати http://eel.is/c++draft/dcl.init#g...

https://godbolt.org/z/bqrTMnc6x не понятно чем ему мув конструктор тогда мешает)

0

17.12.2021

Boris Usievich

Denis P
https://godbolt.org/z/bqrTMnc6x не понятно чем ем...

по моему там вполне понятное сообщение об ошибке.

0

17.12.2021

Denis P
https://godbolt.org/z/bqrTMnc6x не понятно чем ем...

этот код успешно компилируется в режиме С++17 и новее этот пункт (dcl.init#general-16.6.1) приехал вместе с прочими формулировками copy elision в [p0135] я согласен, что концептуально в S s = S() опускается лишний вызов оператора перемещения, и таково было намерение автора бумаги, но с точки зрения стандарта copy elision это вполне конкретное явление, разрешенное в закрытом перечне контекстов, и рассматриваемый случай в них не входит

0

17.12.2021

paperbot_cpp

Vlad
этот код успешно компилируется в режиме С++17 и но...

P0135R0: Guaranteed copy elision through simplified value categories (by Richard Smith) (2015-09-27) P0135R1: Wording for guaranteed copy elision through simplified value categories (by Richard Smith) (2016-06-20)

0

17.12.2021

Boris Usievich
по моему там вполне понятное сообщение об ошибке.

в чем оно понятное?

0

17.12.2021

Vlad
этот код успешно компилируется в режиме С++17 и но...

ага, видимо так

0

17.12.2021

Boris Usievich

Denis P
в чем оно понятное?

Стандарты имеют свойство изменяться :)

0

17.12.2021

Boris Usievich
Стандарты имеют свойство изменяться :)

имеют да)

0

17.12.2021

我が名はレギオン
Это просто вызов конструктора. Такой есть в приме...

Если отключить copy-ellision, то там будет вызов мув конструктора https://godbolt.org/z/4sK71fsde

0

17.12.2021

Ramil Rizvanov Автор вопроса

Ilya Zviagin
Нет

можно подробней? перечитал cppref , там все сводится к вызову конструктора, который сведется к copy elision

0

17.12.2021

Ilya Zviagin

Ramil Rizvanov
можно подробней? перечитал cppref , там все сводит...

А нечего подробнее

0

17.12.2021

Ilya Zviagin
А нечего подробнее

я подробнее приводил ссылку на годболт. да, это copy elision

0

17.12.2021

Stas
я подробнее приводил ссылку на годболт. да, это co...

концептуально это он, но по стандарту copy elision как термин это примерно return value optimization, и приведенный пример под это не очень подходит https://t.me/supapro/1016714

0

17.12.2021

Vlad
концептуально это он, но по стандарту copy elision...

Можно это ещё показать без -fno-copy-elision: если удалить copy/move конструкторы, то T t = T(); перестанет компилироваться

0

17.12.2021

Stas
Можно это ещё показать без -fno-copy-elision: если...

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

0

17.12.2021

我が名はレギオン

Stas
Если отключить copy-ellision, то там будет вызов м...

На с++17 и с этим флагом не будет никаких мувов

0

17.12.2021

我が名はレギオン
На с++17 и с этим флагом не будет никаких мувов

а на с++14 будет

0

17.12.2021

我が名はレギオン

Stas
а на с++14 будет

У некоторых копиляторов будет. У icc и на С++11 нет никакого мува

0

17.12.2021