列表不规则地优化
如果我执行以下代码而不按控制台上的任何键
class Program
{
static void Main(string[] args)
{
List<Test> list = new List<Test>(1) {new Test()};
Console.ReadKey();
GC.KeepAlive(list);
var x = list[0];
Console.WriteLine((x.ToString()));
}
}
class Test
{
public override string ToString()
{
return "Empty object";
}
}
然后在windbg中分析数组时，我看到列表中没有包含我添加的测试对象。
第0位的元素是我不确定的其他东西
但是，如果我将一个字符串属性添加到我的Test类中，就像这样
class Test
{
public string Name = "Rohit";
public override string ToString()
{
return "Empty object";
}
}
然后这次windbg揭示了对象
有人可以帮忙解释一下发生了什么吗？我在x64 windows 7上使用Visual Studio 2015（.net 4兼容模式）测试上述内容
除此之外：即使我要求列表大小为一（对于我的测试），我看到它的默认大小为128.所以基本上初始容量是基于一些启发式等？
2 个答案:
答案 0 :(得分：6)
从列表到对象
从评论中我看到List<T>将其项目存储在Object[]或T[]中是否存在一些疑惑。
我在VS 2013中为.NET 4.0编译了程序，我在WinDbg 6.2.9600中调试：
0:007> !dumpheap -stat
Statistics:
MT Count TotalSize Class Name
000007feed598130 1 24 System.Security.HostSecurityManager
000007feed597158 1 24 System.Collections.Generic.ObjectEqualityComparer`1[[System.Type, mscorlib]]
000007fe91bd40c0 1 24 ConsoleWriteLine.Test
000007feed592090 1 28 System.Char[]
000007feed5980b8 1 32 System.Security.Policy.Evidence+EvidenceLockHolder
000007feed5975e8 1 32 System.Security.Policy.AssemblyEvidenceFactory
000007feed5974a0 1 32 Microsoft.Win32.SafeHandles.SafePEFileHandle
000007feed594810 1 32 System.Text.DecoderReplacementFallback
000007feed594780 1 32 System.Text.EncoderReplacementFallback
000007feed536fd8 1 40 Microsoft.Win32.Win32Native+InputRecord
000007fe91bd4150 1 40 System.Collections.Generic.List`1[[ConsoleWriteLine.Test, ConsoleWriteLine]]
000007feed591480 1 48 System.SharedStatics
000007feed5945a8 1 56 System.Text.UnicodeEncoding
000007feed5943e0 1 56 System.Reflection.RuntimeAssembly
000007feed598038 1 64 System.Threading.ReaderWriterLock
000007feed597548 1 64 System.Security.Policy.PEFileEvidenceFactory
000007feed592610 1 64 System.Security.PermissionSet
000007feed593af0 1 72 System.RuntimeFieldInfoStub
000007feed592478 1 72 System.Security.Policy.Evidence
000007feed5913e8 3 72 System.Object
000007feeced7d10 1 80 System.Collections.Generic.Dictionary`2[[System.Type, mscorlib],[System.Security.Policy.EvidenceTypeDescriptor, mscorlib]]
000007feed591e00 1 128 System.AppDomainSetup
000007feed591310 1 160 System.ExecutionEngineException
000007feed591298 1 160 System.StackOverflowException
000007feed591220 1 160 System.OutOfMemoryException
000007feed591038 1 160 System.Exception
000007feed591540 1 216 System.AppDomain
00000000002e9e60 8 216 Free
000007feed591388 2 320 System.Threading.ThreadAbortException
000007feed593920 4 492 System.Int32[]
000007feed597fd8 3 720 System.Collections.Generic.Dictionary`2+Entry[[System.Type, mscorlib],[System.Security.Policy.EvidenceTypeDescriptor, mscorlib]][]
000007feed592eb8 21 1176 System.RuntimeType
000007feed590e08 37 2786 System.String
000007feed524918 8 34808 System.Object[]
Total 112 objects
与您的输出相比，我没有String[]，没有Type[]而没有Test[]。相反，我有8 Object[]。和你类似，我只有1 List<T>。让我们找出它使用的阵列。您的计算机上的步骤应该相同，但结果可能会得到Test[]。
第1步：转储所有List<T>：
0:007> !dumpheap -mt 000007fe91bd4150
Address MT Size
00000000021a2de8 000007fe91bd4150 40
Statistics:
MT Count TotalSize Class Name
000007fe91bd4150 1 40 System.Collections.Generic.List`1[[ConsoleWriteLine.Test, ConsoleWriteLine]]
Total 1 objects
第2步：转储唯一存在的List<T>：
0:007> !do 00000000021a2de8
Name: System.Collections.Generic.List`1[[ConsoleWriteLine.Test, ConsoleWriteLine]]
MethodTable: 000007fe91bd4150
EEClass: 000007feecf7ea08
Size: 40(0x28) bytes
File: C:\Windows\Microsoft.Net\assembly\GAC_64\mscorlib\v4.0_4.0.0.0__b77a5c561934e089\mscorlib.dll
Fields:
MT Field Offset Type VT Attr Value Name
000007feed524918 4000cd1 8 System.Object[] 0 instance 00000000021a2e10 _items
000007feed593980 4000cd2 18 System.Int32 1 instance 1 _size
000007feed593980 4000cd3 1c System.Int32 1 instance 1 _version
000007feed5913e8 4000cd4 10 System.Object 0 instance 0000000000000000 _syncRoot
000007feed524918 4000cd5 8 System.Object[] 0 static <no information>
请在此处查看_items类型的属性Object[]。
第3步：转储支持Object[]：
0:007> !da 00000000021a2e10
Name: ConsoleWriteLine.Test[]
MethodTable: 000007feed524918
EEClass: 000007feecf77f58
Size: 40(0x28) bytes
Array: Rank 1, Number of elements 1, Type CLASS
Element Methodtable: 000007fe91bd40c0
[0] 00000000021a2e38
有一个有趣的发现：当转储数组时，它发现它实际上是Test[]。可能是您的SOS版本比我的更智能，并在!dumpheap -stat中正确显示类型。我的版本是4.0.30319.34209。
第4步：转储数组的唯一对象
0:007> !do 00000000021a2e38
Name: ConsoleWriteLine.Test
MethodTable: 000007fe91bd40c0
EEClass: 000007fe91ce23d8
Size: 24(0x18) bytes
File: E:\...\bin\Debug\ConsoleWriteLine.exe
Fields:
None
这是一个没有字段的测试对象，正如预期的那样。
还有什么可以帮助？
您已选择Object[]列出的第二个!dumpheap -mt 7fee816f150。我不知道你为什么选择那个，但可能是因为你检测到了那个数组的差异。然后，您将对象转储到该数组中，该数组是一个空字符串。第二次，这个列表包含一个字符串。我可以重现这个。
要了解有关此内容的更多信息，请使用!gcroot查看对象的使用位置。由于.NET对象类似于指针，因此两个数组可以指向同一个对象（字符串），因此使用-all作为参数。
0:007> !gcroot -all 00000000021a1420
Thread 109c:
000000000013e8c0 000007feedbca151 System.Console.ReadKey(Boolean)
rdi: (interior)
-> 00000000121a1038 System.Object[]
-> 00000000021a1420 System.String
HandleTable:
00000000008517e8 (pinned handle)
-> 00000000121a32e8 System.Object[]
-> 00000000021a1420 System.String
00000000008517f8 (pinned handle)
-> 00000000121a1038 System.Object[]
-> 00000000021a1420 System.String
Found 3 roots.
另一个有用的命令可能是!dso来显示堆栈引用的对象（例如局部变量）：
0:007> ~0s
0:000> !dso
OS Thread Id: 0x109c (0)
RSP/REG Object Name
000000000013E950 00000000021a2f10 System.Object
000000000013E9F0 00000000021a2e38 ConsoleWriteLine.Test
000000000013EA00 00000000021a2de8 System.Collections.Generic.List`1[[ConsoleWriteLine.Test, ConsoleWriteLine]]
000000000013EA10 00000000021a2de8 System.Collections.Generic.List`1[[ConsoleWriteLine.Test, ConsoleWriteLine]]
000000000013EA28 00000000021a2de8 System.Collections.Generic.List`1[[ConsoleWriteLine.Test, ConsoleWriteLine]]
000000000013EA30 00000000021a2de8 System.Collections.Generic.List`1[[ConsoleWriteLine.Test, ConsoleWriteLine]]
000000000013EA38 00000000021a2de8 System.Collections.Generic.List`1[[ConsoleWriteLine.Test, ConsoleWriteLine]]
000000000013EA40 00000000021a2e38 ConsoleWriteLine.Test
000000000013EA48 00000000021a2e38 ConsoleWriteLine.Test
000000000013EA80 00000000021a2dc8 System.Object[] (System.String[])
000000000013EBB8 00000000021a2dc8 System.Object[] (System.String[])
000000000013ECD8 00000000021a2dc8 System.Object[] (System.String[])
000000000013EEA8 00000000021a2dc8 System.Object[] (System.String[])
000000000013F478 00000000021a1440 System.SharedStatics
答案 1 :(得分：0)
另一种看待这种情况的方法是从另一端：反编译List<T>的代码（或者如果你想要.NET 5实现，可以在GitHub上查看它。）
对64位mscorlib使用JetBrains dotPeek我看到了这一点（遗漏了可读性）：
public class List<T> : IList<T>, ICollection<T>, IList, ICollection, IReadOnlyList<T>, IReadOnlyCollection<T>, IEnumerable<T>, IEnumerable
{
private T[] _items;
从直觉上，我建议你的两个代码示例之间的区别是因为编译器很聪明：你的第一个Test类没有状态，所以它基本上等同于一个static类 - 类的多个实例之间永远不会有任何区别。我想象编译器会因此而完全优化它。添加字段后，您将在对象中存储状态，因此无法应用优化。
正如Henk Holterman在评论中指出的那样，你的字符串文字可能出现在一个对象数组中这一事实是偶然的：代码中的字符串文字将由编译器实现，并且将出现在你所使用的数据结构之外的数据结构中。 ; ve声明为优化。内存中存在object[]，其中包含您的字符串，并不表示它被List<T>用作后备存储。
关于列表的默认大小：您在项中指定大小，而不是字节。您的单个数组实例ConsoleApplication1.Test[]的大小为32位，这将是一个32位指针：您指定的一个项目。
相关问题
最新问题
- 我写了这段代码，但我无法理解我的错误
- 我无法从一个代码实例的列表中删除 None 值，但我可以在另一个实例中。为什么它适用于一个细分市场而不适用于另一个细分市场？
- 是否有可能使 loadstring 不可能等于打印？卢阿
- java中的random.expovariate()
- Appscript 通过会议在 Google 日历中发送电子邮件和创建活动
- 为什么我的 Onclick 箭头功能在 React 中不起作用？
- 在此代码中是否有使用“this”的替代方法？
- 在 SQL Server 和 PostgreSQL 上查询，我如何从第一个表获得第二个表的可视化
- 每千个数字得到
- 更新了城市边界 KML 文件的来源？