如何正确读取/解释原始C#堆栈跟踪？

Question

我正在从UWP应用程序(C#,使用.NET Native编译)中读取一些崩溃报告,并且我很难理解堆栈跟踪中使用的确切语法/格式.我尝试在互联网上寻找一些指南,但我没有想出任何有用的东西.

这里有一些例子:

1)

MyProject.ViewModels.SomeViewModel.<OnLogin>d__69.MoveNext()

• OnLogin是一个方法的名称SomeViewModel,为什么它在尖括号内？是"ClassName".<"MethodName>..."指示实例方法的常用方法吗？
• 我知道C#编译器会在await调用之间将每个代码块转换为匿名方法,并使用continuation调度它们,所以我猜这d__69表示当前方法中的异步延续.
  • 'd'代表什么？
  • 这些数字是随机的吗？我的意思是,该方法没有69个await调用,所以我猜这些数字不是顺序的.是否有可能从堆栈跟踪中的该数字中找出原始方法中的确切部分？
• MoveNext()最后那个方法是什么？它需要什么样的类型？

---

2)

MyProject.UserControls.SomeControl.<.ctor>b__0_0

• 我知道它.ctor代表对象构造函数,并查看我发现的代码,它b__0_0代表构造函数中添加的匿名事件处理程序,如下所示:SomeEvent += (s, e) => Foo();.
  • 'b'代表什么？
  • 为什么有两个带下划线的数字？其中哪一个引用了匿名方法索引？我的意思是,它是第一个(所以它的索引是0)但这里有两个0.如果它是第二个,我会有0_1,1_0或其他什么？

---

3)我有这个方法:

// Returns a Task that immediately throws when awaited, as soon as the token is cancelled
public static Task<T> GetWatchedTask<T>(this Task<T> awaitableTask, CancellationToken token)
{
    return awaitableTask.ContinueWith(task => task.GetAwaiter().GetResult(), token);
}

我有这个堆栈跟踪:

MyProject.Helpers.Extensions.TasksExtensions.<>c__3$1<System.__Canon>.<GetWatchedTask>b__3_0($Task$1<__Canon> task)

• 为什么第二个参数(令牌)不会出现在签名中？
• 为什么$Task$1用'$'字符写的类型？它是否像某种占位符/地面指示器(如正则表达式),以便它也可以在其他地方使用？(我的意思是,我看到$1<System.__Canon>的是我猜的是方法返回类型)
  • 如果第一部分是方法返回类型,为什么不存在具有返回类型的所有方法？我有很多堆栈跟踪方法确实返回一个值,但它们没有相同的签名.
• 这.<>c__3$1<System.__Canon>意味着什么？从那以后$1我猜这是Task<T>返回类型,但是那b__3_0部分是什么,因为我没有异步调用或事件处理程序？这是否意味着在这种情况下有所不同？

---

4)

Windows.UI.Xaml.Media.SolidColorBrush..ctor($Color color)

• 为什么参数类型以'$'字符开头？它代表什么？

---

5)我有另外一种方法:

public static async Task<ObservableCollection<SomeCustomClass>> LoadItemGroups(String parentId)

这个堆栈跟踪:

MyProject.SQLiteDatabase.SQLiteManager.<>c__DisplayClass142_3.<LoadGroups>b__3()

• 那是什么c__DisplayClass142_3？这是一种用单一类型而不是三个单独的类(Task,ObservableCollection,SomeCustomClass)来指示返回类型的方法吗？
• 同样,为什么我在b__3这里,在其他堆栈跟踪中,它使用格式d_xxx来指示异步代码块？

很抱歉有很多问题,我希望这篇文章也能帮助其他UWP C#程序员.

预先感谢您的帮助!

编辑:这个问题应该不被视为重复这个其他的问题,因为:

