golang的内存模型与new()与make()

要彻底理解new()与make()的区别, 最好从内存模型入手. golang属于c family, 而c程序在unix的内在模型:

|低地址|text|data|bss|heap-->|unused|<--stack|env|高地址|

其中:

(1)text存储程序主体,即机器指令.

(2)data,bss存储全局变量, data存储初始化的全局变量. bss存储未初始化的全局变量. bss全称Block start by symbol, 以符号开始的块.

(3)heap: 动态内存堆

(4)stack: 函数调用栈.

(5)env: 程序执行环境变量.

------------------------------------------------

value types: variable point direct to value, 即变量在函数调用栈中的内容就是value.

reference types: variable point to reference toward heap, 即变量在函数调用栈中的内容是reference, 指向heap中的某块内存.

赋值操作=或:=, 都是将某个variable在函数调用中栈中的内容复制给目标变量. 对于value types是复制值. 对于reference types是复制引用.

new()操作: 在函数调用栈中分配内存, 内容是目标类型的零值, 返回值是目标类型的指针.

make()操作: 先在动态内存堆分配内存, 内容也是目标类型的零值, 再在函数调用栈中分配内存, 内容是分配的堆地址, 返回值是目标类型的值.

注意: 一般来说,

new()用于value types

make()用于reference types.

但是, new()也可用于refrences types, 只是返回值是nil的指针. make()不可用于value types, 编译会出错: make(xxx) cannot  make type xxx

对于非elementary(primitive) type,即非基本类型, new()等价于&Type{}, 但对于基本类型, 不支持&P{}语法, 就必须使用new()来创建指针. 

对于初始化空值, make(Type)行人于Type{}, 但要初始化多值, 就必须使用make(Type, m)

以上原则更多体现在长变量声明long variable declaration, 与短变量声明short variable declaration. 对于后者, 更常使用new()与make()初始化.

---------------------------------------

由于reference types的特点, 容易造成某些陷阱, 例如: 多个reference指向heap中的大内存,导致不能及时释放造成内存泄露危险.