将包含类实例的结构的变量分配给另一个变量

Question

以我的理解，将结构的变量分配给相同类型的另一个变量将产生一个副本。 但是，此规则似乎如下图所示。 你能解释为什么会这样吗？

using System;

namespace ReferenceInValue
{
    class Inner
    {
        public int data;
        public Inner(int data) { this.data = data; }
    }

    struct Outer
    {
        public Inner inner;
        public Outer(int data) { this.inner = new Inner(data); }
    }

    class Program
    {
        static void Main(string[] args)
        {
            Outer p1 = new Outer(1);
            Outer p2 = p1;
            Console.WriteLine("p1:{0}, p2:{1}", p1.inner.data, p2.inner.data);


            p1.inner.data = 2;
            Console.WriteLine("p1:{0}, p2:{1}", p1.inner.data, p2.inner.data);


            p2.inner.data = 3;
            Console.WriteLine("p1:{0}, p2:{1}", p1.inner.data, p2.inner.data);

            Console.ReadKey();
        }
    }
}

Answer 1

您回答了该主题的问题。

您的结构包含一个引用，当该结构被复制时，它将被复制为一块内存，包括引用（而不是被引用的对象），就像该引用是整数或其他基元一样。

复制结构不会导致克隆。

实际上，在结构中放置引用不是一个好主意，应该避免。 不变的引用对象（例如字符串）是一个例外，它们不能被修改，因此可以安全地放置在结构中，因为它们不能被修改，但是您仍然会失去局部内存。

请记住，值类型存储在其定义范围内，引用类型始终存储在堆中，而引用则存储在其定义范围内。

Answer 2

除了其他人所说的之外：如果您需要说服p1.inner和p2.inner确实指向同一个类实例，则可以运行如下代码：

Console.WriteLine("ReferenceEquals:{0}", object.ReferenceEquals(p1.inner, p2.inner));

如果您在“外部p2 = p1;”行之后的任何时间运行此命令，它将始终写入：“ ReferenceEquals：True”。

Answer 3

P1和P2都指向一个类型为Inner对象。这就是为什么值相同的原因。

struct Outer
{
   public Inner inner;
   public Outer(int data) { this.inner = new Inner(data); }

   public Clone() { return new Outer(this.inner.data); }
}

现在尝试使用如下代码：

...
 p2 = p1.Clone();