奇怪的行为与动作,局部变量和垃圾收集在MVVM轻信使

本文关键字:信使 MVVM 局部变量 | 更新日期: 2023-09-27 17:52:37

我在MVVM Light中的Messenger系统有一个非常奇怪的问题。这很难解释,所以下面是演示这个问题的小程序:

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接收第二条消息。然而,这只是隐藏了问题,因为在实际的程序中,垃圾回收器最终会自动运行。

为什么会发生这种情况?我假设,如果接收方操作从它包含的方法范围引用一个变量,它会将操作的生命周期与该范围联系起来,以便一旦超出该范围,它就可以被垃圾收集。我完全不明白这是为什么。我也不明白为什么不从它们定义的范围引用变量的操作没有这个问题。

谁能解释一下这是怎么回事?

奇怪的行为与动作,局部变量和垃圾收集在MVVM轻信使

好了,我现在明白为什么会这样了(反正我相信)。我以使用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);
    }
}
基本上,消息传递器只保留对消息处理程序的弱引用。(对收信人也是如此,但这不是问题。)更具体地说,它似乎对处理程序的目标对象有一个弱引用。它似乎并不关心委托对象本身,但目标很重要。所以在上面的代码中,当你保留一个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");
}

这里它是一个static方法,所以根本没有委托目标。如果委托捕获this,它将作为实例方法生成。但重要的一点是,没有必要生成一个额外的类……所以没有什么可以被垃圾收集。

我还没有仔细研究MvvmLight是如何做到这一点的——是否只是得到了对委托的弱引用,并且CLR以某种特殊的方式处理它,或者MvvmLight是否将目标与委托本身分开。不管怎样,我希望这能解释你所看到的行为。关于如何解决你在实际代码中看到的任何问题,基本上你需要确保你对你需要的任何委托目标保持强引用。

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

我同意,这个程序的行为确实很奇怪。

我自己试过了,正如你已经发现的,这个问题在某种程度上与这一行有关:

var x = target;

我不知道为什么这一行会引起任何麻烦,但你可以考虑这个解决方案:

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(target, (Message msg) =>
            {
                Console.WriteLine(msg.Name + " received by A");
                var x = msg.Target;
            });
        }
        public void RegisterMessageB(object target)
        {
            Messenger.Default.Register(target, (Message msg) =>
            {
                Console.WriteLine(msg.Name + " received by B");
            });
        }
        public void SendMessage(string name)
        {
            Messenger.Default.Send(new Message { Name = name });
        }
        class Message : MessageBase //part of the MVVM Light framework
        {
            public string Name { get; set; }
        }
    }

MessageBase是MVVM轻量级框架中的一个类,它提供了从消息本身检索目标的可能性。

但我不确定这是否是你想要达到的…