往期回顾:
本期看点(技巧类用【技】表示,易错点用【易】表示):
正文开始:
函数式编程是一种编程范式。函数式编程语言最重要的基础是λ演算,λ演算的函数可以接受函数当作输入(参数)和输出(返回值)。与指令式编程相比,函数式编程强调函数的计算比指令的执行重要。与过程化编程相比,函数式编程里函数的计算可随时调用。
此外,在函数式编程中,函数是一等公民,这意味着它们可以绑定到名称(包括本地标识符),作为参数传递,并从其他函数返回,就像任何其他数据类型一样。这允许以声明性和可组合的风格编写程序,其中小功能以模块化方式组合。
我们来展示一下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>
在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的键需要是不可变的类型。
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{})
),然后再尝试插入键值对。