仙人指路,引而不发,Go lang1.18入门精炼教程,由白丁入鸿儒,Golang中New和Make函数的使用背景和区别EP16

简介: Golang只有二十五个系统保留关键字,二十几个系统内置函数,加起来只有五十个左右需要记住的关键字,纵观编程宇宙,无人能出其右。其中还有一些保留关键字属于“锦上添花”,什么叫锦上添花?就是从表面上看,就算没有,也无伤大雅,不影响业务或者逻辑的实现,比如lambda表达式之类,没有也无所谓,但在初始化数据结构的时候,我们无法避免地,会谈及两个内置函数:New和Make。

Golang只有二十五个系统保留关键字,二十几个系统内置函数,加起来只有五十个左右需要记住的关键字,纵观编程宇宙,无人能出其右。其中还有一些保留关键字属于“锦上添花”,什么叫锦上添花?就是从表面上看,就算没有,也无伤大雅,不影响业务或者逻辑的实现,比如lambda表达式之类,没有也无所谓,但在初始化数据结构的时候,我们无法避免地,会谈及两个内置函数:New和Make。

New函数

假设声明一个变量:

package main  
  
import "fmt"  
  
func main() {  
  
    var a string  
  
    fmt.Println(a)  
    fmt.Println(&a)  
  
}

系统返回:

 0x14000090210

这里我们使用var关键字声明了一个数据类型是字符串的变量a,然后没有做任何赋值操作,于是a的默认值变为系统的零值,也就是空,a的内存地址已经做好了指向,以便存储a将来的值。

下面开始赋值:

package main  
  
import "fmt"  
  
func main() {  
  
    var a string  
    a = "ok"  
    fmt.Println(a)  
    fmt.Println(&a)  
  
}

系统返回:

ok  
0x14000104210

可以看到a的值和内存地址都发生了改变,整个初始化过程,我们并没有使用new函数

下面我们把数据类型换成指针:

package main  
  
import "fmt"  
  
func main() {  
  
    var a *string  
  
    fmt.Println(a)  
    fmt.Println(&a)  
  
}

系统返回:

<nil>  
0x140000a4018

可以看到由于数据类型换成了指针,零值变成了nil

接着像字符串数据类型一样进行赋值操作:

package main  
  
import "fmt"  
  
func main() {  
  
    var a *string  
  
    *a = "ok"  
  
    fmt.Println(*a)  
    fmt.Println(&a)  
  
}

系统返回:

panic: runtime error: invalid memory address or nil pointer dereference

是的,空指针异常,为什么?因为指针是一个引用类型,对于引用类型来说,系统不仅需要我们要声明它,还要为它分配内存空间,否则我们赋值的变量就没地方放,这里系统没法为nil分配内存空间,所以没有内存空间就没法赋值。

而像字符串这种值类型就不会有这种烦恼,因为值类型的声明不需要我们分配内存空间,系统会默认为其分配,为什么?因为值类型的零值是一个具体的值,而不是nil,比如整形的零值是0,字符串的零值是空,空不是nil,所以就算是空,也可以赋值。

那引用类型就没法赋值了?

package main  
  
import "fmt"  
  
func main() {  
  
    var a *string  
    a = new(string)  
    *a = "ok"  
  
    fmt.Println(*a)  
    fmt.Println(&a)  
  
}

系统返回:

ok  
0x14000126018

这里我们使用了new函数,它正是用于分配内存,第一个参数接收一个类型而不是一个值,函数返回一个指向该类型内存地址的指针,同时把分配的内存置为该类型的零值。

换句话说,new函数可以帮我们做之前系统自动为值类型数据类型做的事。

当然,new函数不仅仅能够为系统的基本类型的引用分配内存,也可以为自定义数据类型的引用分配内存:

package main  

package main  
  
import "fmt"  
  
func main() {  
  
    type Human struct {  
        name string  
        age  int  
    }  
    var human *Human  
    human = new(Human)  
    human.name = "张三"  
    fmt.Println(*human)  
    fmt.Println(&human)  
  
}  


系统返回:

{张三 0}  
0x1400011c018

这里我们自定义了一种人类的结构体类型,然后声明该类型的指针,由于指针是引用类型,所以必须使用new函数为其分配内存,然后,才能对该引用的结构体属性进行赋值。

说白了,new函数就是为了解决引用类型的零值问题,nil算不上是真正意义上的零值,所以需要new函数为其“仙人指路”。

