我是Go的新手,我在C风格的基于堆栈的编程之间经历了一些不协调的错误,其中自动变量存在于堆栈上,并且在堆上分配了内存,以及基于Python的基于堆栈的编程,其中只有堆栈上的东西才是堆上对象的引用/指针.
据我所知,以下两个函数提供相同的输出:
func myFunction() (*MyStructType, error) {
var chunk *MyStructType = new(HeaderChunk)
...
return chunk, nil
}
func myFunction() (*MyStructType, error) {
var chunk MyStructType
...
return &chunk, nil
}
即分配一个新结构并返回它.
如果我在C中编写它,第一个将把一个对象放在堆上,第二个将它放在堆栈上.第一个将返回一个指向堆的指针,第二个将返回一个指向堆栈的指针,该指针在函数返回时会蒸发,这将是一件坏事.
如果我用Python(或除C#之外的许多其他现代语言)编写它,那么示例2是不可能的.
我得到Go垃圾收集两个值,所以上述两种形式都没问题.
报价:
请注意,与C不同,返回局部变量的地址是完全可以的.与函数关联的存储在函数返回后仍然存在.实际上,获取复合文字的地址在每次评估时都会分配一个新实例,因此我们可以将这两行结合起来.
但它提出了几个问题.
1 - 在示例1中,结构在堆上声明.例2怎么样？在堆栈中声明的方式与在C中的方式相同,还是在堆上也是如此？
2 - 如果在堆栈上声明了示例2,那么在函数返回后它是如何保持可用的？
3 - 如果实际上在堆上声明了示例2,那么结构是如何通过值而不是通过引用传递的？在这种情况下,指针有什么意义？