Коллеги, подскажите с NRVO: return a += b; получается ведь хуже, чем a

Я либо не понимаю либо я застрял немного в другом языке. Разве стандарт не говорит о видимом виде исполнения? Или в данном случае это уже компилятор выбирает выбрать так или все же исполнить так но с оптимизацией

0

03.10.2020

Пользователь 61534

Dmitriy [Отпуск]
Стрельба в ногу Стандартом не запрещена...)) Надо ...

Или я непросканировал слово стрельба в ногу не запрещена и тогда все сходится )

0

03.10.2020

Andrei K

Dmitriy [Отпуск]
Потому что они возвращают L-value reference

Я стесняюсь спросить, а как lvalue reference связано с copy elision?

0

03.10.2020

Пользователь 61534

Andrei K
Я стесняюсь спросить, а как lvalue reference связа...

Я сам сижу и пытаюсь понять

0

03.10.2020

Vladimir Bayrashevskiy

Andrei K
Я стесняюсь спросить, а как lvalue reference связа...

Если вы видите "A& operator+=(A& lhs, const A& rhs);", вы можете сказать _точно_, что возвращает этот оператор? Вот и компилятор тоже не может, не пытаясь решить неразрешимую задачу (см. теорема Райса).

0

03.10.2020

Andrei K

Vladimir Bayrashevskiy
Если вы видите "A& operator+=(A& lhs, const A& rhs...

Это может работать по-разному. Сильно зависит от оптимизатора. К примеру, пасс оптимизитора, который делает RVO может находится после того как был сгенерирован код для += и оптимизатор может инферрить какие-то вещи о возвращаемом значении.

0

03.10.2020

Alexander N

Andrei K
Это может работать по-разному. Сильно зависит от о...

Это как? Сгенерили одни инструкции, а потом раз и оптимизатор всё переделал?

0

03.10.2020

Andrei K

Alexander N
Это как? Сгенерили одни инструкции, а потом раз и ...

Запросто.

0

03.10.2020