Go 使用逃逸分析和垃圾收集來管理堆棧和堆上的內存分配。Go 的常見問題解答還說：我如何知道變量是分配在堆上還是棧上？從正確性的角度來看，您不需要知道。只要有對它的引用，Go 中的每個變量就存在。實現選擇的存儲位置與語言的語義無關。所以 Go 為變量分配內存，并至少保留它直到需要它。我的問題是：這個（抽象）行為是用Go 編程語言規范編寫的嗎？我發現分配部分是寫的，例如，在分配部分：內置函數new采用 type T，在運行時為該類型的變量分配存儲空間，并返回*T指向該類型的值。但是有沒有關于預訂部分的描述？我們能否確認“Go 中的每個變量只要有引用就存在”這一事實嗎？如果沒有，有什么原因嗎？例如，如果 Go 編譯器沒有錯誤，我想確認以下程序不得拋出 SIGSEGV 或類似異常。func foo() *int {    x := 42    return &x}func main() {    px := foo()    fmt.Println(*px)}更準確地說，我希望“Go 在new什么時候分配內存”和“Go 至少在需要時保留分配的內存”這兩部分應該寫在規范中。我不關心它的實現細節，盡管https://github.com/golang/go使用了逃逸分析和垃圾回收。如果后一部分不存在，那么在極端情況下，根據規范，內存分配后立即取消分配是有效的實現。但這很荒謬，所以我認為規范應該使這一點無效。