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

Question

我对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收到第二条消息。 但是，这只隐藏了这个问题，因为在真正的程序中，垃圾收集器最终会自动运行。

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

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

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 。 我不知道这种行为是否是预期的行为（作者），但那是负责的代码:)

Answer 2

我同意，这个程序的行为真的很奇怪。

我自己尝试了，因为你已经发现问题与这一行有某种关系：

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 Light Framework中的一个类，它提供了从消息本身检索目标的可能性。

但我不确定这是否是你想要实现的目标......