运行以下代码时:
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Runtime.InteropServices;
namespace StructLayoutTest
{
class Program
{
unsafe static void Main()
{
Console.WriteLine(IntPtr.Size);
Console.WriteLine();
Sequential s = new Sequential();
s.A = 2;
s.B = 3;
s.Bool = true;
s.Long = 6;
s.C.Int32a = 4;
s.C.Int32b = 5;
int* ptr = (int*)&s;
Console.WriteLine(ptr[0]);
Console.WriteLine(ptr[1]);
Console.WriteLine(ptr[2]);
Console.WriteLine(ptr[3]);
Console.WriteLine(ptr[4]);
Console.WriteLine(ptr[5]);
Console.WriteLine(ptr[6]);
Console.WriteLine(ptr[7]); //NB!
Console.WriteLine("Press any key");
Console.ReadKey();
}
[StructLayout(LayoutKind.Explicit)]
struct Explicit
{
[FieldOffset(0)]
public int Int32a;
[FieldOffset(4)]
public int Int32b;
}
[StructLayout(LayoutKind.Sequential, Pack = 4)]
struct Sequential
{
public int A;
public int B;
public bool Bool;
public long Long;
public Explicit C;
}
}
}
我期望在x86和x64上都能得到这个输出:
4或8(取决于x86或x64)
2
3
1
6
0
4
5
garbage
而在x86中实际得到的是:
4
6
0
2
3
1
4
5
garbage
而在x64中实际得到的是:
8
6
0
2
3
1
0
4
5
更多信息:
- 当我删除LayoutKind.Explicit和FieldOffset属性时,问题就消失了。
- 当我删除Bool字段时,问题就消失了。
- 当我删除Long字段时,问题也消失了。
- 请注意,在x64上,似乎忽略了Pack=4属性参数?
这适用于.Net3.5和.Net4.0
我的问题是:我缺少什么?还是这个问题是个bug?
我找到了一个类似的问题:
当一个结构体包含DateTime字段时,为什么LayoutKind.Sequential表现不同?
但在我的情况下,即使子结构的属性更改,布局也会发生变化,而没有更改数据类型。所以它看起来不像是优化。此外,我想指出的是,另一个问题仍然没有得到答复。
在那个问题中,他们提到使用Marshalling时会尊重布局。我自己还没有测试过,但我想知道为什么在使用unsafe代码时不尊重布局,因为所有相关属性似乎都已经就位了?文档是否有提到,除非进行Marshalling,否则将忽略这些属性?为什么?
考虑到这一点,我能否期望LayoutKind.Explicit在unsafe代码中可靠地工作呢?
此外,文档提到保持与预期布局的结构体的动机:
为了减少与Auto值相关的布局问题,C#,Visual Basic和C ++编译器为值类型指定了Sequential布局。
但是这个动机显然不适用于unsafe代码?