本期看点(技巧类用【技】表示,易错点用【易】表示):
- Go函数式编程【技】
- 不建议map使用指针类型作为Key【易】
- 直接使用值为nil的slice和map【易】
正文开始:
Go函数式编程
函数式编程是一种编程范式。函数式编程语言最重要的基础是λ演算,λ演算的函数可以接受函数当作输入(参数)和输出(返回值)。与指令式编程相比,函数式编程强调函数的计算比指令的执行重要。与过程化编程相比,函数式编程里函数的计算可随时调用。
此外,在函数式编程中,函数是一等公民,这意味着它们可以绑定到名称(包括本地标识符),作为参数传递,并从其他函数返回,就像任何其他数据类型一样。这允许以声明性和可组合的风格编写程序,其中小功能以模块化方式组合。
我们来展示一下Go语言的函数式编程(大家可以猜想一下这段代码的运行结果):
func PlayFunc(str string, fn func() error) error { fmt.Println(str) defer func() { fmt.Println("defer 1 ...") }() defer func() { fmt.Println("defer 2 ...") }() return fn() } func main() { err := PlayFunc("string ...", func() error { fmt.Println("func ...") return nil }) fmt.Println(err) }
答案:
string ... func ... defer 2 ... defer 1 ... <nil>
不建议map使用指针类型作为Key
在Go语言中,指针类型不能作为map的键(key)的主要原因是因为指针的值是动态的,并且可能会发生变化。当使用指针作为map的键时,如果两个指针指向同一个内存地址,它们被认为是相等的,但是如果指针所指向的值发生变化,那么这两个指针就不再相等了。
举个例子:
type Student struct { Id string Name string } func TestMapPointKey(t *testing.T) { m := make(map[*Student]struct{}) m[&Student{Id: "1", Name: "zs"}] = struct{}{} _, ok := m[&Student{Id: "1", Name: "zs"}] fmt.Println(ok) // false }
为了解决这个问题,Go语言规定map的键必须是不可变(immutable)的类型,例如基本类型(如整数、字符串等),或者具有只读属性的复合类型(如数组、结构体等)。这些类型的值在创建后就不能被修改,因此它们可以作为map的键使用。
比如这样:
func TestMap(t *testing.T) { m := make(map[Student]struct{}) m[Student{Id: "1", Name: "zs"}] = struct{}{} _, ok := m[*&Student{Id: "1", Name: "zs"}] fmt.Println(ok) // true }
基本数据类型下的指针类型也会存在这个问题:
func TestMapInt(t *testing.T) { m := make(map[*int]struct{}) p := 1 m[&p] = struct{}{} p1 := 1 _, ok := m[&p1] fmt.Println(ok) // false m2 := make(map[int]struct{}) p2 := 1 m2[p2] = struct{}{} p3 := 1 _, ok = m2[p3] fmt.Println(ok) // true }
总结起来,Go语言中指针类型不能作为map的键是因为指针的值是动态的,可能会发生变化,而map的键需要是不可变的类型。
直接使用值为nil的slice和map
func TestEmptyMap(t *testing.T) { var m map[string]struct{} m["name"] = struct{}{} }
这段代码是一个Go语言的测试函数,但是它有一个错误。声明了一个名为m
的map,该map的键是字符串类型,而值是空结构体类型(struct{}
)。由于m
是一个空的map(即它还没有任何键值对),因此不能直接赋值。这将导致运行时错误。为了修复这个错误,需要首先为map m
分配一个值(比如 m = make(map[string]struct{})
),然后再尝试插入键值对。