C#如何禁止复制持有非托管内存的IDisposable类实例，实现类似C++ std::unique_ptr效果

实现方案 #

C# 没有内置和 C++ std::unique_ptr 完全对等的语法，但可以通过「运行时兜底+编译期约束」的组合方案实现你要的所有权限制，避免悬垂引用问题。 #

方案1：ref struct 实现编译期强约束（推荐） #

C# 7.2 以上支持的 ref struct 有严格的生命周期校验，编译器会自动禁止短生命周期的实例逃逸到长生命周期的作用域，完全匹配你的需求：

• 只能在栈上分配，不能作为类字段、不能被闭包捕获
• 编译器会自动检测生命周期，禁止将 using 块内的 ref struct 实例赋值给外部变量，直接编译报错
• 支持 using 语法自动释放资源

代码实现

public unsafe ref struct Foo
{
    private void* _ptr;
    private bool _disposed;

    // 构造函数internal，仅工厂可创建
    internal Foo() 
    {
        _ptr = /* 从C DLL初始化指针逻辑 */;
        _disposed = false;
    }

    public int GetInfo()
    {
        ObjectDisposedException.ThrowIf(_disposed, nameof(Foo));
        // 调用DLL实现业务逻辑
    }

    public void Dispose()
    {
        if (_disposed || _ptr == null) return;
        // 调用C DLL释放非托管内存
        _ptr = null;
        _disposed = true;
    }
}

// 工厂类保持不变
public unsafe class FooFactory
{
    public Foo CreateFoo() => new Foo();
}

// process函数保持不变
public Foo process(Foo f)
{
    // 处理逻辑
    return f;
}

错误场景的编译效果

你给出的错误写法会直接触发编译错误：无法将局部变量 "f1" 的地址或引用赋值给具有更长生存期的变量，从根源上避免悬垂引用。 #

方案2：引用类型+所有权转移+运行时校验 #

如果你的场景需要 Foo 是引用类型（比如要在async方法中使用、要存入集合），可以通过所有权转移+运行时校验的方案兜底：

代码实现

public unsafe class Foo : IDisposable
{
    private void* _ptr;
    private bool _disposed = false;

    internal Foo() { }

    public int GetInfo()
    {
        ObjectDisposedException.ThrowIf(_disposed, this);
        // 业务逻辑
    }

    public void Dispose()
    {
        if (_disposed || _ptr == null) return;
        // 释放非托管内存
        _ptr = null;
        _disposed = true;
        GC.SuppressFinalize(this);
    }

    ~Foo() => Dispose();

    // 所有权转移方法，转移后原实例失效
    internal Foo TakeOwnership()
    {
        ObjectDisposedException.ThrowIf(_disposed, this);
        var newOwner = new Foo
        {
            _ptr = _ptr
        };
        // 原实例指针置空，标记已释放
        _ptr = null;
        _disposed = true;
        return newOwner;
    }
}

// process函数改造为转移所有权
public Foo process(Foo input)
{
    var ownedFoo = input.TakeOwnership();
    // 处理逻辑
    return ownedFoo;
}

效果

即使出现你示例中的错误写法，调用f2.GetInfo()也只会抛出托管的ObjectDisposedException，不会触发非法内存访问导致进程崩溃。如果需要进一步在编译期拦截，可以自行实现轻量的Roslyn静态分析器，检测到Foo实例从using作用域逃逸就触发编译错误。 #

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