Сбор мусора при использовании анонимных делегатов для обработки событий

ОБНОВЛЕНИЕ

Я собрал различные ответы отсюда в "окончательный" ответ на новый вопрос.

Оригинальный вопрос

В моем коде у меня есть издатель событий, который существует для всего жизненного цикла приложения (здесь сводится к основным требованиям):

public class Publisher
{
    //ValueEventArgs<T> inherits from EventArgs
    public event EventHandler<ValueEventArgs<bool>> EnabledChanged; 
}

Поскольку этот издатель можно использовать повсюду, я был очень доволен собой для создания этого небольшого вспомогательного класса, чтобы избежать повторной записи кода обработки для всех подписчиков:

public static class Linker
{
    public static void Link(Publisher publisher, Control subscriber)
    {
         publisher.EnabledChanged += (s, e) => subscriber.Enabled = e.Value;
    }

    //(Non-lambda version, if you're not comfortable with lambdas)
    public static void Link(Publisher publisher, Control subscriber)
    {
         publisher.EnabledChanged +=
             delegate(object sender, ValueEventArgs<bool> e)
             {
                  subscriber.Enabled = e.Value;
             };
    }
}

Он работал нормально, пока мы не начали использовать его на небольших машинах, когда я начал получать случайные:

System.ComponentModel.Win32Exception
Not enough storage is available to process this command

Как оказалось, в коде есть одно место, где элементы управления подписчиков динамически создаются, добавляются и удаляются из формы. Учитывая мое передовое понимание сборки мусора и т.д. (Т. Е. Ни одного, до вчерашнего дня), я никогда не думал проясняться позади меня, так как в подавляющем большинстве случаев подписчики также живут на протяжении всей жизни приложения.

Я немного поиграл с Dustin Campbell WeakEventHandler, но он не работает с анонимными делегатами (не для меня в любом случае).

Есть ли вообще проблема? Я действительно хотел бы избежать необходимости копировать кодовую табличку во всем магазине.

(О, и не беспокойтесь, спрашивая меня, ПОЧЕМУ мы все время создаем и уничтожаем элементы управления, это было не мое дизайнерское решение...)

(PS: это приложение winforms, но мы обновили его до VS2008 и .Net 3.5, следует ли использовать шаблон слабых событий?)

(PPS: Хороший ответ от Rory, но если кто-то может придумать эквивалент WeakEventHandler, который избегает меня, чтобы помнить явно UnLink/Dispose, это было бы круто...)

РЕДАКТИРОВАТЬ Я должен признать, что я работал над этой проблемой, "перерабатывая" контролируемые элементы. Однако обходной путь вернулся, чтобы преследовать меня, поскольку "ключ", который я использовал, по-видимому, не является уникальным (рыдание). Я только что открыл другие ссылки здесь (пробовал это - кажется, слишком слабый), GC очищает делегатов, даже если цель еще жива, та же проблема с s, oɔɯǝɹ answer ниже), здесь (заставляет вас изменить издатель, и на самом деле не работает с анонимными делегатами) и здесь (процитированный как неполный Dustin Campbell).

Мне кажется, что то, что я ищу, может быть семантически невозможным - закрытие предназначено для "зависания даже после того, как я уйду".

Я нашел другое обходное решение, поэтому я буду придерживаться этого, ожидая голос от богов.

Ответ 1

Я знаю, что этот вопрос древний, но ад - я нашел его, и я полагаю, что другие могли бы также. Я пытаюсь решить связанную проблему и, возможно, имею некоторое представление.

Вы упомянули Дастина Кэмпбелла WeakEventHandler - он действительно не может работать с анонимными методами по дизайну. Я пытался что-то совместить, когда я понял, что а) в 99% случаев мне понадобится что-то подобное, его оригинальное решение будет более безопасным, и б) в тех немногих случаях, когда я должен (обратите внимание: не "хотят, потому что лямбды настолько красивее и лаконичны" ), что можно заставить его работать, если вы немного умнее.

Ваш пример выглядит точно как одноразовый случай, когда получение немного сложного может привести к довольно краткому решению.


