Поскольку эти IL кодируют то, что я вижу больше, мне нравится научиться правильно их интерпретировать.
Я не мог найти документацию, такую как компилятор С# или любой другой, поэтому я думаю, что могу позаботиться обо всем остальном после того, как узнаю эти общие:
Ниже приведены некоторые примеры IL-кодов, содержащие то, что мне нужно знать:
Пример 1:
.method private hidebysig static void Main(string[] args) cil managed
{
.entrypoint
// Code size 15 (0xf)
.maxstack 1
.locals init ([0] class EnumReflection.DerivedClass derivedClass)
IL_0000: nop
IL_0001: newobj instance void EnumReflection.DerivedClass::.ctor()
IL_0006: stloc.0
IL_0007: ldloc.0
IL_0008: callvirt instance void EnumReflection.DerivedClass::WriteOutput()
IL_000d: nop
IL_000e: ret
} // end of method Program::Main
Пример 2:
.method public hidebysig specialname rtspecialname
instance void .ctor() cil managed
{
// Code size 38 (0x26)
.maxstack 8
IL_0000: ldarg.0
IL_0001: ldstr "Hello"
IL_0006: stfld string EnumReflection.DerivedClass::hello
IL_000b: ldarg.0
IL_000c: ldstr "World"
IL_0011: stfld string EnumReflection.DerivedClass::world
IL_0016: ldarg.0
IL_0017: ldc.i4.s 123
IL_0019: stfld int32 EnumReflection.DerivedClass::age
IL_001e: ldarg.0
IL_001f: call instance void EnumReflection.BaseClass::.ctor()
IL_0024: nop
IL_0025: ret
} // end of method DerivedClass::.ctor
Я знаю, что делают эти коды с тех пор, как я их создал:-) Однако я хотел бы узнать больше о соответствующем IL-коде.
Эти образцы содержат IL-коды, такие как , и не могли бы вы объяснить команду с вопросительными знаками? а также что означают эти команды? Поэтому мы можем легко запомнить их.
- nop (для отладки - нет операции)
- newobj (кажется, он создает новый объект в куче)
- stloc.0?
- ldloc.0?
- ret?
- ldarg.0?
- ldstr?
- stfld?
- ldc.i4.s?
- .ctor - конструктор
Понимание ИЛ важно, поскольку оно раскрывает, как конкретный компилятор создает коды и действует в определенных случаях.
Тем не менее, я не мог найти хорошие документы, содержащие примеры и IL. CLR с С# 3.0 - хорошая книга, но в конечном итоге это не книга IL, поэтому она не объясняет все об ИЛ.
EDIT:
Я нашел спецификации, и они сообщают следующее: Благодаря @usr.
- nop (для отладки - нет операции)
- newobj - создать новый объект
- stloc.0 - значение pop из стека в локальную переменную
- ldloc.0? - загрузить локальную переменную в стек
- ret - возврат из метода
- ldarg.0 - Загрузить аргумент 0 в стек.
- ldstr - загрузить литеральную строку
- stfld - сохранить в поле объекта
- ldc.i4.s - Нажимаем num в стек как int32, короткая форма.
- .ctor - конструктор