C# 11，复制 system.action

Question

file class C
{
    public int IntField1;
}

file struct S
{
    public int IntField1;
}

file class StructureVsClassWhenCopying
{
    private static void v1()
    {
        System.Console.WriteLine("v1");
    }

    private static void v2()
    {
        System.Console.WriteLine("v2");
    }

    public static void Main()
    {
        C c1 = new();
        c1.IntField1 = 1;
        C c2 = c1;
        c1.IntField1 = 2;
        System.Console.WriteLine(c2.IntField1); // 2, because class is a reference-type

        S s1 = new();
        s1.IntField1 = 1;
        S s2 = s1;
        s1.IntField1 = 2;
        System.Console.WriteLine(s2.IntField1); // 1, because struct is a value type

        string str1 = "old string";
        string str2 = str1;
        str1 = "new string";
        System.Console.WriteLine(str2); // old string, because string is immutable

        System.Action a1 = v1;
        System.Action a2 = a1;
        a1 -= v1;
        a1 += v2;
        a2.Invoke(); //v1. Why?
    }
}

我想知道引用和值类型的复制。我已经通过类（引用类型）、结构（值类型）和字符串（也是引用类型，但不可变）理解了这个示例。但是委托也是引用类型，为什么它们表现得像结构和字符串？

Answer 1

将 a1 分配给 a2 意味着您正在复制 a1 中包含的引用，这是对 v1 的引用。 a2 绝不会包含对 a1 的引用。所以改变a1没有效果。

System.Action a1 = v1;  //a1 points to the v1 method
System.Action a2 = a1;  //a2 now points to the v1 method too
a1 -= v1;               //a1 points nowhere
a1 += v2;               //a1 now points at the v2 method
a2.Invoke();            //a2 still points at the v1 method

Answer 2

因为代表有他们自己的逻辑。他们是多播代表。您可以将它们视为委托数组。即，您可以添加多个代表。每次添加或删除委托时，您都会得到一个新实例这个数组的回报。这确保了多线程场景中的正确行为。

例如

System.Action a1 = v1;
a1 += v2;
a1(); ==> Prints "v1" and "v2";