C#通过P/Invoke调用C++返回自定义结构体函数时参数异常

核心触发点：C++ 非平凡结构体的隐藏返回指针参数 #

所有参数偏移问题的根源，来自 MSVC 编译器对非 POD（平凡可布局）类型的返回值特殊处理规则：

• C++ 侧定义的 NumberContainer 带有自定义构造函数，不属于标准 POD 类型。按照 MSVC 调用约定规则，当函数返回这种非平凡结构体时，编译器会隐式在函数参数列表最左侧插入一个隐藏的指针参数，指向调用方预留的返回值内存位置，不会按常规值类型直接在寄存器/固定栈位置返回结构体内容。
• 此时 C++ 编译器视角下的 Compose 真实签名已经变为：
  NumberContainer* __cdecl Compose(NumberContainer* hiddenReturnPtr, signed long signedInput, unsigned long unsignedInput)
  C# 侧完全感知不到这个隐藏参数的存在，仍然按照原本的两参数签名压栈传值，直接导致栈上的参数对应关系整体偏移一个指针宽度：
  • C++ 侧读取第一个业务参数（signedInput）的栈位置，实际拿到的是 C# 压入的第二个参数 unsignedInput=5
  • C++ 侧读取第二个业务参数（unsignedInput）的栈位置，实际拿到的是栈上无意义的随机残留内存值
  • 栈上的残留值会随调用顺序、栈帧变化发生改变，完全匹配“调整调用顺序后第二个参数值变为其他随机数”的调试现象。
• Add 函数运行正常的原因很直接：Add 返回基本数值类型，不存在非平凡返回类型的隐藏参数偏移，C# 与 C++ 两侧的签名、压栈顺序完全对齐，因此可以正确接收参数。

调用约定修改无效的原因 #

无论将 C++ 侧的调用约定调整为 __cdecl 还是 __stdcall，只要返回类型仍为非平凡结构体，MSVC 插入隐藏返回指针的规则就不会改变，栈参数的整体偏移问题会持续存在，因此无法从根本上解决问题。

写访问违规异常的来源 #

该异常是上述参数偏移的连锁反应：C++ 侧拿到的隐藏返回指针是从栈上读取到的非法地址，函数执行时会试图将结构体内容写入这个非法地址，直接触发写权限违规，和 C# 侧不可变结构体的构造逻辑没有直接关联。

修复方案 #

• 从跨语言 ABI 兼容性出发，将 C++ 侧的 NumberContainer 修改为标准 POD 类型：移除自定义构造函数，所有字段设为公共无修饰符，不添加任何自定义构造、析构、业务逻辑，让 MSVC 编译器识别其为可直接按值返回的平凡类型，不再插入隐藏返回指针。
• 匹配两侧类型宽度：Windows 平台下 MSVC 编译产物中的 long 始终为 4 字节（无论 32/64 位），与 C# 侧的 int/uint 宽度完全一致，无需调整类型宽度。
• 调整 C# 侧结构体定义，保持纯字段顺序布局，匹配 C++ 侧的内存结构，避免内存对齐错位。

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