本文へ移動

GO/TESTS

Go 1.22 / testing

Goの挙動を、
テストで観測する。

説明より先に、実行できる境界条件を見る。Go by Tests は、Sourceとtestingを並べて読むためのExecutable Documentationです。

最初の観測を見る →37 lessons

utf8.goutf8_test.go→

Source → Test / observed

The method

仕様を暗記する前に、
テストの観測結果を読む。

01

Source

確認したい最小のGoコードだけを置きます。

02

Test

testingパッケージで、挙動をそのまま固定します。

03

Evidence

値、nil、error、signalを短い結果として残します。

First observation

string: len は文字数ではなくUTF-8のバイト数を返す

Go 1.22+

GoのstringはUTF-8バイト列であり、絵文字を含むとlenとrune数は一致しません。

Sourceutf8.go

Go 1.22

package stringexample

import "unicode/utf8"

func ByteLen(value string) int {
	return len(value)
}

func RuneLen(value string) int {
	return utf8.RuneCountInString(value)
}

Source✓Test

Testutf8_test.go

Go 1.22

package stringexample

import "testing"

func Test絵文字を含む文字列ではバイト数とrune数が異なる(t *testing.T) {
	value := "Go🐹"

	if got := ByteLen(value); got != 6 {
		t.Fatalf("ByteLen() = %d, want 6", got)
	}
	if got := RuneLen(value); got != 3 {
		t.Fatalf("RuneLen() = %d, want 3", got)
	}
}

Initial catalog

まずは、37個の確かな挙動から。

37 / 37

string: len は文字数ではなくUTF-8のバイト数を返す

Test 絵文字を含む文字列ではバイト数とrune数が異なる

GoのstringはUTF-8バイト列であり、絵文字を含むとlenとrune数は一致しません。

string: range のindexはrune番号ではなくバイト位置になる

Test 文字列に対するrangeのindexはrune番号ではなくバイト位置になる

文字列をrangeするとruneを取り出せますが、indexはUTF-8のバイトオフセットです。

slice: 容量に余裕があるappendは同じ配列を書き換える

Test 容量に余裕があるsliceへのappendは同じバッキング配列を書き換える

appendが必ず新しい配列を確保するとは限らず、元のsliceと配列を共有することがあります。

slice: nilと空sliceはJSONで異なる

Test nilSliceと空sliceはJSONで異なる値になる

どちらもlenは0ですが、nil sliceはJSONでnull、空sliceは[]になります。

map: 存在しないキーも値だけを読むとゼロ値になる

Test 存在しないmapキーも値だけを読むとゼロ値になる

mapの読み取りは未登録でも要素型のゼロ値を返すため、値だけでは存在を判定できません。

interface: nilポインタを入れたinterfaceはnilではない

Test Nilポインタを入れたinterfaceはnilではない

型情報とnil値を持つinterfaceは、値だけがnilのinterfaceとは異なります。

error: ラップした原因はerrors.Isで照合する

Test ラップしたerrorはerrorsIsで原因と照合できる

fmt.Errorfの%wで文脈を付けたerrorは、直接比較ではなくerrors.Isで原因を確認します。

defer: 引数は登録時に評価され、呼び出しはLIFOになる

Test Deferの引数はdefer文を実行した時点で評価される

deferは関数終了時に実行されますが、引数はdefer文を通過した時点で評価されます。

context: cancelされたcontextはcontext.Canceledを返す

Test CancelしたcontextはcontextCanceledを返す

contextのキャンセルはDoneチャネルを閉じ、Errからcontext.Canceledとして観測できます。

channel: 閉じたchannelの受信はゼロ値とfalseを返す

Test 閉じたchannelの受信はゼロ値とfalseを返す

channelを閉じた後でも受信は直ちに返り、値のゼロ値とok=falseで終了を示します。

time.Time: 同じ瞬間でも==とEqualは異なる

Test 同じ時刻でもlocationが異なるtimeTimeはEqualと比較結果が異なる

==はlocationなどの内部表現も比較しますが、Equalは同じ時点を表すか比較します。

encoding/json: omitemptyは数値のゼロ値を省略する

Test OmitEmptyは数値のゼロ値をJSONから省略する

omitemptyを付けたintは0のときJSONから消えるため、0と未指定を区別できません。

Go 1.22: range変数はgoroutineで各反復ごとに捕捉される

Test Go122ではrange変数をgoroutineが各反復ごとに捕捉する

Go 1.22以降はrangeのループ変数が反復ごとに新しくなるため、goroutine内の値が分離されます。

strings.Builder: 書き込み後にコピーするとpanicになる

Test 書き込み後のstringsBuilderをコピーするとpanicになる

書き込み済みのstrings.Builderを値コピーして再利用すると、実行時にpanicします。

string: []byteへの変換結果を変更しても元の文字列は変わらない

Test StringをByteSliceへ変換して変更しても元の文字列は変わらない

