by ref 参数是否保证变量保持在内存中的当前位置？

Question

I know what passing by ref is and what it means，但是 ref 传递的对象到底发生了什么？是否保证在使用引用时对象保持在内存中的当前位置？

变量是否是局部变量有区别吗？

我最感兴趣的是内存中发生的事情。

一些背景信息： 我编写了一个简单的测试程序，它存储 ref 传递的对象的内存地址，并注意到 C# 喜欢在内存中移动对象。但我认为奇怪的是，所使用的对象是函数的局部变量。这自动让我认为对象的引用不能在内存中移动，因为它在堆栈上。但显然我错过了一些东西。使用 ref 时我收到了什么样的内存？

Answer 1

我们来看一个例子：

static void callee(ref int y) { ... }

static void caller() 
{
    int x = 3;
    callee(x);
}

它到底对 ref 传递的对象做了什么？

对象没有任何反应。通过 ref 传递参数会创建一个别名，这意味着x 和y 引用了相同的 存储位置。

是否保证对象在使用引用时保持在内存中的当前位置？

不，不能保证对象将保留在内存中的同一位置。 CLR 的特定实现可能会决定不移动某些对象，但它会自行决定是否这样做。你对此没有任何保证。您只能保证x 和y 始终引用相同的存储位置。

如果需要修复内存中的存储位置，请使用 C# fixed Statement。

我最感兴趣的是内存中发生的事情。

这是您正在使用的特定 C# 运行时的实现细节。合约很简单：如果你使用fixed，保证内存中的位置是固定的。如果你不这样做，那就不是。