возвращение оптимизации функции стоимости

Question

Пример Функция 1

int func1 (int arg) 
{ 
    return arg + 10; 
} 

Образец Функция 2

int func1 (int arg) 
{ 
    int retval = arg + 10; 
    return retval; 

} 

func_xyz (int x); 

int main() 
{ 
int a = 10; 
int p = func1 (a); 

func_xyz(p); 
} 

Есть ли разница между поведением во время выполнения этих функций (пример 1 и образец 2)?

У меня есть определение функции в моем коде, в котором используется определение функции стиля образца 1. Когда я вызываю эту функцию, миллион раз (не воспроизводятся для меньших итераций) и пытаюсь передать это значение func_xyz, я получаю segfault. Однако, когда я использую определение стиля образца 2, segfault уходит. Но я не могу понять причину такого поведения.

Answer 1

in ТЕОРИЯ в функции2 будет инициирована локальная переменная (которая займет немного больше места), тогда вычисление будет рассчитано и значение будет скопировано в местоположение переменной.
После этого копия будет скопирована на возвращаемое значение. Так что это дополнительная операция копирования.

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

Answer 2

Вот некоторые сведения о return value optimization in compilers.

Попробуйте использовать класс, который имеет нетривиальный конструктор копирования, чтобы увидеть, что на самом деле происходит.

Answer 3

Нет абсолютно никакой разницы. Любой компилятор может видеть, что код просто

int main() { {}

Что делает вызываемая функция?