public static class Linker {
    public static void Link(Publisher publisher, Control subscriber) {
        // anonymous method references the subscriber only through weak 
        // references,so its existance doesn't interfere with garbage collection
        var subscriber_weak_ref = new WeakReference(subscriber);

        // this instance variable will stay in memory as long as the  anonymous
        // method holds a reference to it we declare and initialize  it to 
        // reserve the memory (also,  compiler complains about uninitialized
        // variable otherwise)
        EventHandler<ValueEventArgs<bool>> handler = null;

        // when the handler is created it will grab references to the  local 
        // variables used within, keeping them in memory after the function 
        // scope ends
        handler = delegate(object sender, ValueEventArgs<bool> e) {
            var subscriber_strong_ref = subscriber_weak_ref.Target as Control;

            if (subscriber_strong_ref != null) 
                subscriber_strong_ref.Enabled = e.Value;
            else {
                // unsubscribing the delegate from within itself is risky, but
                // because only one instance exists and nobody else has a
                // reference to it we can do this
                ((Publisher)sender).EnabledChanged -= handler;

                // by assigning the original instance variable pointer to null
                // we make sure that nothing else references the anonymous
                // method and it can be collected. After this, the weak
                //  reference and the handler pointer itselfwill be eligible for
                // collection as well.
                handler = null; 
            }
        };

        publisher.EnabledChanged += handler;
    }
}

Похоже, что сценарий WPF Weak Event имеет много накладных расходов, поэтому в этой конкретной ситуации я бы не использовал его. Кроме того, ссылка на основную библиотеку WPF в приложении WinForm кажется немного тяжелой.

Ответ 2

Если вы сохраняете ссылку на анонимный делегат, а затем удаляете ее, когда элементы управления удаляются из формы, которая должна содержать сбор данных и анонимных делегатов.

Так что-то вроде этого:

public static class Linker
{

    //(Non-lambda version, I'm not comfortable with lambdas:)
    public static EventHandler<ValueEventArgs<bool>> Link(Publisher publisher, Control subscriber)
    {
         EventHandler<ValueEventArgs<bool>> handler = delegate(object sender, ValueEventArgs<bool> e)
             {
                  subscriber.Enabled = e.Value;
             };
         publisher.EnabledChanged += handler;
         return handler;
    }

    public static void UnLink(Publisher publisher, EventHandler<ValueEventArgs<bool>> handler)
    {
        publisher.EnabledChanged -= handler;
    }

}

См. Отменить анонимный метод в С# для примера удаления делегатов.

Ответ 3

Пример кода, который я сделал недавно, на основе WeakReference:

// strongly typed weak reference
public class WeakReference<T> : WeakReference
    where T : class
{
    public WeakReference(T target)
        : base(target)
    { }

    public WeakReference(T target, bool trackResurrection)
        : base(target, trackResurrection)
    { }

    public new T Target
    {
        get { return base.Target as T; }
        set { base.Target = value; }
    }
}

// weak referenced generic event handler
public class WeakEventHandler<TEventArgs> : WeakReference<EventHandler<TEventArgs>>
    where TEventArgs : EventArgs
{
    public WeakEventHandler(EventHandler<TEventArgs> target)
        : base(target)
    { }

    protected void Invoke(object sender, TEventArgs e)
    {
        if (Target != null)
        {
            Target(sender, e);
        }
    }

    public static implicit operator EventHandler<TEventArgs>(WeakEventHandler<TEventArgs> weakEventHandler)
    {
        if (weakEventHandler != null)
        {
            if (weakEventHandler.IsAlive)
            {
                return weakEventHandler.Invoke;
            }
        }

        return null;
    }
}

// weak reference common event handler
public class WeakEventHandler : WeakReference<EventHandler>
{
    public WeakEventHandler(EventHandler target)
        : base(target)
    { }

    protected void Invoke(object sender, EventArgs e)
    {
        if (Target != null)
        {
            Target(sender, e);
        }
    }

    public static implicit operator EventHandler(WeakEventHandler weakEventHandler)
    {
        if (weakEventHandler != null)
        {
            if (weakEventHandler.IsAlive)
            {
                return weakEventHandler.Invoke;
            }
        }

        return null;
    }
}

