Оптимизация конструктора копий по сравнению с оптимизацией возвращаемого значения

Question

В previous question оказалось, что простая функция возвращаемого значения всегда копирует свой аргумент return в назначаемую переменную.

Требуется ли это по стандарту, или можно оптимизировать функцию, построив переменную «назначено» даже внутри тела функции?

struct C { int i; double d; }; 

C f(int i, int d) { 
    return C(i,d); // construct _and_ copy-construct? 
} 

int main() { 
    C c = f(1, 2); 
} 

Answer 1

Стандарт позволяет любому уровень копирования бездействия здесь:

• построить локальную временный, копирование построить его в качестве возвращаемого значения, а затем скопировать построить возвращаемое значение в локальный «с». OR
• Создайте локальную временную копию и скопируйте ее в "c". ИЛИ
• конструкт «с» с аргументами «I, D»

Answer 2

Стандарт говорит, что конструктор копирования не нужно использовать - смотрите раздел 12.8/15:

15 Всякий раз, когда объект временного класса копируется с помощью конструктора копирования, и этот объект и копия имеет тот же самый cv-неквалифицированный тип, реализация разрешается обрабатывать оригинал и копию в виде двух различных способов обращения к того же объекта, а не выполнить копию на все, даже если класс copy конструктор или деструктор имеют сторону эффекты.

И многое другое в подобном ключе.

Answer 3

Там один очень простой и хороший способ, чтобы избежать подобных соображений полностью - вы можете рассмотреть возможность возвращения повышающий :: shared_ptr для создаваемого объекта - это будет практически то же самое, когда дело касается юзабилити, но ваш объект, безусловно, не будет скопирован без необходимости - и это будет верно, если вы вернете его, хотя несколько уровней вызовов функций.

Answer 4

Путь не передавать параметр по ссылке и присваивать ему результат?