В спецификации языка ничего не сказано, должны ли указатели оставаться неизменными. Это означает, что вы не должны полагаться на это или опираться на него.
У вас есть гарантия того, что если указатели изменятся после цикла сборки мусора или если среда выполнения изменит их из-за выделения / освобождения памяти, указатели в ваших переменных будут обновлены, чтобы отразить изменения.
В документации unsafe.Pointer есть подсказка , указатели могут изменить:
uintptr - это целое число, а не ссылка. Преобразование указателя в uintptr создает целочисленное значение без семантики указателя. Даже если uintptr содержит адрес какого-либо объекта, сборщик мусора не будет обновлять значение этого uintptr, если объект перемещается , и при этом uintptr не будет препятствовать тому, чтобы объект был возвращен.
На практике сборщик мусора не будет постоянно менять указатели, это было бы ненужными накладными расходами. Но он может переупорядочить объекты в памяти, если многие из них освобождаются и сжимают память, или существует «давление» для освобождения неиспользуемой памяти (например, из-за вызова debug.FreeOSMemory()).