型がガベージ コレクションされないことは .NET ではよく知られています。Reflection.Emit、AppDomains などのアンロードには注意が必要です。
より正確に言えば、ジェネリック型がガベージ コレクションされているかどうか疑問に思いました: で作成されたジェネリックはMakeGenericType
、たとえば、ユーザー入力に基づいています。:-)
そこで、次のテスト ケースを作成しました。
public interface IRecursiveClass
{
int Calculate();
}
public class RecursiveClass1<T> : IRecursiveClass
where T : IRecursiveClass,new()
{
public int Calculate()
{
return new T().Calculate() + 1;
}
}
public class RecursiveClass2<T> : IRecursiveClass
where T : IRecursiveClass,new()
{
public int Calculate()
{
return new T().Calculate() + 2;
}
}
public class TailClass : IRecursiveClass
{
public int Calculate()
{
return 0;
}
}
class RecursiveGenericsTest
{
public static int CalculateFromUserInput(string str)
{
Type tail = typeof(TailClass);
foreach (char c in str)
{
if (c == 0)
{
tail = typeof(RecursiveClass1<>).MakeGenericType(tail);
}
else
{
tail = typeof(RecursiveClass2<>).MakeGenericType(tail);
}
}
IRecursiveClass cl = (IRecursiveClass)Activator.CreateInstance(tail);
return cl.Calculate();
}
static long MemoryUsage
{
get
{
GC.Collect(GC.MaxGeneration);
GC.WaitForFullGCComplete();
return GC.GetTotalMemory(true);
}
}
static void Main(string[] args)
{
long start = MemoryUsage;
int total = 0;
for (int i = 0; i < 1000000; ++i)
{
StringBuilder sb = new StringBuilder();
int j = i;
for (int k = 0; k < 20; ++k) // fix the recursion depth
{
if ((j & 1) == 1)
{
sb.Append('1');
}
else
{
sb.Append('0');
}
j >>= 1;
}
total += CalculateFromUserInput(sb.ToString());
if ((i % 10000) == 0)
{
Console.WriteLine("Current memory usage @ {0}: {1}",
i, MemoryUsage - start);
}
}
Console.WriteLine("Done and the total is {0}", total);
Console.WriteLine("Current memory usage: {0}", MemoryUsage - start);
Console.ReadLine();
}
}
ご覧のとおり、ジェネリック型は、再帰の終わりを示す「テール」クラスを使用して、「おそらく再帰的」に定義されています。不正行為ではないことを確認するために、GC.TotalMemoryUsage
タスク マネージャーも開きました。
ここまでは順調ですね。私が次に行ったのは、この野獣を起動することでした.「メモリ不足」を待っている間に...私の予想に反して、時間の経過とともにより多くのメモリを消費していないことに気付きました. 実際、時間の経過とともにメモリ消費量がわずかに減少していることがわかります。
誰かがこれを説明できますか?ジェネリック型は実際に GC によって収集されますか? もしそうなら...ガベージコレクションされたReflection.Emitのケースもありますか?