stringを[]byteへ変換すると、変更可能な別のバイト列として扱えます。

map: nil mapは読み取りできても書き込みでpanicになる

Test NilMapは読み取りできても書き込みでpanicになる

nil mapへの読み取りはゼロ値を返しますが、代入するとpanicします。

slices.Clone: 別のバッキング配列を作る

Test SlicesCloneは別のバッキング配列を作る

slices.Cloneで複製したsliceを変更しても、元のsliceは書き換わりません。

interface: sliceを格納した値同士の比較はpanicになる

Test Sliceを持つinterface値同士の比較はpanicになる

interface自体は比較可能でも、動的な値がsliceなら==の評価時にpanicします。

errors.Join: 複数の原因をerrors.Isで照合できる

Test ErrorsJoinした複数の原因をErrorsIsで照合できる

errors.Joinでまとめたエラーは、含まれる各原因をerrors.Isで見つけられます。

errors.As: ラップしたポインタ型の原因を取り出す

Test ErrorsAsでポインタ型の原因を取り出せる

errors.Asはラップ階層から目的の具体的なエラー型を取り出せます。

defer: Closeのエラーは明示的に返さなければ失われる

Test DeferしたCloseのエラーは明示的に返さなければ失われる

deferでCloseを呼ぶだけでは、その失敗を関数の返り値へ反映できません。

context: 期限切れはcontext.DeadlineExceededとして観測する

Test Timeout期限切れはContextDeadlineExceededを返す

WithTimeoutやWithDeadlineで期限が切れると、Errはcontext.DeadlineExceededになります。

channel: nil channelを含むselect caseは無効になる

Test NilChannelを含むSelectCaseは無効になる

nil channelの送受信caseはselectから外れ、defaultがあればdefaultが選ばれます。

sync.Once: panicしてもDoは再実行しない

Test SyncOnceはPanicしても再実行しない

Once.Doの関数がpanicしても、そのOnceは完了済みとして扱われます。

encoding/json: 非公開フィールドはタグがあっても出力しない

Test EncodingJsonは非公開フィールドを出力しない

encoding/jsonは小文字で始まる非公開フィールドをJSONの対象にしません。

sync.Map: Loadの結果は型アサーションなしに使えない

Test SyncMapのLoad結果は型アサーションなしに使えない

sync.Mapは値をanyとして返すため、読み出し側で期待する型を確認する必要があります。

http.Response.Body: 読み終えた後にCloseする

Test HTTPResponseBodyは読み終えた後にCloseする

HTTPレスポンスのBodyは読み終えた後に必ずcloseし、接続を適切に解放します。

time.Duration: 無単位の整数はナノ秒として扱われる

Test 無単位のDurationはナノ秒として扱われる

time.Durationへ直接渡した整数は、ミリ秒でなくナノ秒を表します。

context.WithValue: 文字列キーを共有すると値が衝突する

Test ContextWithValueで文字列キーを共有すると値が衝突する

同じ文字列キーを使うWithValueは、より内側で設定した値が前の値を隠します。

range: 反復中にappendしても開始時の長さまでしか走査しない

Test Range中にAppendしても反復回数は開始時の長さで固定される

rangeが対象にする反復回数は開始時に決まり、ループ中にappendした要素を追加で走査しません。

recover: deferした関数から直接呼ばなければpanicを回復できない

Test RecoverはDeferした関数から直接呼ばなければPanicを回復できない

recoverをヘルパー関数へ委譲すると、panicは回復されずに呼び出し元へ伝播します。

channel: 閉じたchannelへ送信するとpanicになる

Test 閉じたChannelへの送信はPanicになる

close済みのchannelに送信すると、受信のゼロ値とは異なり実行時panicになります。

encoding/json: 未知フィールドは既定で無視される

Test EncodingJsonは未知フィールドを既定で無視しDisallowUnknownFieldsで拒否できる

json.Unmarshalはstructに存在しないキーを既定で無視し、DecoderのDisallowUnknownFieldsで拒否できます。

context: WithCancelCauseではErrとCauseが異なる

Test WithCancelCauseではErrはCanceledでCauseは指定した原因になる

キャンセル状態はcontext.Canceledのままで、業務上の失敗原因はcontext.Causeから取り出します。

array と slice: 配列はコピーされsliceは要素を共有する

Test 配列は値としてコピーされsliceは要素を共有する

配列の引数は値として渡り、sliceの要素変更は呼び出し元へ反映されます。

receiver: value receiverはコピー、pointer receiverは元を更新する

Test valueReceiverはコピーを更新しpointerReceiverは呼び出し元を更新する

value receiverの変更は呼び出し元へ残らず、pointer receiverの変更は元の値へ反映されます。

channel: buffered channelは容量まで受信者なしで送信できる

Test bufferedChannelは受信者なしでも容量まで送信できる

buffered channelは空き容量がある間、受信側を待たずに送信を受け付けます。