weeding out c++ keywords from sys/sys

Christoph Mallon christoph.mallon at gmx.de
Tue Feb 17 01:26:58 PST 2009


Andrew Reilly schrieb:
> On Mon, Feb 16, 2009 at 10:57:12AM +0200, Andriy Gapon wrote:
>> on 16/02/2009 07:56 Andrew Reilly said the following:
>> This is the first time in my life that I hear about temporary objects on 
>> the heap and/or memory leaks through temporary objects. Either you are 
>> remembering a bug in some ancient C++ compiler or you are referring to 
>> some buggy code.
> 
> Well, code that results in a memory leak (or dangling reference)
> is buggy by definition, but how to avoid it, in general?  I'm
> not about to write some examples for the purpose of this
> discussion, so google searches will have to do.
> 
> The first google search that I did for "C++ argument promotion
> temporary objects" came up with this link:
> http://www.icce.rug.nl/documents/cplusplus/cplusplus09.html
> 
> If you skip down to the StringArray example, you can see that
> a new String object is automatically constructed to cast the
> char* to fit the String &operator[](size_t idx) method.  Now,
> in this instance the constructed object has somewhere to go: a
> reference is being stored in the array.  So the temporary object
> must have been constructed on the heap.  But other methods on
> other objects may require String arguments, invoking the same
> constructor, but they might not record the reference and so it
> won't be cleaned up later.  Or will it?

Uh, your observation is wrong.
I guess you talk about the line
	sa[3] = "hello world";
because this is the only line, which includes vaguely something like a 
char*[0].
The text describes in detail what happens. Actually there are no 
temporary objects involved.
First sa[3] is evaluated. The left hand side of the [] operator is a 
StringArray and the right hand side is an integer literal. The 
overloaded [] operator in class StringArray fits here, so we get a 
reference to a String, i.e. a String&, as result.
Then there is the = operator. On the left side is a String& and on the 
right side (after default conversion) a const char*.
We look in class String and find an overloaded = operator, which takes a 
const char* as second argument, so this one is called.
The sa[3] part knows nothing at all about the string literal later. The 
string literal knows nothing about the sa[3] either. Their only 
connection is the = operator, which knows both its operands, of course.
End of story.


[0] A string literal is of type const char[] and there is a deprectaed 
conversion from string literals to char*, but this is not necessary 
here, because we only need a const char* which is fine.


More information about the freebsd-current mailing list