際際滷

いまさら�けない
select あれこれ
Go Allstars 2 (Oct 2, 2016)
珍寄�o / Daisuke Maki (lestrrat)
HDE幄塀氏芙

? 珍寄�o (lestrrat)
? 幄塀氏芙 HDE
? Perl/Go/C 吉
? builderscon 12埖3晩 �_岸!?
https://builderscon.io/

builderscon
? 12埖3晩�_岸�
? Web狼エンジニア�_に�Sしんでもらいつつ、これまでの��にとらわれない
��？な蛍勸の室�g宀�_が�K�Y�
? 頁掲仝岑らなかった、を岑る々ためにご栖��世気ぁ�
? ト�`ク勅鹿嶄�?
https://builderscon.io/builderscon/tokyo/2016/cfp

channel++
? 極議に冱ってチャンネルは恷互
? 電麿�I尖を吭�Rしないデ�`タの卞��
? でもチャンネル�g悶ではできない荷恬が
�Y��ある。

func WriteCh(ch chan int) {
ch <- 1 // Could block, bah
}
channels block
? バッファ原きチャンネルでもブロックする辛嬬來

func ReadCh(ch chan int) {
<-ch // Could block, bah
}
channels block
? �iみ�zみでも��zみがあるまでブロック
? ��ｶ�弔�<-chはチャンネルが�]じてあるかどうか
の�_�Jにしか聞えないので、やっぱりブロックする

つまり
? �}方のチャンネルを揖�rに揖じgoroutineで
�Qいたい��呂呂匹Δ垢襭�

go func() {
<-ch1
´
}()
go func() {
<-ch2
´
}()
チョットチガウ´

select
? Cのselect聞った並ある繁� アレです
? �}方のchannelの�iみ��④鰆酉銈靴討�譴�
? Go嶄�宀なら�_�gにマスタ�`してるべき

select {
case チャンネル荷恬:
´
case チャンネル荷恬:
´
default:?
´
}
児云侘

func CanWeRead(ch <-chan int) {
select {
case <-ch:
´ // yes, we can read
}
}
�iみ�zみ

select {
case <-ch:
}
}
�iみ�zみ
ポイント�defaultがないとブ
ロックするよ�

select {
case <-ch:
default:
´ // no, we could not read
}
}
�iみ�zみ

select {
case <-ch:
default:
´ // no, we could not read
}
}
�iみ�zみ
ポイント��iみ�zみが軸�rでき
ない��呂魯妊侫�襯箸�g佩さ
れるので、�g�|議なノンブロッ
キングI/O

select {
case v, ok := <-ch:
if !ok { // channel is closed
´
}
fmt.Println(v)
}
}
�､鯤垢�

select {
case v, ok := <-ch:
if !ok { // channel is closed
´
}
fmt.Println(v)
}
}
�､鯤垢�
ポイント�旗秘もできるよ�

func CanWeWrite(ch chan int) {
select {
case ch<-1:
´ // yes, we can write
default:
´ // no, we could not write
}
}
��zみ

func CanWeWrite(ch chan int) {
select {
case ch<-1:
´ // yes, we can write
default:
´ // no, we could not write
}
}
��zみ
ポイント��zみが軸�rでき
ない��呂魯妊侫�襯箸�g佩さ
れるので、�g�|議なノンブロッ
キングI/O

ところで
? nilなチャンネルに��する��zみ?�iみ�zみ
の荷恬ってどうなるか岑ってますか�

var ch chan int
<-ch // 兜豚晒してないのでch = nil
? panic?
? ブロック�
? その麿�

nil channel
? �iみ�zみ�ブロック
? 慕き�zみ�ブロック

var ch chan int
select {
case <-ch:
´
}
´ということは

var ch chan int
select {
case <-ch:
´
}
´ということは
ポイント�この�iみ�zみが撹孔するこ
とはない�

select {
case <-ch1:
´
case <-ch2:
ch1 = nil // Disable previous case
}
蒙協のケ�`スを�o�燭砲垢�

select {
case <-ch1:
´
case <-ch2:
}
ポイント�恷兜は噸宥にch1から�iみ
�zみ辛嬬

select {
case <-ch1:
´
case <-ch2:
}
ポイント�ch2から�iみ�zみができた
らch1を�o�燭砲靴討襦�海賻埆�ch1の
caseは�g佩されることがない

