智能指針的幾點錯誤操作心得

   ADO操作經常使用到智能指針，它是利用ATL技術對一些常用結構體或者數據類型的封裝(例如_Command、_Connection、VARIANT、BSTR)，這些結構體或數據類型涉及到內存的開辟和釋放操作，智能指針對這些操作進行了封裝，方便程序員的使用。但是方便使用的同時，也會造成一些不易察覺的錯誤。昨天在調試過程中為了查明內存泄露的原因，幾經周折才解決了這些問題，獲得幾點心得與大家分享。

   首先介紹一下智能指針的內存方面有關的函數和操作。
   智能指針中的Attach和Detach是相對應的函數。這兩個函數分別代表分離和捆綁操作。值得注意的是，Detach函數不會進行內存釋放操作，它只會返回捆綁的結構體類型的指針。
   智能指針中會自動進行內存釋放操作的函數和操作有：Release函數、析構函數和“=”操作。
   
   好了，現在來看下面一段代碼，看看你能找出幾處錯誤：
   
   這是一個調用存儲過程的函數代碼，使用了智能指針_ParameterPtr, _variant_t, _CommandPtr, _bstr_t，其中存儲過程包含一個varchar(10)型的名叫"@strTextValue"的參數，在ADO編程中，這樣的代碼很常見。如果告訴你這段代碼會導致內存泄露并且運行時會導致錯誤，你可以找出這樣的錯誤嗎？

   下面公布我的發現：

   一、關于內存泄露
   注意這行代碼：“bstrStringValue = _com_util::ConvertStringToBSTR("Text"); ”   這里，函數ConvertStringToBSTR的功能是轉換char*型字符串為BSTR型，內部實際上開辟了一塊雙字節的字符串的空間來存放這串雙字節的字符串。然后執行_bstr_t型對象bstrStringValue的“=”號操作，“＝”操作也涉及了內存開辟，它會開辟和ConvertStringToBSTR產生的一樣大的一塊內存來拷貝并存放這個BSTR型的字符串。_bstr_t的“=”操作開辟的內存在析構的時候會被釋放掉，但是ConvertStringToBSTR函數產生的那塊內存呢？自生自滅，造成內存泄露了。
   解決方法，將代碼“bstrStringValue = _com_util::ConvertStringToBSTR("Text"); ”改成：“bstrStringValue = "Text"”。由于_bstr_t型的“=”號操作有這樣的重載類型: operate=(char*)。它會將單字節內部轉化為雙字節并存儲。因此大可不必進行額外的轉換工作，同時內存泄露的問題也避免了。
   PS：函數結尾的兩處Release操作其實也大可不必，因為智能指針在析構的時候自動釋放開辟的內存。寫上這兩行代碼只是為了編程規范，有開就有關嘛。

   二、關于運行錯誤
   該函數結束時必將導致錯誤。而這個錯誤也是由于智能指針析構時會釋放內存導致的。
   注意這兩行代碼：“bstrStringValue = _com_util::ConvertStringToBSTR("Text");  vtParameterValue.bstrVal = bstrStringValue;”拋開內存泄露的問題到一邊，這里分析運行錯誤的原因。這兩行代碼的作用是首先bstrStringValue開辟BSTR的字符串空間，然后將該字符串的指針附給vtParameterValue.bstrVal，注意，這里只是指針哦，因為vtParameterValue雖然是智能指針，“=”號會開辟內存，但是vtParameterValue.bstrVal并不是智能指針，它的“=”操作只是簡單的指針復制。函數結束的時候兩個智能指針都會進行內存釋放，不論這兩個智能指針析構的順序，BSTR型的字符串空間都會被釋放兩次，一個內存空間被釋放兩次，當然就會發生運行時錯誤了。
   解決方法，利用Detach函數，當發現vtParameter的類型是VT_BSTR時，調用Detach函數來分離BSTR字符串，這樣可以保證不對BSTR字符串釋放，而這個字符串的釋放工作交給_bstr_t的析構函數來做就行了。

   最后發一下感嘆，智能指針是一把雙刃劍，給程序員帶來便利的同時，也存在著很大的風險，使用時需謹慎。

posted on 2008-01-23 16:30 迷宮の未來 閱讀(3278) 評論(3)  編輯 收藏 引用