Make函数

make函数从功能层面上讲,和new函数是一致的,也是用于内存的分配,但它只能为切片slice,字典map以及通道channel分配内存,并返回一个初始化的值。

这显然有些矛盾了,既然已经有了new函数,并且new函数可以为引用数据类型分配内存,而切片、字典和通道不也是引用类型吗?

大家既然都是引用类型,为什么不直接使用new函数呢?

package main  
  
import "fmt"  
  
func main() {  
    a := *new([]int)  
    fmt.Printf("%T, %v\n", a, a == nil)  
  
    b := *new(map[string]int)  
    fmt.Printf("%T, %v\n", b, b == nil)  
  
    c := *new(chan int)  
    fmt.Printf("%T, %v\n", c, c == nil)  
}

程序返回:

[]int, true  
map[string]int, true  
chan int, true

虽然new函数也可以为切片、字典和通道分配内存,但没有意义,因为它分配以后的地址还是nil:

  
package main  
  
import "fmt"  
  
func main() {  
    a := *new([]int)  
    fmt.Printf("%T, %v\n", a, a == nil)  
  
    b := *new(map[string]int)  
    fmt.Printf("%T, %v\n", b, b == nil)  
  
    c := *new(chan int)  
    fmt.Printf("%T, %v\n", c, c == nil)  
  
    b["123"] = 123  
  
    fmt.Println(b)  
}

这里使用new函数初始化以后,为字典变量b赋值,系统报错:

panic: assignment to entry in nil map

提示无法为nil的字典赋值,所以这就是make函数存在的意义:

  
package main  
  
import "fmt"  
  
func main() {  
    a := *new([]int)  
    fmt.Printf("%T, %v\n", a, a == nil)  
  
    b := make(map[string]int)  
    fmt.Printf("%T, %v\n", b, b == nil)  
  
    c := *new(chan int)  
    fmt.Printf("%T, %v\n", c, c == nil)  
  
    b["123"] = 123  
  
    fmt.Println(b)  
}

这里字典b使用make函数进行初始化之后,就可以为b进行赋值了。

程序返回:

[]int, true  
map[string]int, false  
chan int, true  
map[123:123]

这也是make和new的区别,make可以为这三种类型分配内存,并且设置好其对应基本数据类型的零值,所以只要记住切片、字典和通道声明后需要赋值的时候,需要使用make函数为其先分配内存空间。

不用New或者Make会怎么样

有人会说,为什么非得纠结分配内存的问题?用海象操作符不就可以直接赋值了吗?

// example1.go  
package main  
  
import "fmt"  
  
func main() {  
  
    a := map[int]string{}  
    fmt.Printf("%T, %v\n", a, a == nil)  
  
    a[1] = "ok"  
  
    fmt.Println(a)  
      
}

程序返回:

map[int]string, false  
map[1:ok]

没错,就算没用make函数,我们也可以“人为”的给字典分配内存,因为海象操作符其实是声明加赋值的连贯操作,后面的空字典就是在为变量申请内存空间。

但为什么系统还要保留new和make函数呢?事实上,这是一个分配内存的时机问题,声明之后,没有任何规定必须要立刻赋值,赋值后的变量会消耗系统的内存资源,所以声明以后并不分配内存,而是在适当的时候再分配,这也是new和make的意义所在,所谓千石之弓,引而不发,就是这个道理。

结语

new和make函数都可以为引用类型分配内存,起到“仙人指路”的作用,变量声明后“引而不发”就是使用它们的时机,make函数作用于创建 slice、map 和 channel 等内置的数据结构,而 new函数作用是为类型申请内存空间,并返回指向内存地址的指针。

