Sales_item operator+(const Sales_item& lhs,const Sales_item& rhs)
{
    Sales_item ret(lhs) ;
    ret+= rhs ;
    return ret ;
}
怎么可以返回一個局部變量呢？？？？？？
例如
Sales_item item1,item2,item3 ;
......(item2,item3初始化成員變量)
item1 = item2 + item3 ;

沒有問題，它返回的是一個值，而不是引用，所以是正確的。在item1 = item2 + item3 中發生了一次值拷貝(賦值)，也就是將item2+item3返回的局部變量拷貝給了item1之后，局部變量的作用域結束 
 
可以返回局部變量，但是不能返回局部變量的引用。理解區分值和引用這兩個概念是學習C++的一大關鍵，明白這兩個概念之后，你就會理解為什么C++的類里面需要有拷貝構造函數，賦值操作符，析構函數三個元素了以及其它的一些稀里古怪的用法和忠告了
--

Sales_item operator+(const Sales_item& lhs,const Sales_item& rhs) 
{ 
    Sales_item ret(lhs) ; 
    ret+= rhs ; 
    return ret ; 
}
在return ret 時并不是簡單的返回這個局部變量，而是返回的是ret的一個副本temp,
temp是通過拷貝構造函數實現的 即 Sales_item temp(ret);也就是說在主函數中用的其實是個temp,而ret早在operator+調用完畢后就釋放了，而temp這個 對象一直在主函數中貯存（雖然顯示是看不到的 ）  ????

嗯嗯，臨時對象一直是個有爭議的話題。temp只是臨時構造的，在賦值完畢之后它就析構了，不是一直在主函數中貯存的。這個臨時對象的作用域是什么？？？
在你提的這種情況下，其實編譯器是可以優化掉這個副本的，但是可惜C++標準只允許優化  “Sales_item item1=item2+item3” 這種情況的,也就是在拷貝構造這種情況下，編譯器都不再產生副本，而賦值還是不行的。也許在未來的C++標準由可能通過拓展語義來消除臨時對象，畢竟臨時對象成為影響C++效率的一個主要因素。
--

???
目前的C++標準不允許在賦值的時候優化掉函數返回的副本，也就是下面這兩種情況是不一樣的
 
//這是賦值給item1，目前的標準下是會產生副本 temp
Sales_item item1,item2,item3;
item1=item2+item3;
 
//這是拷貝構造item1，編譯器通常會優化(這個優化區別下面所說的NRV優化)掉副本，也就是不產生副本 temp
Sales_item item2,item3;
Sales_item item1=item2+item3;

看一下代碼中的TheFunctionTwo();