此代码片段是我的类生成代码的简化摘录，它创建了两个类，它们作为泛型类型中的参数相互引用:

namespace Sandbox
{
    using System;
    using System.Reflection;
    using System.Reflection.Emit;

    internal class Program
    {
        private static void Main(string[] args)
        {
            var assembly = AppDomain.CurrentDomain.DefineDynamicAssembly(new AssemblyName("Test"), AssemblyBuilderAccess.Run);
            var module = assembly.DefineDynamicModule("Test");

            var typeOne = module.DefineType("TypeOne", TypeAttributes.Public);
            var typeTwo = module.DefineType("TypeTwo", TypeAttributes.Public);

            typeOne.DefineField("Two", typeof(TestGeneric<>).MakeGenericType(typeTwo), FieldAttributes.Public);
            typeTwo.DefineField("One", typeof(TestGeneric<>).MakeGenericType(typeOne), FieldAttributes.Public);

            typeOne.CreateType();
            typeTwo.CreateType();

            Console.WriteLine("Done");
            Console.ReadLine();
        }
    }

    public struct TestGeneric<T>
    {
    }
}

应该生成等同于以下内容的 MSIL:

public class TypeOne
{
    public Program.TestGeneric<TypeTwo> Two;
}

public class TypeTwo
{
    public Program.TestGeneric<TypeOne> One;
}

而是在 typeOne.CreateType() 行抛出这个异常:

System.TypeLoadException was unhandled
  Message=Could not load type 'TypeTwo' from assembly 'Test, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'.
  Source=mscorlib
  TypeName=TypeTwo
  StackTrace:
       at System.Reflection.Emit.TypeBuilder.TermCreateClass(RuntimeModule module, Int32 tk, ObjectHandleOnStack type)
       at System.Reflection.Emit.TypeBuilder.CreateTypeNoLock()
       at System.Reflection.Emit.TypeBuilder.CreateType()
       at Sandbox.Program.Main(String[] args) in C:\Users\aca1\Code\Sandbox\Program.cs:line 20

注意事项:

• 不需要循环引用来引起异常；如果我不定义字段 One在 TypeTwo , 创建 TypeOne之前TypeTwo仍然失败，但正在创建 TypeTwo之前 TypeOne成功。因此，该异常具体是由于在泛型字段类型中使用了尚未创建的类型作为参数引起的；但是，因为我需要使用循环引用，所以我无法通过按特定顺序创建类型来避免这种情况。
• 是的，我确实需要使用循环引用。
• 去除 wrapper TestGeneric<>键入并将字段声明为 TypeOne & TypeTwo直接不会产生这个错误；因此我可以使用已定义但未创建的动态类型。
• 正在更改 TestGeneric<>来自struct到 class不会产生此错误；所以这个模式确实适用于大多数泛型，只是不适用于泛型值类型。
• 我无法更改 TestGeneric<> 的声明在我的例子中，因为它是在另一个程序集中声明的——具体来说，System.Data.Linq.EntityRef<>在 System.Data.Linq.dll 中声明。
• 我的循环引用是由于两个表相互引用外键造成的；因此需要特定的通用类型和特定的模式。
• 将循环引用更改为自引用编辑 成功。这最初失败是因为我有 TestGeneric<>作为 Program 中的嵌套类型，所以它继承了 internal能见度。我现在已经在上面的代码示例中解决了这个问题，它确实有效。
• 手动编译生成的代码(作为 C# 代码)也可以，因此这不是一个模糊的编译器问题。

关于 a) 为什么会发生这种情况，b) 我如何解决这个问题和/或 c) 我如何解决它的任何想法？

谢谢。

最佳答案

我不知道为什么会这样。我有一个很好的猜测。

正如您所观察到的，创建泛型类与创建泛型结构的处理方式不同。当您创建“TypeOne”类型时，发射器需要创建通用类型“TestGeneric”，并且出于某种原因需要正确的类型而不是 TypeBuilder。也许在尝试确定新通用结构的大小时会发生这种情况？我不确定。也许 TypeBuilder 无法确定其大小，因此需要创建的“TypeTwo”类型。

当无法找到 TypeTwo 时(因为它仅作为 TypeBuilder 存在)，将触发 AppDomain 的 TypeResolve 事件。这使您有机会解决问题。在处理 TypeResolve 事件时，您可以创建类型“TypeTwo”并解决问题。

这是一个粗略的实现:

namespace Sandbox
{
    using System;
    using System.Collections.Generic;
    using System.Reflection;
    using System.Reflection.Emit;

    internal class Program
    {
        private static void Main(string[] args)
        {
            var assembly = AppDomain.CurrentDomain.DefineDynamicAssembly(new AssemblyName("Test"), AssemblyBuilderAccess.Run);
            var module = assembly.DefineDynamicModule("Test");

            var typeOne = module.DefineType("TypeOne", TypeAttributes.Public);
            var typeTwo = module.DefineType("TypeTwo", TypeAttributes.Public);

            typeOne.DefineField("Two", typeof(TestGeneric<>).MakeGenericType(typeTwo), FieldAttributes.Public);
            typeTwo.DefineField("One", typeof(TestGeneric<>).MakeGenericType(typeOne), FieldAttributes.Public);

            TypeConflictResolver resolver = new TypeConflictResolver();
            resolver.AddTypeBuilder(typeTwo);
            resolver.Bind(AppDomain.CurrentDomain);

            typeOne.CreateType();
            typeTwo.CreateType();

            resolver.Release();

            Console.WriteLine("Done");
            Console.ReadLine();
        }
    }

    public struct TestGeneric<T>
    {
    }

    internal class TypeConflictResolver
    {
        private AppDomain _domain;
        private Dictionary<string, TypeBuilder> _builders = new Dictionary<string, TypeBuilder>();

        public void Bind(AppDomain domain)
        {
            domain.TypeResolve += Domain_TypeResolve;
        }

        public void Release()
        {
            if (_domain != null)
            {
                _domain.TypeResolve -= Domain_TypeResolve;
                _domain = null;
            }
        }

        public void AddTypeBuilder(TypeBuilder builder)
        {
            _builders.Add(builder.Name, builder);
        }

        Assembly Domain_TypeResolve(object sender, ResolveEventArgs args)
        {
            if (_builders.ContainsKey(args.Name))
            {
                return _builders[args.Name].CreateType().Assembly;
            }
            else
            {
                return null;
            }
        }
    }
}

关于c# - 为什么在发出通过值类型泛型相互引用的类时会出现此异常？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/6735274/