布局图1. 问题现象与背景分析
最近在开发一个C#与C++混合编程项目时，遇到了一个令人头疼的内存访问异常。具体场景是：在C#端通过P/Invoke调用C++编写的非托管DLL时，当传递结构体数组作为参数时，系统抛出"System.AccessViolationException: 尝试读取或写入受保护的内存。这通常指示其他内存已损坏"的错误。
这个错误通常发生在以下几种情况：
- 内存指针越界访问
- 对已释放的内存进行操作
- 内存对齐问题
- 托管与非托管代码间的数据封送(Marshaling)处理不当
在我们的案例中，问题特别出现在处理结构体数组的封送时。C++端的函数签名类似于：
cpp复制__declspec(dllexport) void ProcessStructArray(MyStruct* structArray, int count);
而C#端的调用代码类似：
csharp复制[DllImport("NativeLib.dll")]
static extern void ProcessStructArray(MyStruct[] structs, int count);
// 调用时
MyStruct[] array = new MyStruct[10];
ProcessStructArray(array, array.Length); // 这里抛出AccessViolationException
需要模型API调用？ 免费领10W Token，多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 结构体封送的核心原理
2.1 托管与非托管内存模型差异
托管代码(C#)和非托管代码(C++)的内存管理方式有本质区别：
- 托管内存由CLR自动管理，包含垃圾回收机制
- 非托管内存需要手动分配和释放
- 结构体在内存中的布局可能不同（对齐方式、字段顺序等）
当数据在托管和非托管代码间传递时，CLR需要通过"封送处理"(Marshaling)在两边建立桥梁。对于结构体数组，这个过程尤为复杂，因为涉及：
- 数组元素的连续内存布局
- 每个元素内部字段的内存对齐
- 数组长度的传递方式
2.2 结构体定义的一致性要求
确保C#和C++端的结构体定义完全一致是避免问题的第一步。常见问题包括：
- 字段顺序不一致
- 数据类型不匹配（如C++的int可能是4字节，而C#的int固定为4字节）
- 缺少必要的对齐属性
正确的做法是在两边使用完全相同的布局，例如：
C++端：
cpp复制#pragma pack(push, 4)
struct MyStruct {
int id;
float value;
char name[32];
};
#pragma pack(pop)
C#端：
csharp复制[StructLayout(LayoutKind.Sequential, Pack = 4)]
public struct MyStruct {
public int id;
public float value;
[MarshalAs(UnmanagedType.ByValTStr, SizeConst = 32)]
public string name;
}
关键点：必须确保两边的结构体大小完全相同。可以使用sizeof(MyStruct)（C++）和Marshal.SizeOf(typeof(MyStruct))（C#）进行验证。
3. 结构体数组传递的解决方案
3.1 方法一：使用Marshal手动管理内存
最可靠的方式是手动分配非托管内存并复制数据：
csharp复制[DllImport("NativeLib.dll")]
static extern void ProcessStructArray(IntPtr structs, int count);
void CallNativeFunction(MyStruct[] managedArray) {
int structSize = Marshal.SizeOf(typeof(MyStruct));
IntPtr unmanagedArray = Marshal.AllocHGlobal(structSize * managedArray.Length);
try {
// 将托管数组复制到非托管内存
for (int i = 0; i < managedArray.Length; i++) {
IntPtr ptr = new IntPtr(unmanagedArray.ToInt64() + i * structSize);
Marshal.StructureToPtr(managedArray[i], ptr, false);
}
ProcessStructArray(unmanagedArray, managedArray.Length);
}
finally {
Marshal.FreeHGlobal(unmanagedArray);
}
}
这种方法虽然代码量多，但完全掌控了内存分配和释放过程，避免了自动封送可能带来的问题。
3.2 方法二：使用MarshalAs属性指定数组封送
对于简单场景，可以使用MarshalAs属性简化操作：
csharp复制[DllImport("NativeLib.dll")]
static extern void ProcessStructArray(
[MarshalAs(UnmanagedType.LPArray, SizeParamIndex = 1)] MyStruct[] structs,
int count);
这种方式下，CLR会自动处理数组的封送，但需要注意：
- 确保结构体定义完全匹配
- 数组不能为null
- 对于大型数组可能效率较低
3.3 方法三：使用SafeHandle封装非托管资源
对于需要频繁调用的场景，可以创建SafeHandle的派生类来安全地管理非托管内存：
csharp复制public sealed class StructArrayHandle : SafeHandle {
public StructArrayHandle(MyStruct[] array) : base(IntPtr.Zero, true) {
int size = Marshal.SizeOf(typeof(MyStruct));
handle = Marshal.AllocHGlobal(size * array.Length);
for (int i = 0; i < array.Length; i++) {
IntPtr ptr = new IntPtr(handle.ToInt64() + i * size);
Marshal.StructureToPtr(array[i], ptr, false);
}
}
protected override bool ReleaseHandle() {
if (!IsInvalid) {
Marshal.FreeHGlobal(handle);
handle = IntPtr.Zero;
}
return true;
}
public override bool IsInvalid => handle == IntPtr.Zero;
}
// 使用方式
using (var handle = new StructArrayHandle(array)) {
ProcessStructArray(handle.DangerousGetHandle(), array.Length);
}
4. 常见问题排查与调试技巧
4.1 内存损坏的定位方法
当遇到AccessViolationException时，可以采取以下步骤定位问题：
-
验证结构体大小：
csharp复制Console.WriteLine($"C# struct size: {Marshal.SizeOf(typeof(MyStruct))}");在C++端也应输出sizeof(MyStruct)，确保两者一致。
-
检查内存内容：
在C++端添加调试代码，打印接收到的结构体数组内容：cpp复制for (int i = 0; i < count; i++) { printf("Struct %d: id=%d, value=%f, name=%s\n", i, structArray[i].id, structArray[i].value, structArray[i].name); } -
使用调试器：
在Visual Studio中同时调试托管和非托管代码：- 启用"启用本机代码调试"选项
- 在C++代码中设置断点
- 检查内存窗口中的实际数据
4.2 典型错误场景
-
数组长度不一致：
C#端传入的数组长度与实际封送的长度不符，导致C++端越界访问。 -
字符串处理不当：
结构体中字符串字段的封送方式不正确，如C++端使用char[]而C#端使用string但没有正确指定MarshalAs。 -
内存对齐问题：
两边结构体的packing不一致，导致字段偏移量不同。 -
调用约定不匹配：
DllImport没有指定正确的调用约定（如Cdecl/StdCall）。
5. 性能优化与进阶技巧
5.1 固定托管数组内存
对于高性能场景，可以固定托管数组的内存地址，避免复制：
csharp复制MyStruct[] array = new MyStruct[1000];
GCHandle handle = GCHandle.Alloc(array, GCHandleType.Pinned);
try {
IntPtr ptr = handle.AddrOfPinnedObject();
ProcessStructArray(ptr, array.Length);
}
finally {
if (handle.IsAllocated)
handle.Free();
}
警告：固定内存会阻止垃圾回收器移动对象，长时间固定可能导致堆碎片化。
5.2 使用Span和Memory优化
在.NET Core/5+中，可以使用Span和Memory更安全高效地操作内存：
csharp复制MyStruct[] array = new MyStruct[100];
Memory<MyStruct> memory = array;
using (var pinned = memory.Pin()) {
ProcessStructArray(pinned.Pointer, array.Length);
}
5.3 异步调用与非阻塞操作
对于耗时的非托管调用，可以考虑异步封装：
csharp复制public Task ProcessArrayAsync(MyStruct[] array) {
return Task.Run(() => {
using (var handle = new StructArrayHandle(array)) {
ProcessStructArray(handle.DangerousGetHandle(), array.Length);
}
});
}
6. 实际项目中的经验总结
在多个工业级项目中应用这些技术后，我总结了以下关键经验：
-
始终验证结构体大小：
在项目启动时添加单元测试，验证所有跨平台结构体的大小和对齐方式。 -
统一编码规范：
确保C#和C++团队使用相同的基本数据类型定义（如明确使用int32_t而不是int）。 -
添加边界检查：
在C++端添加数组边界验证代码，至少应在Debug构建中检查数组索引。 -
设计版本兼容性：
考虑结构体版本控制，在结构体头部添加版本字段，防止不同版本DLL和客户端混用。 -
日志记录：
在关键接口处添加详细的日志记录，记录传入参数的基本信息，便于后期排查问题。 -
压力测试：
特别测试大数组（如超过10,000个元素）的场景，验证内存管理和性能表现。 -
错误处理标准化：
定义统一的错误代码和异常转换机制，使C++的错误能正确传递到C#端。
通过系统性地应用这些技术和方法，我们成功在多个大型项目中实现了稳定的C#与C++互操作，处理了包含复杂结构体数组的数据交换场景。