哪里可以了解VS调试器'魔术名'

时间:2010-03-24 15:12:35

标签: c# compiler-construction debugging

如果您曾经使用过Reflector,您可能会注意到C#编译器会生成类型,方法,字段和局部变量,这些变量值得调试器“特殊”显示。例如,以“CS $”开头的局部变量不会显示给用户。匿名方法的闭包类型,自动属性的支持字段等还有其他特殊的命名约定。

我的问题:在哪里可以了解这些命名约定?有谁知道一些文件?

我的目标是使PostSharp 2.0使用相同的约定。

1 个答案:

答案 0 :(得分:202)

这些是编译器的未记录的实现细节,并且可能随时更改。 (更新:见GeneratedNames.cs 在C#中获取当前详细信息;以下描述有点过时了。)

然而,由于我是一个好人,这里有一些细节:

如果您有一个优化器删除的未使用的局部变量,我们无论如何都会向PDB发出调试信息。我们将后缀__Deleted$粘贴到这些变量上,以便调试器知道它们是源代码但不在二进制文件中表示。

编译器分配的临时变量槽的名称为CS $ X $ Y,其中X是“临时类型”,Y是到目前为止分配的临时数。临时种类是:

0 --> short lived temporaries
1 --> return value temporaries
2 --> temporaries generated for lock statements
3 --> temporaries generated for using statements
4 --> durable temporaries
5 --> the result of get enumerator in a foreach
6 --> the array storage in a foreach
7 --> the array index storage in a foreach.  

8到264之间的临时类型是多维数组的附加数组索引存储。

264以上的临时种类用于涉及修复字符串的固定语句的临时文本。

为:

生成特殊编译器生成的名称
1 --> the iterator state ("state")
2 --> the value of current in an iterator ("current")
3 --> a saved parameter in an iterator
4 --> a hoisted 'this' in an iterator ("this")
5 --> a hoisted local in an iterator
6 --> the hoisted locals from an outer scope
7 --> a hoisted wrapped value ("wrap")
8 --> the closure class instance ("locals")
9 --> the cached delegate instance ("CachedAnonymousMethodDelegate")
a --> the iterator instance ("iterator")
b --> an anonymous method
c --> anonymous method closure class ("DisplayClass")
d --> iterator class
e --> fixed buffer struct ("FixedBuffer")
f --> anonymous type ("AnonymousType")
g --> initializer local ("initLocal")
h --> query expression temporary ("TransparentIdentifier")
i --> anonymous type field ("Field")
j --> anonymous type type parameter ("TPar")
k --> auto prop field ("BackingField")
l --> iterator thread id
m --> iterator finally ("Finally")
n --> fabricated method ("FabricatedMethod")
o --> dynamic container class ("SiteContainer")
p --> dynamic call site ("Site")
q --> dynamic delegate ("SiteDelegate")
r --> com ref call local ("ComRefCallLocal")
s --> lock taken local ("LockTaken")

生成魔法名称的模式是:P<N>C__SI其中:

  • P是缓存委托和显示类实例的CS $,否则为空。
  • N是与该事物关联的原始名称(如果有)
  • C是上面列出的字符1到s
  • S是描述性后缀(“当前”,“状态”等),因此您在阅读元数据时无需记住上表。
  • 我是一个可选的唯一号码