使用GCHandle.Alloc(this)固定托管对象是否符合规范？

你的实现不合法，核心问题出在将值类型（struct MyType）的this传入GCHandle.Alloc的行为上，具体原因如下：

1. 值类型的装箱陷阱 #

MyType是值类型（struct），当你在构造函数中调用GCHandle.Alloc(this, GCHandleType.Pinned)时，由于GCHandle.Alloc的参数是object类型，当前值类型实例会被自动装箱——即创建一个引用类型的包装对象来存储这个值类型实例。你固定的是这个装箱后的引用对象，而不是原始的MyType值类型实例。

GCHandle.AddrOfPinnedObject()返回的是装箱对象的堆地址，而非你实际使用的MyType实例地址。这会导致：

• 后续修改MyType的字段时，修改的是原始值类型实例，而原生库回调通过指针访问的是装箱对象里的副本，数据完全不同步。
• 如果MyType实例存储在栈上（比如局部变量），原始实例销毁后，装箱对象仍被固定在堆上，但两者数据无关联，逻辑彻底混乱。

2. 其他潜在问题 #

• 值类型实现IDisposable本身是允许的，但你的Dispose方法释放的是装箱对象的GCHandle，和原始MyType实例没有直接关系，资源释放逻辑不匹配。
• 若MyType被作为字段嵌入其他对象中，原始实例的地址可能随宿主对象的GC移动而变化（但你固定的是装箱对象，还是会出现数据不一致）。

正确的实现思路 #

方案1：将MyType改为引用类型（class） #

把struct改成class后，this就是引用类型实例，GCHandle.Alloc(this, GCHandleType.Pinned)会直接固定该实例的堆地址，指针指向的就是对象本身，回调时可以正确访问所有字段：

class MyType : IDisposable {
    GCHandle handle;
    MyType* thisInstance;

    public MyType() {
        handle = GCHandle.Alloc(this, GCHandleType.Pinned);
        thisInstance = (MyType*)GCHandle.AddrOfPinnedObject();
        LibraryType t = ...
        t.setUserData(thisInstance);
    }

    public void Dispose() {
        thisInstance = null;
        if (handle.IsAllocated)
            handle.Free();
    }
}

方案2：用引用类型包装值类型（如果必须保留struct） #

如果业务上必须使用值类型，可以把它包装在一个引用类型容器中，固定容器的地址：

struct MyValueType {
    // 你的值类型字段
}

class MyTypeWrapper : IDisposable {
    GCHandle handle;
    MyValueType* valuePtr;
    public MyValueType Value;

    public MyTypeWrapper() {
        handle = GCHandle.Alloc(this, GCHandleType.Pinned);
        unsafe {
            valuePtr = &this.Value;
        }
        LibraryType t = ...
        t.setUserData(valuePtr);
    }

    public void Dispose() {
        valuePtr = null;
        if (handle.IsAllocated)
            handle.Free();
    }
}

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