Как изменить коробочную структуру с помощью IL

Что ж, это было весело.

Кажется, использование Ldflda и Stind_* работает. На самом деле это в основном Распаковать (см. историю для версии, которая работает с Ldflda и Stind_*).

Вот что я собрал в LinqPad, чтобы доказать это.

public struct MutableStruct
{
    public int Foo { get; set; }

    public override string ToString()
    {
        return Foo.ToString();
    }
}

void Main()
{
    var foo = typeof(MutableStruct).GetProperty("Foo");
    var setFoo = foo.SetMethod;

    var dynMtd = new DynamicMethod("Evil", typeof(void), new [] { typeof(object), typeof(int) });
    var il = dynMtd.GetILGenerator();
    il.Emit(OpCodes.Ldarg_0);                       // object
    il.Emit(OpCodes.Unbox, typeof(MutableStruct));  // MutableStruct&
    il.Emit(OpCodes.Ldarg_1);                       // MutableStruct& int
    il.Emit(OpCodes.Call, setFoo);                  // --empty--
    il.Emit(OpCodes.Ret);                           // --empty--

    var del = (Action<object, int>)dynMtd.CreateDelegate(typeof(Action<object, int>));

    var mut = new MutableStruct { Foo = 123 };

    var boxed= (object)mut;

    del(boxed, 456);

    var unboxed = (MutableStruct)boxed;
    // unboxed.Foo = 456, mut.Foo = 123
}

Ну вот:

Просто используйте unsafe :)

static void Main(string[] args)
{
  object foo = new MutableStruct {Foo = 123};
  Console.WriteLine(foo);
  Bar(foo);
  Console.WriteLine(foo);
}

static unsafe void Bar(object foo)
{
  GCHandle h = GCHandle.Alloc(foo, GCHandleType.Pinned);

  MutableStruct* fp = (MutableStruct*)(void*)  h.AddrOfPinnedObject();

  fp->Foo = 789;
}

Реализация IL оставлена ​​читателю в качестве упражнения.

Обновление:

Основываясь на ответе Кевина, вот минимальный рабочий пример:

ldarg.0
unbox      MutableStruct
ldarg.1
call       instance void MutableStruct::set_Foo(int32)
ret

Вы можете сделать это еще проще. Попробуйте это в .NET 4.5, где у нас динамический.

struct Test
{
    public Int32 Number { get; set; }


    public override string ToString()
    {
        return this.Number.ToString();
    }
}


class Program
{
    static void Main( string[] args )
    {
        Object test = new Test();

        dynamic proxy = test;

        proxy.Number = 1;

        Console.WriteLine( test );
        Console.ReadLine();
    }
}

Я знаю, что это не отражение, но все равно весело.

Даже без небезопасного кода чистый C#:

using System;

internal interface I {
  void Increment();
}

struct S : I {
  public readonly int Value;
  public S(int value) { Value = value; }

  public void Increment() {
    this = new S(Value + 1); // pure evil :O
  }

  public override string ToString() {
    return Value.ToString();
  }
}

class Program {
  static void Main() {
    object s = new S(123);
    ((I) s).Increment();
    Console.WriteLine(s); // prints 124
  }
}

В C# ссылка this внутри методов экземпляра типов значений на самом деле является ref-параметром (или out-параметром в конструкторе типа значения, поэтому this нельзя захватить в замыкания, как ref/out параметры в любых методах) и может быть изменены.

Когда метод экземпляра структуры вызывается для неупакованного значения, присваивание this эффективно заменяет значение на месте вызова. Когда метод экземпляра вызывается для упакованного экземпляра (через виртуальный вызов или вызов интерфейса, как в приведенном выше примере), параметр ref указывает на значение внутри объекта ящика, поэтому можно изменить упакованное значение.

Я опубликовал решение, использующее деревья выражений для настройки полей в другом потоке. Тривиально изменить код, чтобы вместо этого использовать свойства: