ref string []內存泄漏與NET/COM互操作

Question

我最近發現一個非常奇怪的（對我來說）從C＃使用的IEnumString COM對象的內存泄漏。具體而言，使用已包含先前調用產生的值的字符串數組調用IEnumString.Next方法會導致內存泄漏。

IEnumString看上去像這樣在C＃方：

[InterfaceType(1)] 
[Guid("00000101-0000-0000-C000-000000000046")] 
public interface IEnumString 
{ 
    void Clone(out IEnumString ppenum); 
    void RemoteNext(int celt, string[] rgelt, out int pceltFetched); 
    void Reset(); 
    void Skip(int celt); 
} 

調用RemoteNext（下一頁）方法這樣引起的泄漏，這是由重複運行了很長一段時間，看到「專用字節」驗證櫃檯不斷上漲。

string[] item = new string[100]; // OBS! Will be re-used for each call! 
for (; ;) 
{ 
    int fetched; 
    enumString.RemoteNext(item.Length, item, out fetched); 
    if (fetched > 0) 
    { 
     for (int i = 0; i < fetched; ++i) 
     { 
      // do something with item[i] 
     } 
    } 
    else 
    { 
     break; 
    } 
} 

但是爲每個調用創建一個新的字符串item []數組使得泄漏消失。

for (; ;) 
{ 
    int fetched; 
    string[] item = new string[100]; // Create a new instance for each call. 
    enumString.RemoteNext(item.Length, item, out fetched); 
    if (fetched > 0) 
    { 
     for (int i = 0; i < fetched; ++i) 
     { 
      // do something with item[i] 
     } 
    } 
    else 
    { 
     break; 
    } 
} 

這是什麼在第一種情況下出錯？我猜想會發生這樣的情況：分配給IEnumString.Next的rgelt參數的COM內存應該由調用方釋放，但不知道它是什麼。

但第二種情況奇怪地工作。

編輯：有關其他信息，這是RemoteNext方法的「實現」在ILDASM和.NET Reflector中的外觀。

.method public hidebysig newslot abstract virtual 
     instance void RemoteNext([in] int32 celt, 
            [in][out] string[] marshal(lpwstr[ + 0]) rgelt, 
            [out] int32& pceltFetched) runtime managed internalcall 
{ 
} // end of method IEnumString::RemoteNext 



[MethodImpl(MethodImplOptions.InternalCall, MethodCodeType=MethodCodeType.Runtime)] 
void RemoteNext(
[In] int celt, 
[In, Out, MarshalAs(UnmanagedType.LPArray, ArraySubType=UnmanagedType.LPWStr, SizeParamIndex=0)] string[] rgelt, 
out int pceltFetched); 

編輯2：也可以使泄漏通過簡單地增加一個字符串值調用RemoteNext前的字符串數組（只包含空值）出現在第二非泄漏的情況。

string[] item = new string[100]; // Create a new instance for each call. 
item[0] = "some string value"; // THIS WILL CAUSE A LEAK 
enumString.RemoteNext(item.Length, item, out fetched); 

所以它似乎是項數組必須是空的編組層正確地釋放複製到它未管理的字符串。即使如此，數組將返回相同的值，即具有非空數組不會導致返回錯誤的字符串值，但它只是泄漏了一些。

Answer 1

IEnumString - 它只是一個接口。什麼是底層的COM對象？這是主要的嫌疑犯。

看那IEnumString非託管聲明：

HRESULT Next(
    [in] ULONG celt, 
    [out] LPOLESTR *rgelt, 
    [out] ULONG *pceltFetched 
); 

正如你看到的，第二個參數rgelt只是一個指向字符串數組 - 沒有什麼特殊的，但是當你管理呼叫

string[] item = new string[100]; // Create a new instance for each call. 
item[0] = "some string value"; // THIS WILL CAUSE A LEAK 
enumString.RemoteNext(item.Length, item, out fetched); 

看起來你的字符串在item[0]被轉換爲LPOLESTR，它沒有正確釋放。因此，試試這個：

string[] item = new string[1]; 
for (; ;) 
{ 
    int fetched; 
    item[0] = null; 
    enumString.RemoteNext(1, item, out fetched); 
    if (fetched == 1) 
    { 
     // do something with item[0] 
    } 
    else 
    { 
     break; 
    } 
}