对于C#中b=a的N种情况分析

      本文旨在验证一个容易混淆的概念，从而为《玩转WPF/Silverlight中INotifyPropertyChanged和ObservableCollection》做铺垫。

      两个相同类型的变量a和b，并且有如下关系： 

      b = a;

      如果a发生改变，b是否也发生改变呢？

      情况很复杂，分以下几种情况谈论：

      1） 单个实体

            1. 简单类型

            先考察int：

            int a = 1;
            int b = a;

            a = 2;
            Console.WriteLine("b: " + b);

            输出结果：

           

            再考察一下string：

            string a = "1";
            string b = a;

            a = "2";
            Console.WriteLine("b: " + b);

            输出结果：

           

            如果不放心，还可以测试一下Enum，结果类似，详见Demo。

            结论：简单类型是组成复合类型的最基本单位，是原子，不可再拆分，所以不管是值类型double、int还是引用类型string，b都不随a的改变而改变，因为它们指向全局堆栈（对于string而言是托管堆）上的同一个地址。

            2. 复合类型

            复合类型是由string、int、double这些简单类型组成的。

            分别定义一个复合的引用类型（class）和一个复合的值类型（struct）。 

        class UserInfo
        {
            public string UserName;
            public int Age;
        }

        struct UserInfo2
        {
            public string UserName;
            public int Age;
        }

            先讨论引用类型： 

            UserInfo a = new UserInfo() { UserName = "Baobao", Age = 27 };
            UserInfo b = a;

            a.UserName = "AndersLiu";
            a.Age = 30;

            Console.WriteLine("b.UserName: " + b.UserName);
            Console.WriteLine("b.Age: " + b.Age);

            输出结果：

           

            结论：b和a仍然指向托管堆上的同一个UserInfo实例的地址。而UserInfo实例的成员又包含着UserName和Age分别在托管堆和全局堆栈上的地址。所以修改a的成员UserName和Age，只是改变这两个成员的地址，而没有改变UserInfo实例的地址，所以b的成员UserName和Age也会跟着改变。

            让我们局部修改上面的代码：

            UserInfo a = new UserInfo() { UserName = "Baobao", Age = 27 };

            UserInfo b = a;

            //a.UserName = "AndersLiu";
            //a.Age = 30;

            a = new UserInfo() { UserName = "AndersLiu", Age = 30 };

            Console.WriteLine("b.UserName: " + b.UserName);
            Console.WriteLine("b.Age: " + b.Age);

            输出结果：

           

            结论：对a重新进行实例化，导致a指向一个新的UserInfo实例的地址。而b仍然指向原先那个UserInfo实例的地址，所以b不会随着a的改变而改变。从此b和a是两个没有任何关系的变量。

            再来看一下值类型： 

            UserInfo2 a = new UserInfo2() { UserName = "Baobao", Age = 27 };

            UserInfo2 b = a;

            a.UserName = "AndersLiu";
            a.Age = 30;

            Console.WriteLine("b.UserName: " + b.UserName);
            Console.WriteLine("b.Age: " + b.Age);

            输出结果：

           

            结论：问题集中在b=a这句话上。这时b指向的是a的一份copy，指向全局堆栈上的与a不同的地址。所以b和a是没有任何关系的，b不随a的改变而改变。

      2） 集合

            1.集合中一笔数据的增删修改。

            List<UserInfo> a = new List<UserInfo>();

            List<UserInfo> b = a;

            a.Add(new UserInfo() { UserName = "Baobao", Age = 27 });

            Console.WriteLine("b.Count after adding: " + b.Count);
            Console.WriteLine();
            Console.WriteLine("After modifying a[0]");

            a[0].UserName = "AndersLiu";
            a[0].Age = 30;

            Console.WriteLine("b[0].UserName: " + b[0].UserName);
            Console.WriteLine("b[0].Age: " + b[0].Age);
            Console.WriteLine();

            a.Remove(a[0]);

            Console.WriteLine("b.Count after deleting: " + b.Count);

            输出结果：

           

            结论：b随着a中数据增减修改而变化。因为b和a指向托管堆上同一个List<UserInfo>实例的内存地址，这和复合类型是一样的。

      数组就不说了，可以看作是多个变量的集合，所以按照集合来处理。写了几段测试代码，放在Demo中。

      示例代码下载：TestEqual.zip