相关文章
|
5月前
|
Cloud Native 安全 Java
Go语言深度解析:从入门到精通的完整指南
🌟蒋星熠Jaxonic,Go语言探索者。深耕云计算、微服务与并发编程,以代码为笔,在二进制星河中书写极客诗篇。分享Go核心原理、性能优化与实战架构,助力开发者掌握云原生时代利器。#Go语言 #并发编程 #性能优化
537 43
Go语言深度解析:从入门到精通的完整指南
|
10月前
|
人工智能 安全 算法
Go入门实战:并发模式的使用
本文详细探讨了Go语言的并发模式,包括Goroutine、Channel、Mutex和WaitGroup等核心概念。通过具体代码实例与详细解释,介绍了这些模式的原理及应用。同时分析了未来发展趋势与挑战,如更高效的并发控制、更好的并发安全及性能优化。Go语言凭借其优秀的并发性能,在现代编程中备受青睐。
322 33
|
6月前
|
Cloud Native 安全 Java
Go语言深度解析:从入门到精通的完整指南
🌟 蒋星熠Jaxonic,执着的星际旅人,用Go语言编写代码诗篇。🚀 Go语言以简洁、高效、并发为核心,助力云计算与微服务革新。📚 本文详解Go语法、并发模型、性能优化与实战案例,助你掌握现代编程精髓。🌌 从goroutine到channel,从内存优化到高并发架构,全面解析Go的强大力量。🔧 实战构建高性能Web服务,展现Go在云原生时代的无限可能。✨ 附技术对比、最佳实践与生态全景,带你踏上Go语言的星辰征途。#Go语言 #并发编程 #云原生 #性能优化
|
11月前
|
存储 算法 数据可视化
【二叉树遍历入门:从中序遍历到层序与右视图】【LeetCode 热题100】94:二叉树的中序遍历、102:二叉树的层序遍历、199:二叉树的右视图(详细解析)(Go语言版)
本文详细解析了二叉树的三种经典遍历方式:中序遍历(94题)、层序遍历(102题)和右视图(199题)。通过递归与迭代实现中序遍历,深入理解深度优先搜索(DFS);借助队列完成层序遍历和右视图,掌握广度优先搜索(BFS)。文章对比DFS与BFS的思维方式,总结不同遍历的应用场景,为后续构造树结构奠定基础。
530 10
|
存储 Go
Go 语言入门指南:切片
Golang中的切片(Slice)是基于数组的动态序列,支持变长操作。它由指针、长度和容量三部分组成,底层引用一个连续的数组片段。切片提供灵活的增减元素功能,语法形式为`[]T`,其中T为元素类型。相比固定长度的数组,切片更常用,允许动态调整大小,并且多个切片可以共享同一底层数组。通过内置的`make`函数可创建指定长度和容量的切片。需要注意的是,切片不能直接比较,只能与`nil`比较,且空切片的长度为0。
351 3
Go 语言入门指南:切片
|
监控 Linux PHP
【02】客户端服务端C语言-go语言-web端PHP语言整合内容发布-优雅草网络设备监控系统-2月12日优雅草简化Centos stream8安装zabbix7教程-本搭建教程非docker搭建教程-优雅草solution
【02】客户端服务端C语言-go语言-web端PHP语言整合内容发布-优雅草网络设备监控系统-2月12日优雅草简化Centos stream8安装zabbix7教程-本搭建教程非docker搭建教程-优雅草solution
485 20
|
Go C语言
Go语言入门:分支结构
本文介绍了Go语言中的条件语句,包括`if...else`、`if...else if`和`switch`结构,并通过多个练习详细解释了它们的用法。`if...else`用于简单的条件判断;`if...else if`处理多条件分支;`switch`则适用于基于不同值的选择逻辑。特别地,文章还介绍了`fallthrough`关键字,用于优化重复代码。通过实例如判断年龄、奇偶数、公交乘车及成绩等级等,帮助读者更好地理解和应用这些结构。
233 15
|
存储 Go
Go中make和new的区别
在 Go 语言中,`make` 和 `new` 都用于分配内存,但功能不同。`make` 用于初始化切片、映射和通道,并返回初始化后的对象;`new` 分配内存并返回指向零值的指针,适用于任何类型。`make` 返回的是数据结构本身,而 `new` 返回指针。`make` 完整初始化特定数据结构,`new` 只初始化为零值。
433 0
|
存储 设计模式 安全
Go语言中的并发编程:从入门到精通###
本文深入探讨了Go语言中并发编程的核心概念与实践技巧,旨在帮助读者从理论到实战全面掌握Go的并发机制。不同于传统的技术文章摘要,本部分将通过一系列生动的案例和代码示例,直观展示Go语言如何优雅地处理并发任务,提升程序性能与响应速度。无论你是Go语言初学者还是有一定经验的开发者,都能在本文中找到实用的知识与灵感。 ###
|
Serverless Go
Go语言中的并发编程:从入门到精通
本文将深入探讨Go语言中并发编程的核心概念和实践,包括goroutine、channel以及sync包等。通过实例演示如何利用这些工具实现高效的并发处理,同时避免常见的陷阱和错误。

推荐镜像

更多