Когда именно возвращаемое значение копируется

Question

Давайте предположим, что у меня есть следующий код:

int bar = 0; 

struct Foo { 
    ~Foo() { bar = 1; } 
}; 

int main(int argc, char ** argv) { 
    Foo f; 
    return bar; 
} 

Что будет возвращаемым значением программы? 0 или 1?

Answer 1

С [stmt.return]/3:

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

Таким образом, деструктор запускается после инициализации возвращаемого значения, поэтому возвращаемое значение равно 0 при первом вызове вашей функции.

Answer 2

Автоматические переменные удаляются в обратном порядке для их объявления.

Таким образом, возвращаемое значение функции устанавливается до вызова ~Foo().

Возвращение foobar поэтому очень хорошо определено 0.

Ваш вопрос будет более интересно, если ваша функция вернула int&.