.NET6下C++/CLI应用GCHandle分配致变量内存被覆盖

问题原因 #

1. .NET6对C++/CLI全局托管值类型的内存管理变更：GCHandle是托管值类型，本质是一个整数类型的句柄。在.NET6中，运行时对全局作用域内的托管值类型变量的存储机制做了调整，当全局作用域同时存在托管值类型（GCHandle）和非托管原生类型（bool UnexpectedValueChange）时，运行时初始化或操作托管值类型的过程会错误覆写相邻的非托管变量内存，导致UnexpectedValueChange的值被意外修改。
2. 调试器无法识别全局GCHandle的佐证：全局GCHandle无法被调试器解析，说明该变量的内存并未被托管运行时正确纳入管理范畴，进一步验证了全局托管值类型在.NET6下的内存布局存在问题。

解决方案 #

方案1：将GCHandle移至类内部（推荐） #

把GCHandle作为Wrapper类的成员变量（实例或静态成员均可），让托管运行时在类的内存空间内正确管理该变量，避免与全局非托管变量产生内存冲突。这也是测试验证有效的方案，修改后的代码示例：

#include <iostream>

namespace wrapper_namespace
{
    bool UnexpectedValueChange = false;
    delegate void ConverterProgressCallbackDelegate(double progress, int phase);

    public ref class Wrapper
    {
        // 将GCHandle改为类成员
        System::Runtime::InteropServices::GCHandle Handle;
    public:

        static void CallbackFunction(double d, int i)
        {
            return;
        }

        void CallToWrapper()
        {
            auto callback = gcnew ConverterProgressCallbackDelegate(CallbackFunction);
            SetRestoreProgressCallback(callback);
        }

        void SetRestoreProgressCallback(ConverterProgressCallbackDelegate^ progressCallBackFunction)
        {
            std::cout << "Value of bool before alloc: " << UnexpectedValueChange << std::endl;
            Handle = System::Runtime::InteropServices::GCHandle::Alloc(progressCallBackFunction);
            std::cout << "Value of bool after alloc: " << UnexpectedValueChange << std::endl;
        }
    };
}

方案2：用托管引用类型包装全局GCHandle（若必须保留全局逻辑） #

如果业务场景需要全局持有GCHandle，可以将其封装在一个托管引用类型中，避免直接在全局作用域声明托管值类型：

#include <iostream>

namespace wrapper_namespace
{
    bool UnexpectedValueChange = false;
    delegate void ConverterProgressCallbackDelegate(double progress, int phase);

    // 用托管类包装GCHandle
    ref class GlobalHandleHolder
    {
    public:
        System::Runtime::InteropServices::GCHandle Handle;
    };

    // 声明全局的托管引用类型实例
    GlobalHandleHolder^ GlobalHandle = gcnew GlobalHandleHolder();

    public ref class Wrapper
    {
    public:

        static void CallbackFunction(double d, int i)
        {
            return;
        }

        void CallToWrapper()
        {
            auto callback = gcnew ConverterProgressCallbackDelegate(CallbackFunction);
            SetRestoreProgressCallback(callback);
        }

        void SetRestoreProgressCallback(ConverterProgressCallbackDelegate^ progressCallBackFunction)
        {
            std::cout << "Value of bool before alloc: " << UnexpectedValueChange << std::endl;
            GlobalHandle->Handle = System::Runtime::InteropServices::GCHandle::Alloc(progressCallBackFunction);
            std::cout << "Value of bool after alloc: " << UnexpectedValueChange << std::endl;
        }
    };
}

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