使用“固定”对于指针声明

Question

我正在阅读一些代码，其中一部分是：

    public static unsafe byte[] GetBytes(uint value, bool BigEndian)
    {
        byte[] buff = new byte[4];
        fixed (byte* pbyte = buff)*((uint*)pbyte) = value;
        if (BigEndian)
            buff.EndianConvert();
        return buff;
    }

我知道它只是将单元位置的四个字节放入字节数组中，但我不清楚如何操作。

我的理解是：

(byte* pbyte = buff)

创建并返回一个字节指针pbyte，它指向buff的地址，

(uint*)pbyte

将pbyte的地址转换为uint指针？

但我不明白其余的部分。 fixed 关键字有什么用？为什么不能这样做：

(byte* pbyte = buff) = (byte*)value;

Answer 1

其他人已经解释了固定的概念，但我认为让您感到困惑的是它都在一条线上这一事实。

fixed (byte* pbyte = buff)*((uint*)pbyte) = value;

相当于：

fixed (byte* pbyte = buff)
{
    *((uint*)pbyte) = value;
}

就像这样：

if(someCondition) DoSomething();

相当于：

if(someCondition)
{
    DoSomething();
}

这样就清楚了吗？现在应该很明显，第一部分是变量和关联块的声明，第二部分是赋值。

Answer 2

fixed 语句可防止垃圾收集器重新定位可移动变量。如果您忽略它，您的地址可能会发生更改，并且您会收到错误消息。

Answer 3

您不能只获取数组的地址，因为它是由垃圾收集器管理的，这意味着它在内存中的位置可以随时更改。 fixed 关键字在其作用域的持续时间内将数组固定在适当的位置，允许数组的四个字节由（4 字节）uint 值填充。

Answer 4

在 CLR GC进程，对于普通GC堆对象（除了LOH)，GC 将标记并将仍然存活的对象移动到下一代（此操作也称为升级）。当提升对象A时，GC会将对象A的地址从addr-old修改为addr-new，然后更新所有引用该对象的对象的关系。

例如，对象A被对象B和对象C引用。这意味着对象B有一个指向对象A的指针，对象C也有一个指向对象A的指针。那么，在提升阶段，地址对象A的addr-old会变成addr-new，那么GC也会修改对象B和对象C的引用指针值。修改后，对象B和C拥有正确的指针，现在仍然指向A 。

执行“byte* pbyte = buff”行后，pbyte有一个指向对象“buff”的指针，假设pbyte地址是0x12345678（这也意味着buff地址是0x12345678）。现在，GC发生了，对象“buff”将被提升为新一代，这意味着对象“buff”将拥有新的内存地址，例如“0x55555555”。但是，“pbyte”是一个本机（非托管）对象，并且 CLR 不知道如何维护其生命周期，因此，虽然 pbyte 与 buff 有关系，但是CLR无法将pbyte地址从0x12345678更改为0x55555555，指针“pbyte”仍然指向地址0x12345678，但该地址不属于对象“增益”；指针“pbyte”现在是一个坏指针。

“fixed”语句将确保托管对象“buff”不会被提升。这也意味着它不会从这里移到那里。