// observable class, fires events
public class Observable
{
    public Observable() { Console.WriteLine("new Observable()"); }
    ~Observable() { Console.WriteLine("~Observable()"); }

    public event EventHandler OnChange;

    protected virtual void DoOnChange()
    {
        EventHandler handler = OnChange;

        if (handler != null)
        {
            Console.WriteLine("DoOnChange()");
            handler(this, EventArgs.Empty);
        }
    }

    public void Change()
    {
        DoOnChange();
    }
}

// observer, event listener
public class Observer
{
    public Observer() { Console.WriteLine("new Observer()"); }
    ~Observer() { Console.WriteLine("~Observer()"); }

    public void OnChange(object sender, EventArgs e)
    {
        Console.WriteLine("-> Observer.OnChange({0}, {1})", sender, e);
    }
}

// sample usage and test code
public static class Program
{
    static void Main()
    {
        Observable subject = new Observable();
        Observer watcher = new Observer();

        Console.WriteLine("subscribe new WeakEventHandler()\n");
        subject.OnChange += new WeakEventHandler(watcher.OnChange);
        subject.Change();

        Console.WriteLine("\nObserver = null, GC");
        watcher = null;
        GC.Collect(0, GCCollectionMode.Forced);
        GC.WaitForPendingFinalizers();

        subject.Change();

        if (Debugger.IsAttached)
        {
            Console.Write("Press any key to continue . . . ");
            Console.ReadKey(true);
        }
    }
}

Создает следующий вывод:

new Observable()
new Observer()
subscribe new WeakEventHandler()

DoOnChange()
-> Observer.OnChange(ConsoleApplication4.Observable, System.EventArgs)

Observer = null, GC
~Observer()
DoOnChange()
~Observable()
Press any key to continue . . .

(Обратите внимание, что отмена подписки (- =) не работает)

Ответ 4

Следуя ответам Егора, я хотел попробовать построить версию, где мне не нужно было заранее определять, к какому событию я хочу подключиться.

Мне удалось заставить его работать с универсальными обработчиками событий: для "стандартных" обработчиков событий (например, FormClosingEventHandler) это немного сложно, потому что вы не можете иметь ограничение типа where T : delegate (если ваше имя заканчивается Пони).

private static void SetAnyGenericHandler<S, T>(
     Action<EventHandler<T>> add,     //to add event listener to publisher
     Action<EventHandler<T>> remove,  //to remove event listener from publisher
     S subscriber,                    //ref to subscriber (to pass to consume)
     Action<S, T> consume)            //called when event is raised*
         where T : EventArgs 
         where S : class
{
    var subscriber_weak_ref = new WeakReference(subscriber);
    EventHandler<T> handler = null;
    handler = delegate(object sender, T e)
    {
        var subscriber_strong_ref = subscriber_weak_ref.Target as S;
        if(subscriber_strong_ref != null)
        {
            Console.WriteLine("New event received by subscriber");
            consume(subscriber_strong_ref, e);
        }
        else
        {
            remove(handler);
            handler = null;
        }
    };
    add(handler);
}

(* Я попробовал EventHandler<T> consume здесь, но вызывающий код становится уродливым, потому что вам нужно отдать s подписчику в потребляемой лямбда.)

Пример кода вызова, взятый из приведенного выше примера:

SetAnyGenericHandler(
    h => publisher.EnabledChanged += h, 
    h => publisher.EnabledChanged -= h, 
    subscriber, 
    (Subscriber s, ValueEventArgs<bool> e) => s.Enabled = e.Value);

Или, если вы предпочитаете

SetAnyGenericHandler<Subscriber, ValueEventArgs<bool>>(
    h => publisher.EnabledChanged += h, 
    h => publisher.EnabledChanged -= h, 
    subscriber, 
    (s, e) => s.Enabled = e.Value);

Было бы неплохо иметь возможность передать Событие как только один параметр, но вы не можете получить доступ к добавлению/удалению из события больше, чем вы можете получить доступ к get/set из свойства (не делая yucky reflexion stuff, Я думаю).