Как правильно читать / интерпретировать необработанную трассировку стека C#?

держу пари, Эрик Липперт придет позже и даст лучший ответ, но в случае, если этого не произойдет - вот мой дубль, потому что я тоже заинтересовался этим. Значение "d", " c " и подобных символов я получил от этой ответ Эрика Липперта.

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

это относительно просто. OnLogin является асинхронным методом, и такие методы перезаписываются компилятором в государственную машину. Эта государственная машина реализует IAsyncStateMachine интерфейс, который имеет MoveNext метод. Таким образом, ваш асинхронный метод в основном становится последовательностью MoveNext вызовы этой государственной машины. Вот почему вы видите MoveNext() в стек трассировки.

MyProject.ViewModels.SomeViewModel.<OnLogin>d__69 - имя сгенерированного класса машины состояния. Потому что эта машина состояния связана с OnLogin method-он становится частью имени типа. d это "итератор" по ссылке выше. Обратите внимание, что информация из ссылки выше 7 лет и находится до реализации async\await, но я думаю, что государственная машина похожие на iterator (то же самое MoveNext метод, тот же принцип) - так что "класс итератора" выглядит нормально. 69-это некоторое уникальное число \ счетчик. Я думаю, это просто счетчик, потому что если я скомпилирую dll только с двумя асинхронными методами - их государственные машины будут d__0 и d__1. Невозможно вывести, какая часть асинхронного метода была брошена на основе этой информации.

2) b является "анонимным методом" (ссылка выше). Я провел несколько экспериментов, и я думаю, что первый индекс связан с методом в котором использовался анонимный метод, а второй индекс, по-видимому, связан с индексом анонимного метода внутри того метода, в котором они используются. Например, предположим, что вы используете 2 анонимных метода в конструкторе и 2 анонимных метода в методе Foo в том же классе. Затем:

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 - это:

внутренняя methodtable используется для создания экземпляра " canonical" methodtable для общих экземпляров. Имя "_ _ Canon" никогда не будет замечено пользователями, но оно будет много отображаться в трассировках стека отладчика с участием дженериков, поэтому он намеренно короткий, чтобы избежать неприятностей.

выглядит загадочно для меня, но я думаю, что это своего рода представляет ваш T в runtime. Затем:<>c__3<System.__Canon> is <>c__3<T> и является именем класса, сгенерированного компилятором, где " c "- это" класс закрытия анонимного метода " (по ссылке выше). Такой класс генерируется компилятором при создании закрытия, поэтому захватите некоторое внешнее состояние в анонимном методе. То, что было захвачено, должно храниться где-то, и оно хранится в таком классе.

Идем дальше, <GetWatchedTask>b__3_0 является методом в этом анонимном класс выше. Он представляет ваш task => task.GetAwaiter().GetResult() метод. Все, что относится к пункту 2, применимо и здесь.

я не знаю смысла $, возможно, он представляет количество параметров типа. Так что, может быть Task<System.__Canon> означает Task<T> и что-то вроде Tuple<System.__Canon означает Tuple<T1, T2>.

4) что я, к сожалению, не знаю и не смог воспроизвести.

5) c__DisplayClass142_3 снова класс закрытия (см. пункт 3). <LoadGroups>b__3() анонимный метод используется в методе LoadGroups. Так что это указывает на какой-то анонимный метод, который является закрытием (захваченным внешним состоянием) и который был вызван в LoadGroups метод.