• 它提供了不同的情况(构造函数方法,泛型类型语法等),而不仅仅是询问与某种类型的变量相关的一些默认关键字/符号的含义
• 它特别询问如何将给定的堆栈跟踪与原始方法签名进行比较,以及为实现该目标而执行的步骤
• 它在不同的背景下提供了不同的例子,而不仅仅是提出一般性问题
• 顺便说一下,"VS调试器魔术名称"怎么可能被认为是一个正确的问题标题？在查找C#堆栈跟踪符号含义时,另一个用户应该如何找到该问题？

Answer 1

我打赌Eric Lippert会来晚些时候给出一个更好的答案,但万一不会发生 - 这是我的看法,因为我也对此感兴趣.Eric Lippert 从这个答案得到的"d","c"和类似符号的含义.

1) MyProject.ViewModels.SomeViewModel.<OnLogin>d__69.MoveNext()

这个比较简单.OnLogin是异步方法,这些方法由编译器重写为状态机.该状态机实现IAsyncStateMachine具有MoveNext方法的接口.因此,您的异步方法基本上成为MoveNext该状态机的一系列调用.这就是你MoveNext()在堆栈跟踪中看到的原因.

MyProject.ViewModels.SomeViewModel.<OnLogin>d__69是生成的状态机类的名称.因为这个状态机与OnLogin方法有关- 它成为类型名称的一部分.d是上面链接的"迭代器类".请注意,来自上面链接的信息是7年,并且在async\await实现之前,但我想状态机类似于迭代器(相同的MoveNext方法,相同的原理) - 所以"iterator类"看起来很好.69是一些独特的数字\柜台.我想这只是反击,因为如果我用两个异步方法编译dll - 它们的状态机就是d__0和d__1.根据此信息,无法推断出异步方法的哪一部分已抛出.

2)b是"匿名方法"(上面的链接).我做了一些实验,我认为第一个索引与使用匿名方法的方法有关,第二个索引似乎与使用它们的方法中的匿名方法的索引相关.例如,假设您在构造函数中使用2个匿名方法,Foo在同一个类中使用2个匿名方法.然后:

public Test() {
    Handler += (s, e) => Foo(); // this will be `b__0_0` because it's first in this method
    Handler += (s, e) => Bar(); // this will be `b__0_1` because it's second
}

static void Foo() {
    Action a = () => Console.WriteLine("test"); // this is `b__1_0`, 1 refers to it being in another method, not in constructor. 
    // if we use anonymous method in `Bar()` - it will have this index 2
    a();
    Action b = () => Console.WriteLine("test2"); // this is `b__1_1`
    b();
}

3)这看起来很复杂.首先你问"为什么第二个参数(令牌)不会出现在签名中".这很简单 - 因为有问题的方法代表匿名方法task => task.GetAwaiter().GetResult(),而不是你的GetWatchedTask方法.现在我无法用这个重现你的堆栈跟踪,但仍然有一些信息.首先System.__Canon是:

用于实例化通用实例化的"规范"方法表的内部方法表.用户永远不会看到名称"__Canon",但它会在涉及泛型的调试器堆栈跟踪中出现很多,因此故意保持简短,以免造成麻烦.

对我来说看起来很神秘,但我猜它有点代表你T的运行时.然后,<>c__3$1<System.__Canon>is <>c__3$1<T>和是编译器生成的类的名称,其中"c"是"匿名方法闭包类"(来自上面的链接).这样的类是在创建闭包时由编译器生成的,因此在匿名方法中捕获一些外部状态.捕获的内容应存储在某处,并存储在此类中.

更进一步,<GetWatchedTask>b__3_0是上面那个匿名类的一种方法.它代表了你的task => task.GetAwaiter().GetResult()方法.点2的所有内容也适用于此.

我不知道它的含义$,也许它代表了类型参数的数量.所以也许Task$1<System.__Canon>意味着Task<T>什么Tuple$2<System.__Canon意思Tuple<T1, T2>.

4)遗憾的是我不知道并且无法复制.

5)c__DisplayClass142_3再次关闭类(见第3点).<LoadGroups>b__3()是您在方法中使用的匿名方法LoadGroups.所以这表示一些匿名方法,即闭包(捕获外部状态),并在LoadGroups方法中调用.