22

公平的警告，这可能有点深奥和棘手。

给定从 CIL 流中提取的 MemberRef（下面有更多解释），您如何确定它指向的字段（如果有）（并FieldInfo为它获取一个）？

这是我到目前为止所知道的

根据ECMA 335 标准，MemberRef 是一种元数据标记，它基本上是在表中的查找，可以指向字段元数据标记或方法元数据标记。任何以 0x0A 开头的元数据令牌都是 MemberRef。

在此处输入图像描述

我以前没有遇到过其中之一，但它们似乎并不罕见。我能够通过在方法中使用以下匿名类型生成一个：

new
{
    A = new DateTime(1234, 5, 6, 7, 8, 9, DateTimeKind.Utc),
    B = (DateTime?)null
}

当我通过反射获取方法体时（获取PropertyInfo，获取GetMethod，获取MethodBody，最后获取 IL）A的获取方法是：

[2, 123, 79, 0, 0, 10, 42]

转换为：

ldarg.0
ldfld 0x0A00004F
ret

如果我反映并获得支持字段（依靠名称相似性来选择<A>i__Field，没有任何算法）我看到MetadataToken是0x04000056.

请注意，生成的令牌可能因编译而异。

以 0x04 开头的令牌是一个字段： 在此处输入图像描述

大多数时候（事实上，对于我有限测试中的所有非匿名对象）IL 包含字段元数据标记。这很容易变成FieldInfovia Module.ResolveField(int)，弄清楚如何处理 MemberRef 让我很头疼。

循环通过Module上的其他 ResolveXXX 方法，唯一可以对 MemberRef 做任何事情的方法是ResolveSignature。在上述 MemberRef 上运行时，它返回一个[6, 19, 0]. 我真的不知道该怎么做。

我正在处理的代码尚未完成，但已公开。通过运行此测试可以看到该错误，当该行上的字段查找失败时会引发异常。请注意，测试本身尚未完成，预计它不会成功，但它也不应该死在那里。

任何人都知道如何制作该签名，或者以其他方式FieldInfo从 MemberRef 获取字段的元数据令牌（以及它的）？

这是重现该问题的 LINQPad 程序脚本。它很大，有很多样板。

void Main()
{
    Init();
    
    var obj = 
        new
        {
            A = new DateTime(1234, 5, 6, 7, 8, 9, DateTimeKind.Utc),
            B = (DateTime?)null
        };
    
    var usage = PropertyFieldUsage(obj.GetType());
    usage.Dump();
}

private static Dictionary<int, System.Reflection.Emit.OpCode> OneByteOps;
private static Dictionary<int, System.Reflection.Emit.OpCode> TwoByteOps;

public static Dictionary<PropertyInfo, List<FieldInfo>> PropertyFieldUsage(Type t)
{
  var ret = new Dictionary<PropertyInfo, List<FieldInfo>>();

  var props = t.GetProperties(BindingFlags.Public | BindingFlags.Instance | BindingFlags.NonPublic).Where(p => p.GetMethod != null);

  var module = t.Module;

  foreach (var prop in props)
  {
      var getMtd = prop.GetMethod;
      var mtdBody = getMtd.GetMethodBody();
      var il = mtdBody.GetILAsByteArray();

      var fieldHandles = _GetFieldHandles(il);

      var fieldInfos = 
          fieldHandles
              .Select(
                  f => module.ResolveField(f)
              ).ToList();

      ret[prop] = fieldInfos;
  }

  return ret;
}

// Define other methods and classes here
private static List<int> _GetFieldHandles(byte[] cil)
{
  var ret = new List<int>();

  int i = 0;
  while (i < cil.Length)
  {
      int? fieldHandle;
      System.Reflection.Emit.OpCode ignored;
      var startsAt = i;
      i += _ReadOp(cil, i, out fieldHandle, out ignored);

      if (fieldHandle.HasValue)
      {
          ret.Add(fieldHandle.Value);
      }
  }

  return ret;
}

private static int _ReadOp(byte[] cil, int ix, out int? fieldHandle, out System.Reflection.Emit.OpCode opcode)
{
  const byte ContinueOpcode = 0xFE;

  int advance = 0;

  byte first = cil[ix];

  if (first == ContinueOpcode)
  {
      var next = cil[ix + 1];

      opcode = TwoByteOps[next];
      advance += 2;
  }
  else
  {
      opcode = OneByteOps[first];
      advance++;
  }

  fieldHandle = _ReadFieldOperands(opcode, cil, ix, ix + advance, ref advance);

  return advance;
}

