Question

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

以下是一些例子：

1）

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

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

2）

MyProject.UserControls.SomeControl.<.ctor>b__0_0

我知道.ctor代表对象构造函数，并查看我发现的代码b__0_0代表在构造函数中添加的匿名事件处理程序，如下所示：SomeEvent += (s, e) => Foo(); 。
- ＆＃39; b＆＃39;代表什么？
- 为什么有两个带下划线的数字？其中哪一个引用了匿名方法索引？我的意思是，它是第一个（所以它的索引是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类型用＆＃39; $＆＃39;字符？它是否像某种占位符/地面指示器（如正则表达式），以便它也可以在其他地方使用？（我的意思是，我看到$1<System.__Canon>我想的是方法返回类型）
- 如果第一部分是方法返回类型，为什么不存在所有具有返回类型的方法？我有很多堆栈跟踪方法可以返回一个值，但是它们没有相同的签名。
.<>c__3$1<System.__Canon>的意思是什么？从$1开始，我认为这是Task<T>返回类型，但b__3_0部分是什么，因为我没有异步调用或事件处理程序？在这种情况下，这是否意味着不同的东西？

4）

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

为什么参数类型以＆＃39; $＆＃39;开头？字符？它代表什么？

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＃程序员。

提前感谢您的帮助！

编辑：此问题不应被视为this other questions的副本，因为：

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

Answer 1

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

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方法，原理相同） - 所以“迭代器类”看起来很好。 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>是<>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方法中调用。

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

1 个答案: