Я пишу инфраструктуру сериализации / десериализации вокруг нового пакета System.IO.Pipelines в .NET Core 2.1. Я столкнулся с проблемой при создании IL для вызова виртуального метода с параметром с новым модификатором «in» в универсальном классе. Это в основном сигнатура метода, которую я пытаюсь вызвать:
public virtual T DoSomething(in ReadOnlySpan<byte> memory, T o);
Если я снимаю виртуальный модификатор, код у меня работает нормально. После добавления виртуального модификатора я получаю исключение MethodNotFound при попытке вызвать сгенерированный код. Я также заметил, что если я не использую модификатор in в параметрах метода, он все равно работает нормально. Если я уберу универсальный параметр из класса (и оставлю параметр in), вызов также будет работать с виртуальным модификатором. Сбой возможен только при использовании модификатора in И использовании универсального типа, похоже .
Я сократил свой код до минимального примера, который вы можете увидеть ниже (извините за дамп кода, в коде происходит много всего, что, я думаю, относится ко всему вопросу).
using System;
using System.Collections.Generic;
using System.Reflection;
using System.Reflection.Emit;
using System.Runtime.CompilerServices;
using System.Runtime.InteropServices;
using System.Text;
namespace MessageStream.Bug
{
public class BugReproduction
{
public static void Main(string[] args)
{
var test = new TestClass<int>();
var span = new ReadOnlySpan<byte>(new byte[] { 1 });
test.OuterDoSomething(span, 10);
}
}
public class TestClass<T> where T : new()
{
private ITestInterface<T> testInterfaceImpl;
public TestClass()
{
Initialize();
}
public T OuterDoSomething(in ReadOnlySpan<byte> memory, T o)
{
return testInterfaceImpl.DoSomething(in memory, o);
}
// Generates a class that implements the ITestInterface<T>.DoSomething
// The generated class basically just calls testClass.DoSomething(in memory, o);
private void Initialize()
{
Type concreteType = GetType();
Type interfaceType = typeof(ITestInterface<T>);
var methodToOverride = interfaceType.GetMethod(nameof(ITestInterface<T>.DoSomething));
string overrideMethodName = string.Format("{0}.{1}", interfaceType.FullName, methodToOverride.Name);
var typeBuilder = CreateTypeBuilderForDeserializer(GetType().Name);
var thisField = typeBuilder.DefineField("testClass", concreteType, FieldAttributes.Private);
var constructor = typeBuilder.DefineConstructor(
MethodAttributes.Public | MethodAttributes.SpecialName | MethodAttributes.RTSpecialName, CallingConventions.HasThis, new[] { concreteType });
var constructorIlGenerator = constructor.GetILGenerator();
constructorIlGenerator.Emit(OpCodes.Ldarg_0);
constructorIlGenerator.Emit(OpCodes.Ldarg_1);
constructorIlGenerator.Emit(OpCodes.Stfld, thisField);
constructorIlGenerator.Emit(OpCodes.Ret);
var doSomethingMethodBuilder = typeBuilder.DefineMethod(
overrideMethodName,
MethodAttributes.Public | MethodAttributes.HideBySig |
MethodAttributes.Virtual | MethodAttributes.Final,
CallingConventions.HasThis,
typeof(T),
new Type[0],
new Type[0],
new[]
{
typeof(ReadOnlySpan<byte>).MakeByRefType(),
typeof(T)
},
new[]
{
new [] { typeof(InAttribute) },
new Type[0]
},
new[]
{
new Type[0],
new Type[0]
});
doSomethingMethodBuilder.DefineParameter(1, ParameterAttributes.In, "memory")
// I pulled this from a decompiled assembly. You will get a signature doesnt match exception if you don't include it.
.SetCustomAttribute(typeof(IsReadOnlyAttribute).GetConstructors()[0], new byte[] { 01, 00, 00, 00 });
doSomethingMethodBuilder.DefineParameter(2, ParameterAttributes.None, "o");
// Build method body
var methodIlGenerator = doSomethingMethodBuilder.GetILGenerator();
// Emit the call to the "DoSomething" method.
// This fails if the virtual keyword is used on the method.
methodIlGenerator.Emit(OpCodes.Ldarg_0);
methodIlGenerator.Emit(OpCodes.Ldfld, thisField);
methodIlGenerator.Emit(OpCodes.Ldarg_1);
methodIlGenerator.Emit(OpCodes.Ldarg_2);
methodIlGenerator.Emit(OpCodes.Callvirt, concreteType.GetMethod("DoSomething"));
methodIlGenerator.Emit(OpCodes.Ret);
// Point the interfaces method to the overidden one.
typeBuilder.DefineMethodOverride(doSomethingMethodBuilder, methodToOverride);
// Create type and create an instance
Type objectType = typeBuilder.CreateType();
testInterfaceImpl = (ITestInterface<T>)Activator.CreateInstance(objectType, this);
}
/// <summary>
/// This will throw a MethodNotFound exception. If you remove virtual it will work though.
/// </summary>
public virtual T DoSomething(in ReadOnlySpan<byte> memory, T o)
{
Console.WriteLine(memory[0]);
Console.WriteLine(o);
return new T();
}
private static TypeBuilder CreateTypeBuilderForDeserializer(string name)
{
var typeSignature = $"{name}{Guid.NewGuid().ToString().Replace("-", "")}";
var an = new AssemblyName(typeSignature);
AssemblyBuilder assemblyBuilder = AssemblyBuilder.DefineDynamicAssembly(an, AssemblyBuilderAccess.Run);
ModuleBuilder moduleBuilder = assemblyBuilder.DefineDynamicModule($"{name}{Guid.NewGuid().ToString()}Module");
TypeBuilder tb = moduleBuilder.DefineType(typeSignature,
TypeAttributes.Public |
TypeAttributes.Class |
TypeAttributes.AutoClass |
TypeAttributes.AnsiClass |
TypeAttributes.BeforeFieldInit |
TypeAttributes.AutoLayout,
null,
new[] { typeof(ITestInterface<T>) });
return tb;
}
}
public interface ITestInterface<T>
{
T DoSomething(in ReadOnlySpan<byte> memory, T o);
}
}
Есть идеи? Я бился головой о стену, пытаясь понять это уже несколько недель. Фактический код реального мира вы можете найти в моем хранилище . Проверьте тестовый проект , чтобы получить представление о том, что происходит и как он используется.