Golang面试题详解（四）：Map、Channel、WaitGroup常见陷阱及Struct比较
Golang题库（四）
map取一个key，然后修改这个值，原map数据的值会不会变化？
map属于引用类型，所以取一个key，然后修改这个值，原map数据的值会发生变化
向为nil的channel发送数据会怎么样
空通道即无缓冲通道。无缓冲通道上的发送操作将会阻塞，直到另一个goroutine在对应的通道上执行接收操作，这时值传送完成，两个goroutine都可以继续执行。相反，如果接收操作先执行，接收方gorountine将阻塞，直到另一个goroutine在同一个通道上发送一个值。
使用无缓冲通道进行的通信导致发送和接收goroutine同步化。因此，无缓冲通道也称为同步通道。当一个值在无缓冲通道上传递时，接收值后发送方goroutine才被再次唤醒。
WaitGroup的坑
Add一个负数
如果计数器的值小于0会直接panicAdd在Wait之后调用
比如一些子协程开头调用Add结束调用Wait，这些 Wait无法阻塞子协程。正确做法是在开启子协程之前先Add特定的值。未置为0就重用
WaitGroup可以完成一次编排任务，计数值降为0后可以继续被其他任务所用，但是不要在还没使用完的时候就用于其他任务，这样由于带着计数值，很可能出问题。复制waitgroup
WaitGroup有nocopy字段，不能被复制。也意味着WaitGroup不能作为函数的参数。
go struct 能不能比较
需要具体情况具体分析，如果struct中含有不能被比较的字段类型，就不能被比较，如果struct中所有的字段类型都支持比较，那么就可以被比较。
不可被比较的类型:
① slice，因为slice是引用类型，除非是和nil比较
② map，和slice同理，如果要比较两个map只能通过循环遍历实现
③ 函数类型
其他的类型都可以比较。
还有两点值得注意：
- 结构体之间只能比较它们是否相等，而不能比较它们的大小。
- 只有所有属性都相等而属性顺序都一致的结构体才能进行比较。
本博客所有文章除特别声明外，均采用 CC BY-NC-SA 4.0 许可协议。转载请注明来源 盗计のBlog！
相关推荐
2023-07-03
Golang面试题详解（八）：GC、GMP、逃逸分析与并发陷阱
Golang题库（八）go语言的引用类型有什么？ 切片(slice)类型 map类型 管道(channel)类型 接口(interface)类型 map的key可以是哪些类型？可以嵌套map吗？ key的类型 bool, int， string, 指针 channel interface structs arrays map是可以进行嵌套的。 协程goroutine协程是一种用户态的轻量级线程，协程的调度完全由用户控制（进程和线程都是由cpu 内核进行调度）。 协程拥有自己的寄存器上下文和栈。协程调度切换时，将寄存器上下文和栈保存到其他地方，在切回来的时候，恢复先前保存的寄存器上下文和栈，直接操作栈则基本没有内核切换的开销，可以不加锁的访问全局变量，所以上下文的切换非常快。 对于进程、线程，都是有内核进行调度，有 CPU 时间片的概念，进行抢占式调度（有多种调度算法）。而对于协程(用户级线程)，这是对内核透明的，也就是系统并不知道有协程的存在，是完全由用户自己的程序进行调度的，因为是由用户程序自己控制，那么就很难像抢占式调度那样做到强制的 CPU...
2023-07-04
Golang面试题详解（九）：内存模型、深浅拷贝与并发安全
Golang题库（九）怎么用go实现一个栈12345678910111213141516171819202122232425262728293031323334353637383940//一个队列type MyStack struct { queue []int}func Constructor() MyStack { return MyStack{ queue: make([]int, 0), }}func (this *MyStack) Push(x int) { this.queue = append(this.queue, x)}func (this *MyStack) Pop() int {//出队操作 n := len(this.queue)-1 for n!=0{ ////除了最后一个，其余的都重新添加到队列里 val := this.queue[0] this.queue =...
2023-07-05
Golang面试题详解（十）：并发模型、GMP调度、Context与defer
Golang题库（十）空结构体占不占内存空间？ 为什么使用空结构体？空结构体是没有内存大小的结构体。通过 unsafe.Sizeof() 可以查看空结构体的宽度，代码如下： 12var s struct{}fmt.Println(unsafe.Sizeof(s)) // prints 0 准确的来说，空结构体有一个特殊起点： zerobase 变量。zerobase是一个占用 8 个字节的uintptr全局变量。每次定义 struct {} 类型的变量，编译器只是把zerobase变量的地址给出去。也就是说空结构体的变量的内存地址都是一样的。 空结构体的使用场景主要有三种： 实现方法接收者：在业务场景下，我们需要将方法组合起来，代表其是一个 “分组” 的，便于后续拓展和维护。 实现集合类型：在 Go 语言的标准库中并没有提供集合（Set）的相关实现，因此一般在代码中我们图方便，会直接用 map 来替代：type Set map[string]struct{}。 实现空通道：在 Go channel...
2023-06-19
Golang面试题详解（一）：数组、切片、Channel与继承
Golang题库（一）golang里的数组和切片有了解过吗？值传递和引用传递在函数传参中，数组是值传递，切片则是引用传递。即函数内修改数组，外不变，而切片则相反。 逻辑运算数组能比较大小，切片则只能与nil比较。 容量和长度数组是连续地址的储存相同类型元素的序列，初始化容量之后，不可变。 切片是指向数组的拥有相同类型元素的可变长序列，可以扩容和传递，比数组更加灵活。 Go切片(slice)的实现可以在源码包src/runtime/slice.go中找到。在源码中，slice的数据结构定义如下。 12345type slice struct { array unsafe.Pointer //指向底层数组的指针 len int //切片长度 cap...
2023-06-27
Golang面试题详解（七）：Slice底层、线程安全Map、锁与Map实现
Golang题库（七）Slice 与 Array, Append()Array数组（Array）是一个由固定长度的特定类型元素组成的序列，一个数组可以由零个或多个元素组成。因其长度的不可变动，数组在Go中很少直接使用。把一个大数组传递给函数会消耗很多内存。一般采用数组的切片 几种初始化方式 123arr1 := [3]int{1, 2, 3}arr2 := [...]int{1, 2, 3}arr3 := [3]int{0:3,1:4} SliceSlice是一种数据结构，描述与Slice变量本身分开存储的Array的连续部分。 Slice不是Array。Slice描述了Array的一部分。 slice底层是一个struct 123456// runtime/slice.gotype slice struct { array unsafe.Pointer// 指向数组的指针 len int cap ...
2023-06-22
Golang面试题详解（三）：Channel与锁、应用场景及Slice与Array深度对比
Golang题库（三）同一个协程里面，对无缓冲channel同时发送和接收数据有什么问题 同一个协程里，不能对无缓冲channel同时发送和接收数据，如果这么做会直接报错死锁。 对于一个无缓冲的channel而言，只有不同的协程之间一方发送数据一方接受数据才不会阻塞。channel无缓冲时，发送阻塞直到数据被接收，接收阻塞直到读到数据。 channel和锁的对比作用区别 Channel是用于处理协程中的数据通信问题的，通过编程逻辑设计，可以实现锁的效果。 Mutex是用于控制原子性操作数据安全性，通过加锁和释放确保区间内数据只能有单一协程访问。数据一致性。 两者的用途不同 两者内存占用也不同 channel的应用场景channel用于协程之间数据通信，根据设计能够实现多种功能。 任务超时与取消通过在通道中传递信号，可以实现任务的超时和取消机制。例如，一个 goroutine 可以在执行耗时操作时启动一个定时器，如果操作在指定时间内未完成，可以通过通道发送取消信号给其他 goroutine，从而取消操作。 比如超时处理： 12select { case...
评论