private static int? _ReadFieldOperands(System.Reflection.Emit.OpCode op, byte[] cil, int instrStart, int operandStart, ref int advance)
{
  Func<int, int> readInt = (at) => cil[at] | (cil[at + 1] << 8) | (cil[at + 2] << 16) | (cil[at + 3] << 24);

  switch (op.OperandType)
  {
      case System.Reflection.Emit.OperandType.InlineBrTarget:
          advance += 4;
          return null;

      case System.Reflection.Emit.OperandType.InlineSwitch:
          advance += 4;
          var len = readInt(operandStart);
          var offset1 = instrStart + len * 4;
          for (var i = 0; i < len; i++)
          {
              advance += 4;
          }
          return null;

      case System.Reflection.Emit.OperandType.ShortInlineBrTarget:
          advance += 1;
          return null;

      case System.Reflection.Emit.OperandType.InlineField:
          advance += 4;
          var field = readInt(operandStart);
          return field;

      case System.Reflection.Emit.OperandType.InlineTok:
      case System.Reflection.Emit.OperandType.InlineType:
      case System.Reflection.Emit.OperandType.InlineMethod:
          advance += 4;
          return null;

      case System.Reflection.Emit.OperandType.InlineI:
          advance += 4;
          return null;

      case System.Reflection.Emit.OperandType.InlineI8:
          advance += 8;
          return null;

      case System.Reflection.Emit.OperandType.InlineNone:
          return null;

      case System.Reflection.Emit.OperandType.InlineR:
          advance += 8;
          return null;

      case System.Reflection.Emit.OperandType.InlineSig:
          advance += 4;
          return null;

      case System.Reflection.Emit.OperandType.InlineString:
          advance += 4;
          return null;

      case System.Reflection.Emit.OperandType.InlineVar:
          advance += 2;
          return null;

      case System.Reflection.Emit.OperandType.ShortInlineI:
          advance += 1;
          return null;

      case System.Reflection.Emit.OperandType.ShortInlineR:
          advance += 4;
          return null;

      case System.Reflection.Emit.OperandType.ShortInlineVar:
          advance += 1;
          return null;

      default: throw new Exception("Unexpected operand type [" + op.OperandType + "]");
  }
}

static void Init()
{
  var oneByte = new List<System.Reflection.Emit.OpCode>();
  var twoByte = new List<System.Reflection.Emit.OpCode>();

  foreach (var field in typeof(System.Reflection.Emit.OpCodes).GetFields(BindingFlags.Public | BindingFlags.Static))
  {
      var op = (System.Reflection.Emit.OpCode)field.GetValue(null);

      if (op.Size == 1)
      {
          oneByte.Add(op);
          continue;
      }

      if (op.Size == 2)
      {
          twoByte.Add(op);
          continue;
      }

      throw new Exception("Unexpected op size for " + op);
  }

  OneByteOps = oneByte.ToDictionary(d => (int)d.Value, d => d);
  TwoByteOps = twoByte.ToDictionary(d => (int)(d.Value & 0xFF), d => d);
}
4

1 回答 1

23

这里的技巧是它是一个泛型类型（第二个参数ResolveField），我们知道getter不是一个泛型方法（最后一个参数ResolveField），所以你需要ResolveField像这样使用：

var obj = new
{
    A = new DateTime(1234, 5, 6, 7, 8, 9, DateTimeKind.Utc),
    B = (DateTime?)null
};

Parse(obj, "A");
Parse(obj, "B");

static void Parse(object obj, string property)
{
    var blob = obj.GetType().GetProperty(property).GetGetMethod()
       .GetMethodBody().GetILAsByteArray();
    // hard-code that we know the token is at offset 2
    int token = BitConverter.ToInt32(blob, 2);

    var field = obj.GetType().Module.ResolveField(token,
        obj.GetType().GetGenericArguments(), null);
    Console.WriteLine(field.Name);
    Console.WriteLine(field.MetadataToken);
}

在更一般的情况下，您不太了解类型（即它可能是非泛型类型）和方法（尽管严格来说，属性访问器本身绝不是泛型的，但这表明广泛使用）：

static MemberInfo ResolveMember(this MethodInfo method, int metadataToken)
{
    Type type = method.DeclaringType;
    Type[] typeArgs = null, methodArgs = null;

    if (type.IsGenericType || type.IsGenericTypeDefinition)
        typeArgs = type.GetGenericArguments();
    if (method.IsGenericMethod || method.IsGenericMethodDefinition)
        methodArgs = method.GetGenericArguments();

    return type.Module.ResolveMember(metadataToken, typeArgs, methodArgs);
}
于 2013-10-07T07:01:03.687 回答