MVVM light Messenger中的操作,局部变量和垃圾收集的奇怪行为

Question

我Messenger对MVVM Light中的系统有一个非常奇怪的问题.这很难解释,所以这里有一个小程序来演示这个问题:

using System;
using GalaSoft.MvvmLight.Messaging;

namespace TestApp
{
    class Program
    {
        static void Main(string[] args)
        {
            var prog = new Program();
            var recipient = new object();

            prog.RegisterMessageA(recipient);
            prog.RegisterMessageB(recipient);

            prog.SendMessage("First Message");
            GC.Collect();
            prog.SendMessage("Second Message");
        }

        public void RegisterMessageA(object target)
        {
            Messenger.Default.Register(this, (Message msg) =>
            {
                Console.WriteLine(msg.Name + " recieved by A");
                var x = target;
            });
        }

        public void RegisterMessageB(object target)
        {
            Messenger.Default.Register(this, (Message msg) =>
            {
                Console.WriteLine(msg.Name + " received by B");
            });
        }

        public void SendMessage(string name)
        {
            Messenger.Default.Send(new Message { Name = name });
        }

        class Message
        {
            public string Name { get; set; }
        }
    }
}

如果您运行该应用程序,这是控制台输出:

First Message recieved by A
First Message received by B
Second Message received by B

如您所见,收件人A从未收到第二条消息.但是,B和A之间的唯一区别是一行:语句var x = target;.如果删除此行,则会A收到第二条消息.

此外,如果您删除GC.Collect();然后A收到第二条消息.但是,这只隐藏了这个问题,因为在真正的程序中,垃圾收集器最终会自动运行.

为什么会这样？我假设不知何故,如果收件人操作引用了包含方法范围的变量,它会将操作的生命周期与该范围联系起来,这样一旦超出范围,就可以进行垃圾收集.我不明白为什么会这样.我也不明白为什么没有从它们定义的范围引用变量的动作没有这个问题.

谁能解释一下这里发生了什么？

Answer 1

好吧,我现在明白为什么会这样(我相信,无论如何).我以较短的形式复制了它,不使用lambda表达式,然后我将解释为什么lambda是重要的.

using System;
using GalaSoft.MvvmLight.Messaging;

class Program
{
    static void Main(string[] args)
    {
        Receiver r1 = new Receiver("r1");
        Receiver r2 = new Receiver("r2");
        var recipient = new object();

        Messenger.Default.Register<object>(recipient, r1).ShowMessage;
        Messenger.Default.Register<object>(recipient, r2).ShowMessage;

        GC.Collect();
        Messenger.Default.Send(recipient, null);
        // Uncomment one of these to see the relevant message...
        // GC.KeepAlive(r1);
        // GC.KeepAlive(r2);
    }
}

class Receiver
{
    private string name;

    public Receiver(string name)
    {
        this.name = name;
    }

    public void ShowMessage(object message)
    {
        Console.WriteLine("message received by {0}", name);
    }
}

基本上,messenger只保留对消息处理程序的弱引用.(也是收件人,但这不是问题.)更具体地说,它似乎对处理程序的目标对象有一个弱引用.它似乎并不关心委托对象本身,但目标很重要.因此,在上面的代码中,当您保持Receiver 对象处于活动状态时,仍然使用将该对象作为目标的委托.但是,当允许对目标进行垃圾回收时,不使用使用该对象的处理程序.

现在让我们来看看你的两个处理程序:

public void RegisterMessageA(object target)
{
    Messenger.Default.Register(target, (Message msg) =>
    {
        Console.WriteLine(msg.Name + " received by A");
        var x = target;
    });
}

这个lambda表达式捕获的target参数.为了捕获它,编译器生成一个新类 - 所以RegisterMessageA有效:

public void RegisterMessageA(object target)
{
    GeneratedClass x = new GeneratedClass();
    x.target = target;
    Messenger.Default.Register(x.target, x.Method);
}

private class GeneratedClass
{
    public object target;

    public void Method(Message msg)
    {
        Console.WriteLine(msg.Name + " received by A");
        var x = target;
    }
}

现在,只有委托才能保持GeneratedClass活着的实例.与你的第二个处理程序比较:

public void RegisterMessageB(object target)
{
    Messenger.Default.Register(target, (Message msg) =>
    {
        Console.WriteLine(msg.Name + " received by B");
    });
}

这里没有捕获的变量,所以编译器生成的代码有点像这样:

public void RegisterMessageB(object target)
{
    Messenger.Default.Register(target, RegisterMessageB_Lambda);
}

private static void RegisterMessageB_Lambda(Message msg)
{
    Console.WriteLine(msg.Name + " received by B");
}

这是一个静态方法,因此根本没有委托目标.如果捕获了委托this,则它将作为实例方法生成.但重要的是,没有必要生成一个额外的类...所以没有什么是垃圾收集.

我没有仔细研究过MvvmLight是如何做到的 - 它是否只是对委托的弱引用,以及CLR以某种特殊方式处理它,或者MvvmLight是否将目标与委托本身分开.无论哪种方式,我希望这能解释你所看到的行为.在如何解决您使用真实代码看到的任何问题方面- 基本上您需要确保对所需的任何委托目标保持强有力的引用.

编辑:好的,它看起来像是由于它WeakActionGeneric和它的基类WeakAction.我不知道这种行为是否是预期的行为(作者),但那是负责的代码:)