Question

I have some code intended to get a struct from a byte array:

    public static T GetValue<T>(byte[] data, int start) where T : struct
    {
        T d = default(T);
        int elementsize = Marshal.SizeOf(typeof(T));

        GCHandle sh = GCHandle.Alloc(d, GCHandleType.Pinned);
        Marshal.Copy(data, start, sh.AddrOfPinnedObject(), elementsize);
        sh.Free();

        return d;
    }

However, the structure d is never modified, and always returns its default value.

I have looked up the ‘correct’ way to do this and am using that instead, but am still curious, as I cannot see why the above should not work.

Its as simple as can be: allocate some memory, d, get a pointer to it, copy some bytes into the memory pointed at by this, return.
Not only that, but when I use similar code but with d being an array of T, it works fine.
Unless sh.AddrOfPinnedObject() isn’t really pointing to d, but then what is the point of it?

Can anyone tell me why the above does not work?

Answer 1

Warning implementation detail alert, this may not be true in future versions of .Net.

structs are value types and are (generally) stored on the stack (*) , not on the heap. An address of a struct is meaningless since they are passed by value, not by reference. The array of struct is a reference type, that is a pointer to memory on the heap, so the address in memory is perfectly valid.

The point of AddrOfPinnedObject is to get the address of an object thats memory is pinned, not a struct.

Additionally, Eric Lippert has written a series of very good blog posts on the subject of reference types and value types.

(*) Unless:

1 They are fields on a class
2 They are boxed
3 They are “captured variables”
4 They are in an iterator block

(nb points 3 and 4 are corollaries of point 1)