🚀 go-pugleaf

Antony Hodgson @ Massachusetts Institute of Technology writes

 > Consider the following:
 > 
 > 	Vector Vector::operator + ( Vector & A )
 > 		{
 > 			Vector temp;
 > 			// for all valid i, temp[i] = (*this)[i] + A[i]
 > 			return temp;  // copy of temp made here
 > 		} // temp deallocated here
 > 
 > Could an intelligent compiler bypass this copying without the help of
 > any new syntax? 

Yes it could. The technique is described in the annotated C++ reference
manual in section 12.1.1c. I believe the technique is used in the Zortech
compiler (existence proof).