设计模式面试题go语言 go语言面试100题( 二 )


channel 内部其实是一个环形buf数据结构,是一种滑动窗口机制,当make完后,就分配在 Heap 上 。
上面 , 向 chan 发送一条“hello”数据:
如果 G1 发送数据超过指定cap时 , 会出现什么情况?
看下面实例:
以上会出现什么 , chan 缓冲区允许大小为1 , 如果再往chan仍数据 , 满了就会被阻塞,那么是如何实现阻塞的呢?当 chan 满时,会进入 gopark,此时 G1 进入一个 waiting 状态,然后会创建一个 sudog 对象,其实就sendq队列,把 200放进去 。等 buf 不满的时候,再唤醒放入buf里面 。
通过如下源码 , 你会更加清晰:
上面,从 chan 获取数据:
Go 语言核心思想:“Do not communicate by sharing memory; instead, share memory by communicating.” 你可以看看这本书名叫:Effective Go
如果接收者 , 接收一个空对象,也会发生什么情况?
代码示例:
也会报错如下:
上面,从 chan 取出数据,可是没有数据了 。此时,它会把 接收者 G2 阻塞掉 , 也是和G1发送者一样,也会执行 gopark 将状态改为 waiting,不一样的点就是 。
正常情况下,接收者G2作为取出数据是去 buf 读取数据的,但现在,buf 为空了,此时,接收者G2会将sudog导出来,因为现在G2已经被阻塞了嘛,会把G2给G,然后将t := -ch中变量t是在栈上的地址,放进去elem,也就是说 , 只存它的地址指针在sudog里面 。
最后,ch - 200当G1往 chan 添加200这个数据,正常情况是将数据添加到buf里面,然后唤醒 G2 是吧,而现在是将 G1 的添加200数据直接干到刚才G2阻塞的t这里变量里面 。
你会认为 , 这样真的可以吗?想一想,G2 本来就是已经阻塞了,然后我们直接这么干肯定没有什么毛病,而且效率提高了,不需要再次放入buf再取出,这个过程也是需要时间 。不然,不得往chan添加数据需要加锁、拷贝、解锁一序列操作,那肯定就慢了 , 我想Go语言是为了高效及内存使用率的考虑这样设计的 。(注意,一般都是在runtime里面完成,不然会出现象安全问题 。)
总结:
chan 类型的特点:chan 如果为空 , receiver 接收数据的时候就会阻塞等待,直到 chan 被关闭或者有新的数据到来 。有这种个机制,就可以实现 wait/notify 的设计模式 。
相关面试题:
go语言适合做什么?Go语言 。他主要是在一些网页版的服务器中用于系统编程的一种语言 。他是谷歌开发的一种编程语言 。在一定程度上,谷歌有一定的垄断作用 。不能随随便便的在语言当中添加其他的语言成分 。
如何看待go语言泛型的最新设计?Go 由于不支持泛型而臭名昭著 , 但最近,泛型已接近成为现实 。Go 团队实施了一个看起来比较稳定的设计草案,并且正以源到源翻译器原型的形式获得关注 。本文讲述的是泛型的最新设计 , 以及如何自己尝试泛型 。
例子
FIFO Stack
假设你要创建一个先进先出堆栈 。没有泛型 , 你可能会这样实现:
type Stack []interface{}func (s Stack) Peek() interface{} {
return s[len(s)-1]
}
func (s *Stack) Pop() {
*s = (*s)[:
len(*s)-1]
}
func (s *Stack) Push(value interface{}) {
*s =
append(*s, value)
}
但是 , 这里存在一个问题:每当你 Peek 项时 , 都必须使用类型断言将其从 interface{} 转换为你需要的类型 。如果你的堆栈是 *MyObject 的堆栈,则意味着很多 s.Peek().(*MyObject)这样的代码 。这不仅让人眼花缭乱,而且还可能引发错误 。比如忘记 * 怎么办?或者如果您输入错误的类型怎么办?s.Push(MyObject{})` 可以顺利编译 , 而且你可能不会发现到自己的错误 , 直到它影响到你的整个服务为止 。

推荐阅读