Question regarding Const Reference and Temporaries

[kaede]

Hi all,

Consider the following code fragment:

// some data structure
class Data { ... }

// Container for the data structure
Class Container
{
public:
Container(const & Data data): m_cRefData(data ), m_ncRefData(dat a)
{}
private:
const Data& m_cRefData;
Data& m_ncRefData;
};

// some func to create the data
Data getData(int i, int j, string k, const char* l)
{
return Data(i,j,k,l);
}

// some func to process the container
void processContaine r(Container& container)
{
// work with container.mcRef Data and/or m_ncRefData
}
// some code somewhere ...
Container container( getData(i,j,k,l ) );

// .... do some other things ... amount of time taken may varies ...

processContaine r(container);
My question is what happen if I used the data member of the container?
Will the value initialized in the Container constructor still valid?
I read something about temporaries bind to const& have a lifetime of
the const&. If that holds, container.mncRe fData may not be valid by
the time it is process but, container.mcRef Data is still valid by the
time it is processed. Is that assumption correct?

Thanks,
Kaede

[Kevin Goodsell]

kaede wrote:

Hi all,

Consider the following code fragment:

// some data structure
class Data { ... }

// Container for the data structure
Class Container
class, not Class.
{
public:
Container(const & Data data): m_cRefData(data ), m_ncRefData(dat a)
{}
& is in the wrong place.

Container(const Data &data)

Also, I don't think you can initialize a non-const reference with a
const reference. I've never tried it or bothered to look it up in the
standard, but I'd be very surprised if it were legal.


private:
const Data& m_cRefData;
Data& m_ncRefData;
};

// some func to create the data
Data getData(int i, int j, string k, const char* l)
{
return Data(i,j,k,l);
}

// some func to process the container
void processContaine r(Container& container)
{
// work with container.mcRef Data and/or m_ncRefData
}
// some code somewhere ...
Container container( getData(i,j,k,l ) );
The temporary returned from getData is destroyed after this expression
completes. Your references are no longer valid.

// .... do some other things ... amount of time taken may varies ...

processContaine r(container);
My question is what happen if I used the data member of the container?
Undefined behavior.
Will the value initialized in the Container constructor still valid?
I read something about temporaries bind to const& have a lifetime of
the const&.

Not quite what happened here. The reference you bound the temporary to
was the parameter to the constructor. It died when the constructor finished.

In general, the compiler would have no way of knowing that you made
*another* reference to the temporary (if the construct were in a
different translation unit, for example), so it could not possibly
prolong the life of the temporary to match the life of the reference.

-Kevin
--
My email address is valid, but changes periodically.
To contact me please use the address from a recent posting.

[WW]

Kevin Goodsell wrote:

Container(const & Data data): m_cRefData(data ),
m_ncRefData(dat a) {}
& is in the wrong place.

Container(const Data &data)

Or if we are at it:

Container(Data const &data)

;-)
Also, I don't think you can initialize a non-const reference with a
const reference. I've never tried it or bothered to look it up in the
standard, but I'd be very surprised if it were legal.

Only in The Sage mode. ;-) Can be activated by
the --allow-all-sort-of-silly-errors-and-swearing mode.

--
WW aka Attila

[kaede]

Kevin Goodsell <us************ *********@never box.com> wrote in message news:<dX******* *********@newsr ead3.news.pas.e arthlink.net>.. .

Not quite what happened here. The reference you bound the temporary to
was the parameter to the constructor. It died when the constructor finished.

In general, the compiler would have no way of knowing that you made
*another* reference to the temporary (if the construct were in a
different translation unit, for example), so it could not possibly
prolong the life of the temporary to match the life of the reference.

-Kevin

Thanks, I think I understand the concept now. At first I thought, the
second reference that bound to the temporary would prolong the life of
the temporaries. I guess I made a wrong assumption there. I wrote
some code to try out the scenerio and it work just fine. I guess that
was just sheer luck.

Again Thanks for the advice.
Kaede