如何让托管对象ObjB存活至ObjA终结器执行完成？

你当前用静态列表持有ObjB的方案确实存在全局状态、线程安全和潜在内存泄漏的问题，这里提供两种更优雅的实现方式：

1. 使用GCHandle（推荐方案） #

通过GCHandle创建强引用句柄，把ObjB固定在内存中，直到ObjA的终结器执行完毕再释放，完全避免全局状态：

public class ObjA
{
    private GCHandle _objBHandle;

    public ObjA(ObjB objB)
    {
        // 分配强引用句柄，确保ObjB不会被GC回收
        _objBHandle = GCHandle.Alloc(objB, GCHandleType.Normal);
    }

    ~ObjA()
    {
        if (_objBHandle.IsAllocated)
        {
            var objB = (ObjB)_objBHandle.Target;
            // 调用ObjB需要执行的方法
            objB.DoRequiredWork();
            // 释放句柄，允许ObjB被GC回收
            _objBHandle.Free();
        }
    }
}

public class ObjB
{
    public void DoRequiredWork()
    {
        // 你的业务逻辑实现
    }
}

这个方案的优点：

• 无全局状态，每个ObjA实例独立管理自己的ObjB引用
• 线程安全，不需要额外加锁
• 句柄释放后ObjB会正常被GC回收，无内存泄漏风险

2. 强引用配合GC.KeepAlive（适用于ObjB无自定义终结器） #

如果ObjB没有自己的终结器，直接在ObjA中持有ObjB的强引用即可，配合GC.KeepAlive明确标记ObjB的存活边界：

public class ObjA
{
    private readonly ObjB _objB;

    public ObjA(ObjB objB)
    {
        _objB = objB;
    }

    ~ObjA()
    {
        // 调用ObjB的方法
        _objB.DoRequiredWork();
        // 显式确保ObjB存活到此处，避免JIT优化导致的提前回收
        GC.KeepAlive(_objB);
    }
}

这里要注意：只要ObjA持有ObjB的强引用，GC就不会在ObjA终结器执行前回收ObjB——因为ObjA在终结队列中属于可达对象，ObjB作为它的引用对象也会被视为可达。GC.KeepAlive主要是防止JIT编译器优化掉看似无用的引用，让代码逻辑更清晰。

为什么静态列表方案不推荐？ #

• 静态列表是全局状态，多个ObjA实例操作时必须加锁，增加复杂度
• 若终结器执行抛出异常导致ObjB未从列表移除，会直接造成内存泄漏
• 全局状态让代码耦合性变强，后续维护难度更高

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