C# と VB.NET の質問掲示板

以下のような構造体Fをマーシャリングしたいのですが、
fixed配列aが期待通りマーシャリングされません。
なぜこのような現象になるのでしょうか？

fixed配列ではなく、普通の配列にしてMarshalAs属性を付けるとか、
bを消すとかすると正しくマーシャリングされるのですが、
fixed配列のまま、正しくマーシャリングするにはどうすればよいのでしょうか？

(.net 4.0, xp 32bit)


using System;
using System.Runtime.InteropServices;

unsafe class Program
{
    struct F
    {
        public fixed byte a[2];

        //[MarshalAs(UnmanagedType.ByValArray, SizeConst = 2)]
        //public byte[] a;

        [MarshalAs(UnmanagedType.ByValTStr, SizeConst = 3)]
        public string b;
    }

    static void Main()
    {
        var buf = new byte[] { 1, 2, 65, 66, 0 };
        fixed (byte* p = buf)
        {
            F f = (F)Marshal.PtrToStructure((IntPtr)p, typeof(F));
            Console.WriteLine("{0} {1}", f.a[0], f.a[1]); //1 2でなく、1 0になるのはなぜ？
            Console.WriteLine(f.b); //AB
        }
    }
}

■No87194 (mbox さん) に返信
> fixed配列ではなく、普通の配列にしてMarshalAs属性を付けるとか、
> bを消すとかすると正しくマーシャリングされるのですが、
> fixed配列のまま、正しくマーシャリングするにはどうすればよいのでしょうか？

できないのでは？という印象を持っています。

コンパイルしてできたバイナリを IL 逆アセンブラーに処理させると、フィールド a に対する特殊な構造体ができていることを確認できると思います。
C# コードに書き直した際のイメージとしては以下のような感じです。
（実際にはいくつか属性がついています）

struct F
{
  [StructLayout(LayoutKind.Sequential, Size=2)]
  sturct <a>__FixedBuffer
  {
     public byte FixedElementField;
  }
  public <a>__FixedBuffer a;
  public string b;
}

ただ、PtrToStructure だと、その FixedElementField の位置に値を設定するものの、残りのバイトは構造体にフィールドがないので無視されるようです。
fixed の実装と、PtrToStructure の実装がこうなっている以上は諦められた方が早いかと思います。