Re: Scope of temporaries as function arguments

[Maxim Fomin]

On Friday, 28 June 2013 at 16:44:03 UTC, Ali Çehreli wrote:
Ali
P.S. The C++ program that I have just used for testing:

Are you sure that the code is exact translation of demonstrated D 
problem? I see difference in argument passing order and your 
version uses try-catch block.

This code

#include <iostream>
#include <stdexcept>

using namespace std;

int callme()
{
    throw runtime_error("");
    return 0;
}

struct S
{
    int i_;

    S(int i)
        :
        i_(i)
    {
        cout << "constructing: " << i_ << " at " << this << '\n';
    }

    S(const S & that)
    {
        cout << "copying: " << that.i_ << " to " << this << '\n';
        i_ = that.i_;
    }

    ~S()
    {
        cout << "destroying: " << i_ << " at " << this << '\n';
    }
};

void foo(S s, int i)
{
   s.i_ = 2;
}

int main()
{
    S s = S(1);
    foo(s, callme());

}

prints for me:

constructing: 1 at 0x7fffb93078d0
terminate called after throwing an instance of 
'std::runtime_error'
  what():
Aborted