Например, есть класс:
public class MyClass{
Bitmap bmp;
}
Класс Bitmap является одноразовым.
В случае, когда я не реализую IDisposable в MyClass и нет ссылок на экземпляр MyClass, это означает, что нет ссылок на экземпляр класса Bitmap, поэтому GarbageCollector вызовет финализатор Bitmap и все неуправляемые ресурсы будут освобождены.
Почему анализаторы кода рекомендуют реализовать IDisposable в MyClass?
Есть 2 причины для реализации IDispose:
1. Утилизация неуправляемых ресурсов — это то, ЧТО очищать (неуправляемые ресурсы)
2. Чтобы иметь возможность контролировать, когда управляемые ресурсы освобождены - речь идет о том, КОГДА вещи очищаются.
Документация IDisposable очень сильно фокусируется на 1. но в действительности большинство реализаций относится к 2.
Это имеет место в вашем случае. пример - ресурсы, которые у вас есть, управляются (управляемым классом растрового изображения, который обертывает дескриптор неуправляемого растрового изображения). Вы бы разместили его в своем распоряжении, чтобы пользователи вашего класса могли контролировать, когда растровое изображение было освобождено (НЕ, если оно будет освобождено - в конечном итоге это произойдет, когда GC захочет).
Может быть, так и будет. Но когда? Этот класс нельзя надежно использовать. Если я создам 10 000 последовательно, 10 000 нераспределенных растровых изображений будут в памяти, ожидая, пока ленивый сборщик мусора вызовет финализатор, чтобы (надеюсь) вызвать Dispose. Может быть сегодня. Может быть завтра. Но как разработчик я не могу это контролировать. Если вы реализуете IDisposable правильно, я могу просто иметь блок using вокруг каждого из них, и я никогда не буду использовать больше ресурсов, чем потребуется для одного Bitmap.
