Преобразование типа из байтового фрагмента в структуру с небезопасным

Question

Я пытаюсь понять, почему мой код в Go не работает так, как я думал. Когда я выполняю этот тест, он не проходит:

func TestConversion(t *testing.T) {
    type myType struct {
        a     uint8
        value uint64
    }
    myVar1 := myType{a: 1, value: 12345}

    var copyFrom []byte
    copyFromHeader := (*reflect.SliceHeader)(unsafe.Pointer(&copyFrom))
    copyFromHeader.Data = uintptr(unsafe.Pointer(&myVar1))
    copyFromHeader.Cap = 9
    copyFromHeader.Len = 9

    copyTo := make([]byte, len(copyFrom))

    for i := range copyFrom {
        copyTo[i] = copyFrom[i]
    }

    myVar2 := (*myType)(unsafe.Pointer(&copyFrom[0]))
    myVar3 := (*myType)(unsafe.Pointer(&copyTo[0]))

    if myVar2.value != myVar3.value {
        t.Fatalf("Expected myVar3.value to be %d, but it is %d", myVar2.value, myVar3.value)
    }
}

Вывод будет:

slab_test.go:67: Expected myVar3.value to be 12345, but it is 57

Однако, если я увеличу copyFromHeader.Data на 1 до копирования данных, то все будет работать нормально. Как это:

copyFromHeader.Data = uintptr(unsafe.Pointer(&myVar1)) + 1

Я не понимаю, почему кажется, что данные сдвинуты на один байт.

Answer 1

Есть 7 байтов заполнения между a и value. Вы получаете только младший байт из 12345 (57) в value. Когда вы перемещаете copyFrom вниз на один байт, значения myVar2.value и myVar3.value равны 48 (второй байт 12345), поэтому ваш тест пройден. Это должно работать, если вы измените 9 на 16.

Есть ли какая-то особая причина, по которой вы копируете структуру таким образом?