臨時變量

目前遇到的一些產生臨時變量的情況：函數實參、函數返回值、隱式類型轉換、多余的拷貝。

1. 函數實參

這點應該比較容易理解，函數參數，如果是實參傳遞的話，函數體里的修改并不會影響調用時傳入的參數的值。那么函數體里操作的對象肯定是函數調用的過程中產生出來的。

那么這種情況我們該怎么辦呢？

如果 callee 中確實要修改這個對象，但是 caller 又不想 callee 的修改影響到原來的值，那么這個臨時變量就是必須的了，不需要也沒辦法避免。

如果 callee中根本沒有修改這個對象，或者 callee 中這個參數本身就是 const 型的，那么將實參傳遞改為引用傳遞是個不錯的選擇（如果是基本類型的函數實參，則沒有必要改為引用），可以減少一個臨時變量而且不會帶來任何損失。

另外，推薦一個靜態(tài)代碼檢查工具 cppcheck，這個工具可以提示非基本類型的 const 實參改為引用。

2. 函數返回值（返回對象）

函數返回值的情況比較復雜，因為編譯器在這方面做了很多優(yōu)化，編譯器優(yōu)化到何種程度我也沒追根究底研究過。

在沒開任何優(yōu)化選項的時候，gcc 也優(yōu)化了一些簡單的返回對象的情況。

先看一段代碼：

A?createA(int?a)
{
????A?tmp;??
????tmp._a=a;
????return?tmp;
}
拋開所有優(yōu)化不談，函數中 createA 應該有一個構造操作（tmp 對象生成）和一個拷貝構造操作（tmp 對象返回時）。

于是有些編譯器嘗試對函數返回時的拷貝構造進行優(yōu)化：

A?createA(int?a)
{
????return?A(a);
}
第一步可以被優(yōu)化的拷貝構造就是上面的這種情況，即 RVO(return value optimization)，這時候只能在函數返回一個未命名變量的時候進行優(yōu)化。

后來更進一步，可以在函數返回命名變量的時候也進行優(yōu)化了，這就是 NRVO(named return value optimization)。

但是這時候，還有一種情況不能優(yōu)化的情況是：如果 createA函數內部不同的分支返回不同的對象。

A?createA(int?a)
{
????if(a%2==0)
????{
????????A?tmp;??
????????tmp._a?=?2;
????????return?tmp;
????}
????else???
????{
????????A?tmp;??
????????tmp._a?=?1;
????????return?tmp;
????}
}
比如上面這段代碼，我在 gcc 3.4.5 的情況下測試，發(fā)現這種情況是不能優(yōu)化的。

但是也不排除 gcc 更高的版本或者某些在這方面做得更優(yōu)秀的編譯器已經可以優(yōu)化這種情況。

3. 隱式類型轉換

代碼中的一些類型的隱式轉換也會產生臨時變量，比如：

class?A
{
public:
????A(int?a=0):_a(a)
????{
????????cout<<"constructor"<????}
????A(const?A?