Mono.Cecil中的固定变量

Question

如何使用Mono.Cecil使局部变量固定？

​

​

Answer 1

完整的例子：

这是：

public unsafe static void Assign2(byte[] arr) 
{
    fixed (byte* ptr = arr)
        *ptr = 255;

可翻译为：

var assembly = AssemblyDefinition.CreateAssembly(new AssemblyNameDefinition("Test", new Version()), "Test", ModuleKind.Dll);

var module = assembly.MainModule;

var testClassType = new TypeDefinition(
    "TestNamespace",
    "TestClass",
    TypeAttributes.Class | TypeAttributes.Public | TypeAttributes.Abstract | TypeAttributes.Sealed,
    module.ImportReference(typeof(object)));

module.Types.Add(testClassType);

var assignMethod = new MethodDefinition(
    "Assign",
    MethodAttributes.Public | MethodAttributes.Static,
    module.ImportReference(typeof(void)));

assignMethod.Parameters.Add(new ParameterDefinition("arr", ParameterAttributes.None, module.ImportReference(typeof(byte[]))));

testClassType.Methods.Add(assignMethod);

// Get ILProcessor for the method body
var ilProcessor = assignMethod.Body.GetILProcessor();

ilProcessor.Body.Variables.Add(new VariableDefinition(module.ImportReference(typeof(byte).MakePointerType())));

// THIS IS WHAT YOU WANT!
// using Mono.Cecil.Rocks or new PinnedType(module.ImportReference(...))
ilProcessor.Body.Variables.Add(new VariableDefinition(module.ImportReference(typeof(byte[])).MakePinnedType()));

var instrLabelA = ilProcessor.Create(OpCodes.Ldc_I4_0);
var instrLabelB = ilProcessor.Create(OpCodes.Ldloc_1);
var instrLabelC = ilProcessor.Create(OpCodes.Ldloc_0);

ilProcessor.Emit(OpCodes.Ldarg_0);
ilProcessor.Emit(OpCodes.Dup);
ilProcessor.Emit(OpCodes.Stloc_1);
ilProcessor.Emit(OpCodes.Brfalse_S, instrLabelA);

ilProcessor.Emit(OpCodes.Ldloc_1);
ilProcessor.Emit(OpCodes.Ldlen);
ilProcessor.Emit(OpCodes.Conv_I4);
ilProcessor.Emit(OpCodes.Brtrue_S, instrLabelB);

ilProcessor.Append(instrLabelA);
ilProcessor.Emit(OpCodes.Conv_U);
ilProcessor.Emit(OpCodes.Stloc_0);
ilProcessor.Emit(OpCodes.Br_S, instrLabelC);

ilProcessor.Append(instrLabelB);
ilProcessor.Emit(OpCodes.Ldc_I4_0);
ilProcessor.Emit(OpCodes.Ldelema, module.ImportReference(typeof(byte)));
ilProcessor.Emit(OpCodes.Conv_U);
ilProcessor.Emit(OpCodes.Stloc_0);

ilProcessor.Append(instrLabelC);
ilProcessor.Emit(OpCodes.Ldc_I4, 255);
ilProcessor.Emit(OpCodes.Stind_I1);
ilProcessor.Emit(OpCodes.Ldnull);
ilProcessor.Emit(OpCodes.Stloc_1);
ilProcessor.Emit(OpCodes.Ret);

// Save the assembly to disk
assembly.Write(@"test.dll");

IL代码取自SharpLab。

你想要的是：

ilProcessor.Body.Variables.Add(new VariableDefinition(module.ImportReference(typeof(byte[])).MakePinnedType()));

记住要用

using Mono.Cecil.Rocks;

如果不使用Rocks，您可以直接：

ilProcessor.Body.Variables.Add(new VariableDefinition(new PinnedType(module.ImportReference(typeof(byte[])))));

请注意这一点：

public unsafe static void Assign(byte[] arr) 
{
    fixed (byte* ptr = &arr[0])
        *ptr = 255;

应该生成相同的代码，但它不会。

var ilProcessor = assignMethod.Body.GetILProcessor();

// THIS IS WHAT YOU WANT!
// using Mono.Cecil.Rocks or new PinnedType(module.ImportReference(...))
ilProcessor.Body.Variables.Add(new VariableDefinition(module.ImportReference(typeof(byte)).MakePinnedType()));

ilProcessor.Emit(OpCodes.Ldarg_0);
ilProcessor.Emit(OpCodes.Ldc_I4_0);
ilProcessor.Emit(OpCodes.Ldelema, module.ImportReference(typeof(byte)));
ilProcessor.Emit(OpCodes.Stloc_0);
ilProcessor.Emit(OpCodes.Ldloc_0);
ilProcessor.Emit(OpCodes.Conv_U);
ilProcessor.Emit(OpCodes.Ldc_I4, 255);
ilProcessor.Emit(OpCodes.Stind_I1);

ilProcessor.Emit(OpCodes.Ldc_I4_0);
ilProcessor.Emit(OpCodes.Conv_U);
ilProcessor.Emit(OpCodes.Stloc_0);
ilProcessor.Emit(OpCodes.Ret);

我要说，这是因为在第一种情况下，arr == null || arr.Length == 0必须由代码显式地处理，而在&arr[0]中，它是由.NET (将抛出异常)处理的。