查看“對垃圾收集器的更改”，其機制似乎很簡單：

從 Go 1.3 開始，運行時假定指針類型的值包含指針，而其他值不包含。

這個假設是堆棧擴展和垃圾收集的精確行為的基礎。

使用包 unsafe 將整數存儲在指針類型值中的程序是非法的，如果運行時檢測到該行為，將會崩潰。
使用包 unsafe 將指針存儲在整數類型值中的程序也是非法的，但在執行過程中更難診斷。

這個reddit線程添加：

基本上，GC 必須找出哪些對象是可訪問的，為此它必須遵循堆棧上的指針指向它們指向的每個對象，然后遵循對象中的指針指向它們指向的每個對象，直到不再遇到新對象對象。
GC 沒有遇到的每個對象都是垃圾。

問題在于它需要 GC 知道什么是指針：

• 一個精確的 GC 有這些信息，

• 保守的 GC 必須假設堆棧上的每個值都可能是一個指針，如果它與分配對象的地址相同。

因此，conservate GC 往往會保留許多無法訪問的對象，并且必須做更多的工作（遍歷死對象圖）。