c# - 如何为 IDisposable 类型使用自定义生成器？

Question

请注意:这是一个关于 fscheck 的问题，而不是关于 C# 中 IDisposable 的一般用法

假设我有以下类(class)(为了说明目的而夸大):

public class MyDataTypeWrapper : IDisposable
{
    private MyDataType fMyDataType; // MyDataType implements IDisposable

    public MyDataTypeWrapper(int[] randomData)
    {
         // some conversion routine (not shown)
         var inputToMyDataType = ConvertRandomDataToMyDataInputs(randomData);

         // this could all be done in one method but breaking out into two to illustrate.
         fMyDataType = new MyDataType(inputToMyDataType);
    }

    public void Dispose()
    {
         fMyDataType.Dispose();
    }
}

MyDataType 消耗一些非托管资源，因此它实现了 IDisposable。 MyDataType 类实际上没有采用 int[] 的构造函数，因此使用了包装类。

为此创建一个生成器相对简单，但我看不出有什么办法让这样的生成器在每次测试迭代后也负责处理创建的对象，这意味着我的测试代码经常充斥着显式调用处置。请参阅下面的大纲示例。

var generator = from randomData in Arb.Generate<int[]>()
                select new MyDataTypeWrapper(randomData);

// use the generator as input to some fscheck property based tests
Prop.ForAll(generator.ToArbitrary(), (MyDataTypeWrapper randomClassUnderTest) =>
{
    // want to avoid this
    using(randomClassUnderTest)
    {
        // assert some properties
        ...
    }
}).QuickCheckThrowOnFailure();

Prop.ForAll(generator.ToArbitrary(), (MyDataTypeWrapper randomClassUnderTest) =>
{
    // assert some properties
    ...

    // also want to avoid this (equivilant to use of using in example above)
    randomClassUnderTest.Dispose();
}).QuickCheckThrowOnFailure();

任何关于如何避免这种情况的想法\建议都将不胜感激。

Answer 1

第一个解决方案相当明显，但我还是要说明它，因为它实际上回答了问题:

var generator = from randomData in Arb.Generate<int[]>()
                select new MyDataTypeWrapper(randomData);

Prop.ForAll(generator.ToArbitrary(), (MyDataTypeWrapper randomClassUnderTest) =>
{

   using(randomClassUnderTest)
   {

   }

}).QuickCheckThrowOnFailure();

如果你不想对每个元素都这样做，你需要创建一些辅助方法来为你做这件事，例如:

  public static WhateverItReturns DisposablePropAll<TDisposable>(this IEnumerable<TDisposable> elements, Action<TDisposable> action) where TDisposable : IDisposable
        {
            return Prop.ForAll(elements, (TDisposable randomClassUnderTest) =>
            {
                using (randomClassUnderTest)
                {
                    action(randomClassUnderTest);
                }
            });
        }