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

标签 c# .net visual-studio uwp .net-native

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

这里有一些例子:

1)

MyProject.ViewModels.SomeViewModel.<OnLogin>d__69.MoveNext()
  • OnLoginSomeViewModel 中方法的名称,那么为什么它在尖括号内?是"ClassName".<"MethodName>..."指示实例方法的常用方法?
  • 我知道 C# 编译器在 await 之间转换每一块代码调用匿名方法并使用延续来安排它们,所以我猜是 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)
    
  • 为什么第二个参数( token )没有出现在签名中?
  • 为什么是类型$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# 程序员。

    预先感谢您的帮助!

    编辑 : 这个问题不应被视为 this other questions 的重复因为:
  • 它呈现了不同的情况(构造函数方法、泛型类型语法等),而不仅仅是询问与特定类型变量相关的某些默认关键字/符号的含义
  • 它特别询问如何将给定的堆栈跟踪与原始方法签名进行比较,以及为实现该目标而执行的步骤
  • 它在不同的上下文中展示了不同的例子,而不只是问一个一般性的问题
  • 顺便说一句,“VS 调试器魔术名称”怎么能被认为是一个合适的问题标题?其他用户在查找 C# 堆栈跟踪符号含义时应该如何找到该问题?
  • 最佳答案

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

    1) MyProject.ViewModels.SomeViewModel.<OnLogin>d__69.MoveNext()
    这个比较简单。 OnLogin是异步方法,此类方法由编译器重写为状态机。此状态机实现 IAsyncStateMachine接口(interface)有MoveNext方法。所以你的异步方法基本上变成了 MoveNext 的序列该状态机的调用。这就是为什么你会看到 MoveNext()在堆栈跟踪中。
    MyProject.ViewModels.SomeViewModel.<OnLogin>d__69是生成的状态机类的名称。因为这个状态机与OnLogin有关方法 - 它成为类型名称的一部分。 d是上面链接中的“迭代器类”。请注意,上面链接中的信息已有 7 年历史,并且在 async\await 实现之前,但我想状态机类似于迭代器(相同的 MoveNext 方法,相同的原理) - 所以“迭代器类”看起来不错。 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)这看起来很复杂。首先你问“为什么第二个参数( token )没有出现在签名中”。这很简单 - 因为有问题的方法代表匿名方法 task => task.GetAwaiter().GetResult() ,不是你的 GetWatchedTask方法。现在我无法用这个重现你的堆栈跟踪,但仍然有一些信息。一、System.__Canon是:

    Internal methodtable used to instantiate the "canonical" methodtable for generic instantiations. The name "__Canon" will never been seen by users but it will appear a lot in debugger stack traces involving generics so it is kept deliberately short as to avoid being a nuisance.



    对我来说看起来很神秘,但我想它代表了你的 T在运行时。然后,<>c__3$1<System.__Canon><>c__3$1<T> and 是编译器生成类的名称,其中“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# - 如何正确读取/解释原始 C# 堆栈跟踪?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/43017481/

    相关文章:

    c++ - 如何填充矩形(c++、mfc)

    c# - 为什么没有文化枚举?

    c# - 是否可以使用反射将字符串转换为 C# 中的函数?

    c# - 使用 LINQ 查询 JSON

    java - 如何将 Java 后端与 .NET 前端连接

    visual-studio-2010 - Visual Studio 2010 的深色主题与生产力强大工具

    c# - 除 "www"之外的任何字符串的正则表达式? (子域)

    .Net 不一致的字体渲染

    .net - 当我在附加程序中命名文件时,Log4Net 找不到 %username 属性

    visual-studio - 如何在 MS Visual Studio 中定义多个断点