如何处理C#不可变可释放对象链式转换时的重复释放问题？

问题解答 #

1. 对应设计模式

这类场景属于资源所有权追踪的典型场景，对应的常用设计模式是所有权转移模式和轻量引用计数包装模式，你自己实现的DisposableOnce就是引用计数包装的变体，还有更简洁的低复杂度实现方案。

2. using的重复释放行为

using不会识别对象是否属于其他using块，它只是编译器生成的try/finally语法糖，退出作用域时会无条件调用对象的Dispose方法。如果目标类的Dispose没有实现幂等逻辑，重复调用大概率会抛出ObjectDisposedException或者产生不可预期的副作用，你没有源码控制权的前提下绝对不能假设重复释放是安全的。

3. 每次返回新对象的安全性

在资源消耗可接受的前提下，每次返回新对象确实是最安全、可读性最高、维护成本最低的方案，完全不需要处理复杂的所有权追踪逻辑，没有明确性能问题的情况下优先选择这个方案完全合理。

满足需求的优雅实现方案 #

下面的方案不需要深入了解转换函数内部实现，代码复杂度低，同时支持按需返回原实例或新实例，且不会出现重复释放问题：

轻量所有权标记包装器

public sealed class DisposableHolder<T> : IDisposable where T : IDisposable
{
    public T Value { get; }
    // 标记当前持有者是否需要负责释放实例
    private bool _ownsInstance;

    public DisposableHolder(T value, bool ownsInstance = true)
    {
        Value = value ?? throw new ArgumentNullException(nameof(value));
        _ownsInstance = ownsInstance;
    }

    public void Dispose()
    {
        // 只有持有所有权的持有者才会执行释放
        if (_ownsInstance)
        {
            Value.Dispose();
            _ownsInstance = false;
        }
    }

    // 转移所有权，调用后当前持有者不再负责释放
    public T TransferOwnership()
    {
        _ownsInstance = false;
        return Value;
    }
}

转换方法适配示例

public static Bitmap Transform(Bitmap src, RotateFlipType rotate = RotateFlipType.RotateNoneFlipNone, 
    double scale = 0, int pad = 0, int alterGradient = 0)
{
    // 旋转步骤：不需要旋转时直接持有原对象，不拥有所有权不负责释放
    using var rotated = rotate == RotateFlipType.RotateNoneFlipNone 
        ? new DisposableHolder<Bitmap>(src, ownsInstance: false) 
        : new DisposableHolder<Bitmap>(src.Rotate(rotate));

    // 缩放步骤：不需要缩放时直接引用上一步的结果，不拥有所有权
    using var scaled = scale == 0 
        ? new DisposableHolder<Bitmap>(rotated.Value, ownsInstance: false) 
        : new DisposableHolder<Bitmap>(MyImageUtils.ScaleBitmap(rotated.Value, scale));

    // 补边步骤：同理
    using var padded = pad == 0 
        ? new DisposableHolder<Bitmap>(scaled.Value, ownsInstance: false) 
        : new DisposableHolder<Bitmap>(MyImageUtils.PaddBitmap(scaled.Value, pad));

    // 最终返回：不需要渐变时转移所有权返回原实例，否则返回新创建的渐变位图
    return alterGradient == 0 
        ? padded.TransferOwnership() 
        : MyImageUtils.Gradient(padded.Value, alterGradient);
}

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