ch1 = nil
select {
case <-ch1:
´
case <-ch2:
ch1 = ´ // Enable previous case
}
剃バ�`ジョン

ch1 = nil
select {
case <-ch1:
´
case <-ch2:
}
剃バ�`ジョン
ポイント�恷兜はch1 = nilなので�~
��にこのcaseは�g佩されない。嗤�燭�
チャンネルを旗秘すれば�咾��

ch1 = nil
select {
case <-ch1:
´
case <-ch2:
}
剃バ�`ジョン
ポイント�ch1 に嗤�燭淵船礇鵐優襪�
旗秘すればch1のcaseも嗤�燭砲覆�

パタ�`ン
? selectを聞ったよくつかうパタ�`ン鹿

t := time.NewTimer(30*time.Second)
defer t.Stop()
select {
case <-t.C:
return errors.New(＾timeout￣)
case ch <- 1:?
return nil
}
��zみタイムアウト

defer t.Stop()
select {
case <-t.C:
case ch <- 1:?
return nil
}
ポイント� ��zみが撹孔したらエ
ラ�`�oしで用竃

defer t.Stop()
select {
case <-t.C:
case ch <- 1:?
return nil
}
ポイント� ��zむより枠にタイム
アウトになったらエラ�`を卦す

defer t.Stop()
for {
select {
case <-t.C: // 30昼瘁にここにくる
return
default:?
// タイムアウトするまで佩う荷恬
}
}
タイムアウトまでル�`プ

defer t.Stop()
for {
select {
return
default:?
}
}
ポイント�for で�譴泙覆い頒算�
defaultの荷恬をしたら�Kわっちゃう
ので、�o�ル�`プにする

defer t.Stop()
for {
select {
return
default:?
}
}
ポイント� タイマ�`からお岑らせが
栖たらこのル�`プから用竃

t := time.NewTicker(time.Second)
defer t.Stop()
for {
select {
case <-t.C: // 1昼ごとにここにくる
// 協豚議な�I尖坪否
}
}
協豚議に�g佩

t := time.NewTicker(time.Second)
defer t.Stop()
for {
select {
case <-t.C: // 1昼ごとにここにくる
}
}
協豚議に�g佩
ポイント�TimerではなくTicker

ところで
? closeされたチャンネルから�iみ�zむとどうなる�

time.AfterFunc(5*time.Second, func() {
close(done)
})
for {
select {
case <-done:?
return
default:
}
}
＾done￣チャンネル

close(done)
})
for {
select {
case <-done:?
return
default:
}
}
ポイント� チャンネルをcloseすると
�iみ�zみブロックが盾茅される

close(done)
})
for {
select {
case <-done:?
return
default:
}
}
ポイント��､�o�燭世�▲屮蹈�
クは盾けるのでル�`プを用竃できる

for {
select {
case <-ctx.Done():?
return
default:
}
}
Go 1.7からはContext

Context
? context.Contextができてからselectを聞う並
がより謹くなった

Context
? I/Oとか�v�Sなくても、仝余嶄で�I尖を峭め
る々狼のコ�`ドでものすごく措く聞う

箭�仝リストを�I尖々
for _, data := range list {
select {
case <-ctx.Done():?
return
default:
process(data)
}
}

箭�仝リストを�I尖々
for _, data := range list {
select {
case <-ctx.Done():?
return
default:
process(data)
}
}
ポイント�リスト勣殆を�I尖する�阿�
Doneをチェックし、駅勣であれば�K阻

翌祇
? いよいよselectの��B議な聞いかたを駅勣とする�r

reflect.Select
? �啜弔�select猟を��B
? プログラム�g佩嶄にcaseの方や坪否を�筝釮任④�
reflect.Select([]reflect.SelectCase{
reflect.SelectCase{Chan: ch1},
})

まとめ
? チャンネルとselectの�}栽室で燕�Fの嫌が
ﾚがる
? 兜�★嶄�になるには兀さえておきたい。

builderscon
? 12埖3晩�_岸�
? ト�`ク勅鹿嶄�?
https://builderscon.io/builderscon/tokyo/2016/cfp

際際滷

いまさら療けない壊艶鉛艶界岳あれこれ

Recommended

More Related Content

What's hot (20)

Viewers also liked (20)

More from lestrrat (20)

Recently uploaded (11)

いまさら療けない壊艶鉛艶界岳あれこれ