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

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.

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