Сохранение значения перед возвращением в переменной

Question

Вот фрагмент кода:

bool EqualsA(const Foo& a, const Foo& b) 
{ 
    return a == b; 
} 

bool EqualsB(const Foo& a, const Foo& b) 
{ 
    const bool result = a == b; 

    return result; 
} 

int MethodA() 
{ 
    return GetValue() * GetOtherValue(); 
} 

int MethodB() 
{ 
    const int result = GetValue() * GetOtherValue(); 

    return result; 
} 

Я хотел бы знать, если есть какая-то разница в возвращении значений в этих двух различных способов (мгновенного возврата или сохранить результат в переменной). Я считаю, что хранение лучше для отладки, но есть ли потеря производительности (я не думаю, что есть) или любые другие плюсы и минусы для использования одного из них.

Answer 1

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

Во многих инструментах анализа кода это отмечено как запах кода, и я хотел бы согласиться. Debuggers can be made to see the return value on the stack, поэтому локальная переменная ничего не покупает.

Answer 2

Там почти наверняка не будет никакой разницы. Компилятору разрешено делать то, что ему нравится в вашем коде, если программа ведет себя as-if, так оно было, как вы ее написали. Поэтому любой хороший компилятор избавится от бессмысленных инициализаций.

Однако это может быть ситуация, при которой эта инициализация не может исчезнуть. Если, например, перегрузка operator*, используемая для GetValue() * GetOtherValue(), возвращает результат типа класса по ссылке const, конструктор этого типа класса может иметь некоторые побочные эффекты. Если это так, компилятор не может избавиться от инициализации, поскольку он изменяет наблюдаемое поведение программы.

Но почему это не так, если operator* возвращен стоимостью? Тогда это будет кандидатом на копирование, и компилятор может избавиться от конструкции независимо от того, имели ли он побочные эффекты или нет.

Answer 3

При разумном предположении, что значение возвращается выбранной перегрузкой operator == для объектов типа Foo имеет типа bool, достойный компилятор оптимизирует ваш временный магазин прочь при использовании опции тяжелой оптимизации, так , как для работы, это неважно.

Мой совет - выбрать форму, которая сделает ваш код более читаемым или более удобным для вас или отладки.