p/invoke碎片--对数组的封送处理

　　因为数组是引用类型，所以数组的处理根据数组元素的类型是否为“可直接传递到非托管代码”的类型而分为两种情况。主要目标是看内存是怎么变化的，是复制还是锁定。

 数组中的元素是"可直接传递到非托管代码中"的类型

 　　这种类型很多，比如 int  double 等。

 　　完成的托管代码和非托管代码如下：

///////////////////////非托管代码
extern "C" __declspec(dllexport) void DoArray(int a[],int length)
{
    for(int i=0;i<length;i++)
    {
        printf("%d\n",a[i]);
        a[i]=99;
    }
}
////////////////////////////托管代码
        [DllImport(@"C:\Users\Administrator\Desktop\pInvoke\CPPDLL\Debug\CPPDLL.dll")]
        private static extern void DoArray(int []arr,int length);


            int[] arr = new int[] {1,2,3,4,5,6,7 };
            DoArray(arr,arr.Length);//断点
　　　　　　　　foreach(int a in arr)
　　　　　　　　{
　　　　　　　　　　Console.WriteLine(a);
　　　　　　　　}
　　　　　　　　

 

　　跟踪过程：断点先下在托管代码调用函数的地方--DoArray处。这是看一下数组的内存情况如下，

0x01FABAA4  01 00 00 00 02 00 00 00 03 00 00 00 04 00 00 00  ................
0x01FABAB4  05 00 00 00 06 00 00 00 07 00 00 00 00 00 00 00  ................

可以看到7个数字情况。地址是0x01fabaa4.记下这个地址，继续。。。

　　来到非托管代码中，发现a的地址如图：

可以看到，和托管代码中数组的地址是一样的。再执行，打印结果：

1 2 3 4 5 6 7 99  99  99 99 99 99 99.

　　结论：如果数组中的元素是“可直接传递到非托管代码”中的类型时。默认的封送方式是采用了[In,Out]修饰的，传递是一个指针，先锁定内存再传递指针，并且非托管代码对数组的修改会反映到托管代码中。

 数组的元素是“非可直接传递到非托管代码中”的类型

 　　托管内存中数组元素是char类型，是一种“非可直接传递到非托管代码中”的类型。看看内存的情况吧。

               private static extern void DoArray2(char [] arr, int length);
        static void Main(string[] args)
           char[] carry = new char[] { 'a','b','c'};
            DoArray2(carry, carry.Length);
            foreach (char c in carry)
            {
                Console.Write(c + "\t");
            }
////////////////////////非托管代码
extern "C" __declspec(dllexport) void DoArray2(char carry[],int length)
{
    for(int i=0;i<length;i++)
    {
        printf("%c\t",carry[i]);
        carry[i]='?';
    }
}

 

断点跟踪，断在DoArray2(carry,carry.Length)调用处，    carry在非托管代码中的分布如下：

0x01D4BAB8  61 00 62 00 63 00 00 00 00 00 00 00 00 00 00 00  a.b.c...........

接着断在非托管代码领域，数组carry地址显示为：

0x004ADC70  61 62 63 00 00 00 3d 00 d8 dd 4a 00 3d 00 22 00  abc...=.??J.=.".

显然，不是一块地址，结果可想而知，修改也不会反映到托管内存中了。

结果：a　　b　　c　　a　　b　　c   .

　　结论：当数组中的元素是“非可直接传递到非托管代码中”的类型时，这时的封送过程：先在非托管内存申请一块内存，把托管内存中字符串的数据传递复制过去，再把新内存的指针作为参数传递给函数，函数对数组的操作都是基于新内存，结果不会返回到托管代码中。另外值得一说的是，当调用完成后，非托管内存中的数据没有被释放掉。

 使用IntPtr来封送数组