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

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

这里有一些例子:

1)

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

2)

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

3)我有这个方法:

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

我有这个堆栈跟踪:

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

4)

 Windows.UI.Xaml.Media.SolidColorBrush..ctor($Color color) 
  • 为什么参数类型以’$’字符开头? 它代表什么?

5)我有另外一种方法:

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

这个堆栈跟踪:

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

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

预先感谢您的帮助!

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

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

我打赌埃里克·利珀特会稍后来,给出一个更好的答案,但万一不会发生 – 这是我的看法,因为我也对此感兴趣。 我从Eric Lippert的回答中得到的“d”,“c”和类似符号的含义。

1) MyProject.ViewModels.SomeViewModel.d__69.MoveNext()

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

MyProject.ViewModels.SomeViewModel.d__69是生成的状态机类的名称。 因为此状态机与OnLogin方法相关 – 它成为类型名称的一部分。 d是上面链接的“迭代器类”。 请注意,来自上面链接的信息是7年,并且在async \ await实现之前,但我想状态机类似于iterator(相同的MoveNext方法,相同的原理) – 所以“iterator类”看起来很好。 69是一些独特的数字\柜台。 我想这只是反击,因为如果我用两个异步方法编译dll – 它们的状态机将是d__0d__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”,但它会在涉及generics的调试器堆栈跟踪中出现很多,因此它会被故意缩短以避免造成麻烦。

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

b__3_0b__3_0是上述匿名类中的一种方法。 它代表你的task => task.GetAwaiter().GetResult()方法。 第2点的所有内容也适用于此处。

我不知道$的含义,也许它代表了类型参数的数量。 所以也许Task$1意味着TaskTuple$2这样的东西意味着Tuple

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

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