当堆栈扩展并在不安全中遇到无效地址时，如何防止 Go 中的恐慌。指针？

问：

我正在为我的自定义编程语言开发自己的解释器，它有几种类型（整数、字符串、数组、函数......因此，我陷入了如何有效地表示这些类型的困境。

我的第一个选择是创建通用接口：

type Obj interface {
    Type() Type
    Clone() Obj
    Equals(other Obj) bool
    fmt.Stringer
}

并实现表示每种类型的多个结构：

type Int int
func (integer Int) Type() types.Type { return types.TypeInt }
func (integer Int) Clone() types.Obj { return integer }
func (integer Int) Equals(other types. Obj) bool { ... }

...

type Bool bool
func (boolean Bool) Type() types.Type { return types.TypeBool }
func (boolean Bool) Clone() types.Obj { return boolean }
func (boolean Bool) String() string   { return strconv.FormatBool(bool(Boolean)) }

...

type Array struct {
    Slice []types. Obj
}
func (array *Array) Type() types.Type { return types.TypeArray }
func (array *Array) Clone() types.Obj { ... }
func (array *Array) Equals(other types. Obj) bool { ... }

因此，解释语言中的变量实例将存储为 Interface 的实例。

一切正常，但这种方法很慢。缓慢的原因是动态转换（从接口到具体的结构类型）和大量的堆分配。

然后我想到了标记工会的想法。但是，Golang 没有工会，所以我需要模仿它们。我创建了一个带有标签和字节数组的结构：

type Tag int

type Object struct {
    Tag  Tag
    Data [MAX_SIZE]byte
}

因此，在检查标签后，我会将数组中的数据重新解释为具体类型：

func As[T any](obj Obj) T {
    ptr := (*T)unsafe.Pointer(&obj.Data[0])
    return *ptr
}

我重新实现了所有内容以使用这种类型的系统。但事情开始变得奇怪了。后来我认识到，为了存储某些数据类型（如字符串和数组），需要指针，在这种表示中，它们将被视为该字节数组中的任何其他数字数据，因此 GC 将删除这些对象并可能在同一位置分配一些新对象。

因此，为了“提示”GC不要这样做，我做了一些研究，发现GC关心并会检查指针是否有效以及行为是否正确。unsafe.Pointer

所以我把我模拟的联合结构改为：

type Tag int

type Object struct {
    Tag  Tag
    Data [MaxTypeSize / unsafe.Sizeof(unsafe.Pointer(nil))]unsafe.Pointer
}

有时一切正常，但有时却不正常。程序惊慌失措，给了我

runtime: bad pointer in frame banek/interpreter.(*interpreter).evalBinaryOp at 0xc000292890: 0x1
fatal error: invalid pointer found on stack

我跟踪了堆栈跟踪，发现它因扩展堆栈和执行指针重新分配的功能而惊慌失措。在那一刻，堆栈扩展，我的结构体的某些实例在数组中包含非指针数据（可能只是一个整数）。unsafe.Pointer

所以我的问题是：有没有办法阻止函数调整指针，但 GC 仍然继续检测它们（所以不能使用 ）。这将是安全的，因为我没有指向堆栈值的指针，也不需要调整。uintptr

或者，如果这是不可能的，我是否可以以其他方式模拟并集，但无需手动引用计数和固定对象。