如何正确读取/解释原始C#堆栈跟踪?
我正在从UWP应用程序(C#,使用.NET Native编译)中读取一些崩溃报告,并且我很难理解堆栈跟踪中使用的确切语法/格式。 我试着在互联网上寻找一些指南,但我没有想出任何有用的东西。
这里有一些例子:
1)
MyProject.ViewModels.SomeViewModel.d__69.MoveNext()
-
SomeViewModel
是SomeViewModel
方法的名称,为什么它在尖括号内呢? 是"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.
这个比较简单。 OnLogin
是异步方法,这些方法由编译器重写为状态机。 此状态机实现具有MoveNext
方法的IAsyncStateMachine
接口。 因此,您的异步方法基本上成为该状态机的MoveNext
调用序列。 这就是你在堆栈跟踪中看到MoveNext()
原因。
MyProject.ViewModels.SomeViewModel.
是生成的状态机类的名称。 因为此状态机与OnLogin
方法相关 – 它成为类型名称的一部分。 d
是上面链接的“迭代器类”。 请注意,来自上面链接的信息是7年,并且在async \ await实现之前,但我想状态机类似于iterator(相同的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”,但它会在涉及generics的调试器堆栈跟踪中出现很多,因此它会被故意缩短以避免造成麻烦。
对我来说看起来很神秘,但我想它在运行时代表了你的T
然后, <>c__3$1
是<>c__3$1
并且是编译器生成的类的名称,其中“c”是“匿名方法闭包类”(来自上面的链接)。 这样的类是在创建闭包时由编译器生成的,因此在匿名方法中捕获一些外部状态。 捕获的内容应存储在某处,并存储在此类中。
,
是上述匿名类中的一种方法。 它代表你的task => task.GetAwaiter().GetResult()
方法。 第2点的所有内容也适用于此处。
我不知道$
的含义,也许它代表了类型参数的数量。 所以也许Task$1
意味着Task
和Tuple$2
Tuple
。
4)遗憾的是我不知道并且无法复制。
5) c__DisplayClass142_3
再次是闭包类(见第3点)。
是您在方法LoadGroups
使用的匿名方法。 这表示一些匿名方法,即闭包(捕获外部状态),并在LoadGroups
方法中调用。