装箱与拆箱

Question

我最近遇到的另一个 C# 面试问题是我是否知道装箱和拆箱是什么。 我解释过，值类型位于堆栈上，引用类型位于堆上。 当一个值被转换为引用类型时，我们称之为装箱，反之亦然。

然后他让我算一下：

int i = 20;
object j = i;
j = 50;

i 是什么？

我搞砸了，说的是 50，实际上是 20。现在我想明白为什么了，但是当我玩不同的组合时，我很惊讶地看到这一点：

Object a = 1; // Boxing
Object b = a; // referencing the pointer on stack to both objects on heap
a = 2; // Boxing

我期待看到 b == 2 也是，但事实并非如此，为什么？ 是因为第二次装箱破坏并替换了堆上的整个a对象吗？

因为如果我这样做，那就没问题：

public class TT
{
    public int x;
}

TT t = new TT();
t.x = 1;
TT t2 = new TT();
t2.x = 2;
t = t2;
t.x = 3;

t2.x 是什么？ 应该是3，确实如此。 但这根本不是装箱/拆箱的示例，这是正确的吗？ 那么你会如何总结这一点呢？

装箱/拆箱转换中的值是否会变得与上述相同？

Answer 1

非常简短：装箱意味着创建引用类型的新实例。 如果您知道这一点，您就会明白创建另一个实例不会改变一个实例。

您对 a = 2 所做的并不是更改“框中”中的值，而是创建引用类型的新实例。 那么为什么还要改变其他事情呢？

Answer 2

1. 你是对的，第二个作业取代了第一个作业。 它不会更改装箱值。

2. 您的示例没有使用拳击。 值 (int) 存储为 int 且未装箱。

3. 不，拳击仍然保持不变性保证。

Answer 3

我也期待看到 b == 2，
但事实并非如此，为什么？ 是因为
第二次拳击摧毁并取代
堆上的整个 (a) 对象？

不，不完全是。 它将对象保留在堆上（因为 b 变量也引用它），并为新值创建一个新对象，a 变量将引用该对象。

你是对的，你的第二个例子没有使用拳击。 除了拆箱之外，您无法以任何其他方式访问装箱的值，因此无法更改装箱的值。

即使像 Point 这样的可变结构在装箱时也无法更改。 要访问结构体的属性，您必须将其拆箱，这样您就无法就地更改装箱的结构体。

Answer 4

这是支持 Stefan 评论的另一个有趣的变体：

        int i = 2;
        object a = i; // Boxing
        object b = a; // Referencing same address on heap as 'a', b == a

        b = i; // New boxing on heap with reference new address, b != a

Answer 5

b 仍然是 1，因为 b 是仍然指向堆上值为 1 的对象的引用。a 是 2，因为您将它分配给堆上值为 2 的新对象。t2.x

是 3，因为t 和 t2 是对堆上同一对象的两个不同引用。

Answer 6

我认为您的拆箱问题的答案是：拆箱转换的结果是一个临时变量（更多详细信息：链接)。

我认为您正在尝试执行以下操作：

object a = new Point(10,10);
object b = new Point(20,20);
a = b;

((Point) b).X = 30; //after this operation also a.X should be 30

上述代码无法编译 - 详细信息在上面的链接中，我认为这就是您问题的答案：

我也期待看到 b == 2，
但事实并非如此，为什么？ 是因为
第二次拳击摧毁并取代
堆上的整个 (a) 对象？