Есть ли священные знания, которые мне не хватает в C#, декомпилированных с помощью Telerik JustDecompile?

Question

Кто-то предоставил мне исходный код для их полезности, который мне нужен для обратной инженерии и замены. Есть много заданий в коде следующим образом:

var a = checked(checked(checked((int)SomeArray.Length) - 1) + 1); 

Является ли это какой-то шаблон дизайна, что я не в курсе, или просто так, как декомпилирует

var a = SomeArray.Length; 

Answer 1

Вот что я думаю, что происходит ,

Это потому, что компилятор C# является «потерянным», поскольку компилятор C# вычисляет такие вещи, как преобразования типа данных, а затем выводит эти преобразования непосредственно в DLL, которую он пишет. Все библиотеки DLL написаны в CIL, что не так богато, как C#, поэтому сложные проверки и конструкции переведены на более, но более простые инструкции.

Например, C# имеет идею лямбда-функций, но CIL не делает этого, поэтому компилятор C# будет генерировать класс с помощью метода на нем, а затем вызвать этот метод. Например;

str => str.Length 

становится чем-то вроде

class DisplayClass234 
{ 
    public int Execute(string str) 
    { 
     return str.Length; 
    } 
} 

Итак, если вы пытаетесь декомпилировать, Telerik видит класс "DisplayClass234", а не оригинальный лямбда.

Answer 2

Я никогда не знал компилятора C#, чтобы испускать дополнительные арифметические инструкции при генерации кода для Array.Length. В IL, Array.Length выглядит примерно так:

ldloc.1 // Assuming an array was stored in local slot 1 
ldlen 

Даже в клетчатой ​​контексте, это то, что он выглядит. Теперь в IL нет такой вещи, как проверенный контекст, как в C#. IL имеет только различные арифметические инструкции, которые проверяются (например, add.ovf вместо add).

Если кто-то написал такой код:

int length = checked(array.Length - 1 + 1); 

код IL, который получает испускаемый выглядит примерно так:

ldloc.1 
ldlen 
conv.i4 
ldc.i4.1 
sub.ovf 
ldc.i4.1 
add.ovf 
stloc.2 

Это не удивило бы меня, если декомпилятор лечит каждый из тех *.ovf инструкции и инструкцию conv.i4 как имеющие свой проверенный контекст. Читая инструкции и постепенно создавая C# выражение бы получить что-то вроде следующего:

ldloc.1 // array 
ldlen  // array.Length 
conv.i4 // checked((int) array.Length) 
ldc.i4.1 
sub.ovf // checked(checked((int) array.Length) - 1) 
ldc.i4.1 
add.ovf // checked(checked(checked((int) array.Length) - 1) + 1) 
stloc.2 

Answer 3

Я не удивлюсь, если JustDecompile имеет ошибку, описанную Кайла. Я не могу вспомнить, какие запросы поддержки связаны с checked, так что часть кода на самом деле не провела хорошую проверку звука.

Скорее всего, если бы исходный код был checked(SomeArray.Length + 1 - 1), то компилятор отменил бы часть 1-1, поэтому он никогда не достигнет декомпилятора.

Почему бы вам не попросить IL этого заявления и разместить его здесь? Тот, кто декомпилировал это, должен также получить IL.