Каков первый аргумент в конструкторе без параметров?

Question

У меня есть простая программа, как это:

public class Foo 
{ 
    public Foo() 
    { 
    } 
    public int MyInt { get; set; } = 10; 
    public List<int> MyList { get; set; } = new List<int>(); 
} 

public class Program 
{ 
    static public void Main() 
    { 
     Console.WriteLine(new Foo().MyInt); 
     Console.ReadLine(); 
    } 
} 

я решил посмотреть CIL код такой программы (я заинтересован в конструктор Foo в). Вот он:

.method public hidebysig specialname rtspecialname 
     instance void .ctor() cil managed 
{ 
    // Code size  26 (0x1a) 
    .maxstack 8 
    IL_0000: ldarg.0 
    IL_0001: ldc.i4.s 10 
    IL_0003: stfld  int32 Foo::'<MyInt>k__BackingField' 
    IL_0008: ldarg.0 
    IL_0009: newobj  instance void class [mscorlib]System.Collections.Generic.List`1<int32>::.ctor() 
    IL_000e: stfld  class [mscorlib]System.Collections.Generic.List`1<int32> Foo::'<MyList>k__BackingField' 
    IL_0013: ldarg.0 
    IL_0014: call  instance void [mscorlib]System.Object::.ctor() 
    IL_0019: ret 
} // end of method Foo::.ctor 

Я задавался вопросом, когда я увидел вторую линию, ldarg.0, что это значит? this указатель? Но объект еще не был создан. Как я могу изменить его участников? Мое предположение заключается в том, что перед вызовом конструктора clr сначала выделяет память для объекта. Затем инициализирует члены значениям по умолчанию, а затем вызывает конструктор. Еще один интересный момент, когда последний вызов объекта. Я думал, что это будет первым.

Answer 1

Инициализаторы полей - это функция C#, а не CLR. Когда вы пишете инициализатор поля, компилятор C# должен поставить код для реализации этого где-то и где он помещает его внутри тела любых конструкторов.

И поскольку эти инициализаторы запускаются «перед» конструктором, вот почему фактический конструктор базового класса запускается позже.

(А так, да, первый параметр, как вы Inferred, this)

Answer 2

Хотя объект не «создан» в строгом смысле перед вызовом конструктора, для него должна быть выделена некоторая память. Я не знаю деталей, но я бы предположил, что все методы экземпляра класса имеют неявный первый параметр, который равен this; это также будет верно для конструктора, поскольку ему необходимо ссылаться на экземпляр объекта, как и на любой другой метод экземпляра.

Answer 3

http://www.philosophicalgeek.com/2014/09/29/digging-into-net-object-allocation-fundamentals/

Согласно вышеуказанной статье, CLR выделяет память первого перед вызовом в конструктор, и тот же объект путь строительство происходит на C++.