为何GC执行回收后System::String的地址未发生变化？

问题分析与解释 #

你的测试代码中出现的现象，核心是对C++/CLI interior_ptr的指向逻辑、.NET GC压缩行为的误解，以下是具体拆解：

1. age成员地址变化的原因

pint2是指向CData对象中age成员的interior_ptr<int>。当第二个循环创建大量对象触发GC压缩时，存活的CData托管对象会被移动到托管堆的更紧凑区域，对象的整体内存地址发生改变。由于interior_ptr是GC跟踪指针，.NET运行时会自动更新pint2的值，使其指向age成员的新地址，因此第二次打印的pint2是新的堆地址，完全符合GC压缩的预期行为。

2. str成员地址未变化的原因

pint1是你声明的指向CData对象中str成员的interior_ptr<System::String^>，但你打印的pint1值并非托管堆上str成员的实际地址——而是栈上临时引用变量的地址。

在C++/CLI中，当访问托管对象的引用类型成员时，编译器会自动生成一个栈上的临时引用作为中间层，&d->str实际取的是这个临时栈引用的地址，而非托管堆中CData对象内部str成员的地址。栈内存不受GC压缩机制影响，因此两次打印的pint1值完全一致。

3. 非驻留字符串测试结果一致的原因

无论使用驻留字符串还是通过System::IO::File::ReadAllText读取的非驻留字符串，问题的核心都是str成员的访问被编译器优化为栈上临时引用，与字符串对象本身的存储位置无关，因此更换字符串来源不会改变现象。

验证方法（测试用） #

如果要正确获取托管堆上str成员的真实地址，可以通过以下方式手动计算（仅用于测试，生产代码不建议依赖内存布局）：

#include <stdio.h>
#using <System.dll>

ref class CData
{
public:
    System::String^ str;
    int age;

    CData(System::String^% string)
    {
        str = string;
    }
};

int main()
{
    for (int i = 0; i < 10000000; i++)
        gcnew CData(i.ToString());

    System::String^ str1 = L"TestString";
    CData^ d = gcnew CData(str1);
    d->age = 100;

    // 获取CData对象的真实堆地址
    System::Runtime::InteropServices::GCHandle handle = System::Runtime::InteropServices::GCHandle::Alloc(d);
    System::IntPtr objAddr = handle.AddrOfPinnedObject();
    // 计算str成员的偏移量（假设str是第一个成员，偏移量为0）
    interior_ptr<System::String^> realStrPtr = reinterpret_cast<interior_ptr<System::String^>>(objAddr.ToPointer());
    // 获取age成员的真实地址（偏移量为指针大小，x86下为4字节）
    interior_ptr<int> realAgePtr = reinterpret_cast<interior_ptr<int>>(reinterpret_cast<char*>(objAddr.ToPointer()) + sizeof(System::String^));

    printf("Real str addr: %p  Real age addr: %p\r\n", realStrPtr, realAgePtr);

    for (int i = 0; i < 10000000; i++)
        gcnew CData(i.ToString());

    // 重新获取对象地址并计算成员地址
    objAddr = handle.AddrOfPinnedObject();
    realStrPtr = reinterpret_cast<interior_ptr<System::String^>>(objAddr.ToPointer());
    realAgePtr = reinterpret_cast<interior_ptr<int>>(reinterpret_cast<char*>(objAddr.ToPointer()) + sizeof(System::String^));

    printf("Real str addr: %p  Real age addr: %p\r\n", realStrPtr, realAgePtr);
        
    handle.Free();
    return 0;
}

运行后你会看到，str和age成员的真实堆地址都会随着GC压缩发生变化，符合预期。

内容的提问来源于stack exchange，提问作者Marshall Lighter