Как MemberWiseClone создает новый объект с клонированными свойствами?

Question

Я хотел создать более ограниченную версию MemberwiseClone, но реализовал единственный способ, которым мой собственный код C# может добавлять свойства к объекту, заключается в использовании dynamic, но это не может дать объекту тот же тип, что и оригинал. Мой другой, более уродливый выбор - испустить источник для нового клона и скомпилировать его во время выполнения, но это сопряжено с сложностями re. ссылки на сборку и т. д., которые мне не нужны, чтобы все было просто.

На данный момент я просто использую MemberwiseClone, но мне действительно интересно, как это работает. Я не могу найти какой-либо декомпилированный источник.

Answer 1

Это в основном объясняется в MemberwiseClone MSDN documentation:

Метод MemberwiseClone создает неполную копию, создавая новый объект, а затем копирование нестатических полей текущего объекта к новому объекту. Если поле является типом значения, выполняется побитовая копия поля. Если поле является ссылочным типом, ссылка копируется, но упомянутый объект не является; поэтому исходный объект и его клон относятся к одному и тому же объекту.

Фактическая реализация вышеуказанного реализована внутри CLR. Вы можете думать об этом как оптимизированном варианте следующих стандартных C# код:

using System.Reflection; 
using System.Runtime.Serialization; 

public static object CustomMemberwiseClone(object source) 
{ 
    var clone = FormatterServices.GetUninitializedObject(source.GetType()); 
    for (var type = source.GetType(); type != null; type = type.BaseType) 
    { 
     var fields = type.GetFields(BindingFlags.Public | BindingFlags.NonPublic | BindingFlags.Instance | BindingFlags.DeclaredOnly); 
     foreach (var field in fields) 
      field.SetValue(clone, field.GetValue(source)); 
    } 
    return clone; 
} 

т.е. получить реальный тип, создать новый экземпляр этого типа без вызова какого-либо конструктор и скопировать каждое значение поля экземпляра из исходный объект.

Опять же, фактическая внутренняя реализация отличается (как указано в комментариях), приведенный выше фрагмент - это просто продемонстрировать принцип и как вы можете реализовать метод с той же семантикой через отражение (что, конечно, будет намного медленнее чем метод CLR).

ADDED BY OP: Пожалуйста, см. Комментарии Ивана ниже для дальнейшего объяснения, которое я искал. Я рассматриваю эту часть его ответа и принимаю его на основе их.