.NET 7中如何在代码内追踪对象引用？动态加载程序集卸载排查

一、不借助性能分析器，编程式追踪特定类型/实例的引用 #

可以通过.NET内置的GC与诊断API实现，这类方法主要适合调试场景，生产环境需注意性能开销：

• 弱引用+强制GC检测：创建目标实例的WeakReference，手动触发全量GC后检查IsAlive属性。若实例仍存活，说明存在未释放的强引用，但无法直接定位持有者。

  var targetInstance = new MyDynamicType();
  var weakRef = new WeakReference(targetInstance);
  
  // 释放所有显式引用
  targetInstance = null;
  
  // 强制触发全量GC
  GC.Collect(2, GCCollectionMode.Forced, true, true);
  GC.WaitForPendingFinalizers();
  
  if (weakRef.IsAlive)
  {
      Console.WriteLine("存在未释放的强引用");
  }
  

• ConditionalWeakTable追踪关联引用：利用ConditionalWeakTable<object, List<object>>记录可能持有目标实例的对象关联关系。该表不会阻止GC回收，当目标实例被回收时，对应关联项也会自动移除。此方法需要提前在可能持有引用的类型中植入追踪逻辑。

• 遍历已分配对象排查（调试场景）：使用GC.GetAllocatedObjects()枚举进程内所有已分配对象，结合反射检查对象字段是否引用目标实例。此方法性能开销极大，仅适合本地调试：

  var targetInstance = new MyDynamicType();
  var targetId = RuntimeHelpers.GetHashCode(targetInstance);
  
  foreach (var obj in GC.GetAllocatedObjects())
  {
      var fields = obj.GetType().GetFields(BindingFlags.Instance | BindingFlags.NonPublic | BindingFlags.Public);
      foreach (var field in fields)
      {
          var value = field.GetValue(obj);
          if (value != null && RuntimeHelpers.GetHashCode(value) == targetId)
          {
              Console.WriteLine($"找到引用者：{obj.GetType().FullName}.{field.Name}");
          }
      }
  }
  

二、动态编译加载程序集无法卸载的排查方案 #

动态加载的程序集要能被卸载，必须加载到**可回收的AssemblyLoadContext（ALC）**中，且ALC内的所有类型实例、静态成员无外部强引用。针对生产环境的隐藏引用，可按以下步骤排查：

1. 确认ALC配置正确：必须创建自定义AssemblyLoadContext并设置isCollectible: true，使用ALC的LoadFromAssemblyPath或LoadFromStream加载程序集，禁止使用Assembly.LoadFrom或Assembly.Load（这类方法会将程序集加载到默认ALC，无法卸载）。示例代码：

   public class CollectibleALC : AssemblyLoadContext
   {
       public CollectibleALC() : base(isCollectible: true) { }
       protected override Assembly Load(AssemblyName assemblyName) => null;
   }
   
   // 加载动态程序集
   var alc = new CollectibleALC();
   var assembly = alc.LoadFromAssemblyPath("dynamic-assembly.dll");
   

2. 排查静态成员引用：动态类型的静态字段、静态事件会持有类型本身的引用，导致ALC无法回收。通过反射遍历动态类型的静态字段，检查是否存在未释放的实例：

   foreach (var type in assembly.GetTypes())
   {
       var staticFields = type.GetFields(BindingFlags.Static | BindingFlags.NonPublic | BindingFlags.Public);
       foreach (var field in staticFields)
       {
           var value = field.GetValue(null);
           if (value != null)
           {
               Console.WriteLine($"静态字段持有引用：{type.FullName}.{field.Name}");
           }
       }
   }
   

3. 检查跨ALC事件/委托引用：如果动态类型实例订阅了主程序集的全局事件，或主程序集持有动态类型实例的委托引用，会形成跨ALC的强引用。需在动态类型中实现IDisposable，在Dispose方法中取消所有事件订阅。

4. 验证ALC回收状态：给ALC添加Unloading事件，或通过弱引用跟踪ALC的存活状态，确认是否真的被回收：

   var alc = new CollectibleALC();
   var weakAlc = new WeakReference(alc);
   alc.Unloading += (ctx) => Console.WriteLine("ALC开始卸载");
   
   // 使用程序集后，释放所有实例
   // ...
   
   alc.Unload();
   alc = null;
   GC.Collect(2, GCCollectionMode.Forced, true, true);
   GC.WaitForPendingFinalizers();
   
   if (!weakAlc.IsAlive)
   {
       Console.WriteLine("ALC已成功回收");
   }
   else
   {
       Console.WriteLine("ALC未回收，存在隐藏引用");
   }
   

总结 #

• 不借助性能分析器可实现引用追踪，但定位具体持有者的方法局限性较大，优先在调试环境使用。
• 动态程序集无法卸载的核心原因是存在跨ALC的强引用，重点排查静态成员、事件订阅、委托关联等场景。

内容的提问来源于stack exchange，提问作者Boppity Bop