Goを触る機会が出てきそうなので、A Tour of Goを始めました。学習した内容をメモしていきます。

A Tour of Go

https://go-tour-jp.appspot.com/list

パッケージ( package )

規約で、パッケージ名はインポートパスの最後の要素と同じ名前になります。例えば、インポートパスが "math/rand" のパッケージは、 package rand ステートメントで始まるファイル群で構成します。

factored import statement

factored の意味は、「要素化、グループ化、整理済み」

例

import (
	"fmt"
	"math"
)

Exported names

Goでは、最初の文字が大文字で始まる名前は、外部のパッケージから参照できるエクスポート（公開）された名前( exported name )です。

Functions

関数名の後ろに型を書きます。

例

func add(x int, y int) int {
	return x + y
}

Functions continued

関数の２つ以上の引数が同じ型である場合には、最後の型を残して省略して記述できます。

例

func add(x, y int) int {
	return x + y
}

Multiple results

関数は複数の戻り値を返すことができます。

例

package main

import "fmt"

func swap(x, y string) (string, string) {
	return y, x
}

func main() {
	a, b := swap("hello", "world")
	fmt.Println(a, b)
}

Named return values

Goでの戻り値となる変数に名前をつける( named return value )ことができます。戻り値に名前をつけると、関数の最初で定義した変数名として扱われます。

名前をつけた戻り値の変数を使うと、 return ステートメントに何も書かずに戻すことができます。これを "naked" return と呼びます。

例

func split(sum int) (x, y int) {
	x = sum * 4 / 9
	y = sum - x
	return
}

Variables

var ステートメントは変数( variable )を宣言します。関数の引数リストと同様に、複数の変数の最後に型を書くことで、変数のリストを宣言できます。

例

var c, python, java bool
var i int

Variables with initializers

var 宣言では、変数毎に初期化子( initializer )を与えることができます。初期化子が与えられている場合、型を省略できます。その変数は初期化子が持つ型になります。

例

var i, j int = 1, 2
var c, python, java = true, false, "no!"

Short variable declarations

関数の中では、 var 宣言の代わりに、短い := の代入文を使い、暗黙的な型宣言ができます。

例

k := 3
c, python, java := true, false, "no!"

Basic types

Go言語の基本型(組み込み型)は次のとおりです:

例

bool

string

int  int8  int16  int32  int64
uint uint8 uint16 uint32 uint64 uintptr

byte // uint8 の別名

rune // int32 の別名
     // Unicode のコードポイントを表す

float32 float64

complex64 complex128

Zero values

変数に初期値を与えずに宣言すると、ゼロ値( zero value )が与えられます。

数値型(int,floatなど): 0 bool型: false string型: "" (空文字列( empty string ))

Type conversions

変数 v 、型 T があった場合、 T(v) は、変数 v を T 型へ変換します。

いくつかの変換を見てみましょう:

例

var i int = 42
var f float64 = float64(i)
var u uint = uint(f)

よりシンプルに記述できます。

例

i := 42
f := float64(i)
u := uint(f)

Type inference

明示的な型を指定せずに変数を宣言する場合( := や var = のいずれか)、変数の型は右側の変数から型推論されます。

Constants

定数( constant )は、 const キーワードを使って変数と同じように宣言します。定数は、文字(character)、文字列(string)、boolean、数値(numeric)のみで使えます。なお、定数は := を使って宣言できません。

Numeric Constants

数値の定数は、高精度な値 ( values )です。型のない定数は、その状況によって必要な型を取ることになります。

For

基本的に、 for ループはセミコロン ; で3つの部分に分かれています:

初期化ステートメント: 最初のイテレーション(繰り返し)の前に初期化が実行されます条件式: イテレーション毎に評価されます後処理ステートメント: イテレーション毎の最後に実行されます

ループは、条件式の評価が false となった場合にイテレーションを停止します。

例

package main

import "fmt"

func main() {
	sum := 0
	for i := 0; i < 10; i++ {
		sum += i
	}
	fmt.Println(sum)
}

For continued

初期化と後処理ステートメントの記述は任意です。

例

package main

import "fmt"

func main() {
	sum := 1
	for ; sum < 1000; {
		sum += sum
	}
	fmt.Println(sum)
}

For is Go's "while"

セミコロン(;)を省略することもできます。つまり、C言語などにある while は、Goでは for だけを使います。

package main

import "fmt"

func main() {
	sum := 1
	for sum < 1000 {
		sum += sum
	}
	fmt.Println(sum)
}

Forever

ループ条件を省略すれば、無限ループ( infinite loop )になりますので、無限ループをコンパクトに表現できます。

例

package main

func main() {
	for {
	}
}

If

Go言語の if ステートメントは、先ほどの for ループと同様に、括弧 ( ) は不要で、中括弧は必要です。

例


package main

import (
	"fmt"
	"math"
)

func sqrt(x float64) string {
	if x < 0 {
		return sqrt(-x) + "i"
	}
	return fmt.Sprint(math.Sqrt(x))
}

func main() {
	fmt.Println(sqrt(2), sqrt(-4))
}

If with a short statement

if ステートメントは、 for のように、条件の前に、評価するための簡単なステートメントを書くことができます。

例

package main

import (
	"fmt"
	"math"
)

func pow(x, n, lim float64) float64 {
	if v := math.Pow(x, n); v < lim {
		return v
	}
	return lim
}

func main() {
	fmt.Println(
		pow(3, 2, 10),
		pow(3, 3, 20),
	)
}

If and else

if ステートメントで宣言された変数は、 else ブロック内でも使うことができます。

例

package main

import (
	"fmt"
	"math"
)

func pow(x, n, lim float64) float64 {
	if v := math.Pow(x, n); v < lim {
		return v
	} else {
		fmt.Printf("%g >= %g\n", v, lim)
	}
	// can't use v here, though
	return lim
}

func main() {
	fmt.Println(
		pow(3, 2, 10),
		pow(3, 3, 20),
	)
}

Exercise: Loops and Functions

例

package main

import (
	"fmt"
)

func Sqrt(x float64) float64 {
	z := 1.0
	for i := 0; i < 10; i++ {
		z -= (z*z - x) / (2*z)
	}
	return z
}

func main() {
	fmt.Println(Sqrt(64))
}

Switch

switch ステートメントは if - else ステートメントのシーケンスを短く書く方法です。

Go の switch の case は定数である必要はなく、関係する値は整数である必要はないということです。

例

package main

import (
	"fmt"
	"runtime"
)

func main() {
	fmt.Print("Go runs on ")
	switch os := runtime.GOOS; os {
	case "darwin":
		fmt.Println("OS X.")
	case "linux":
		fmt.Println("Linux.")
	default:
		// freebsd, openbsd,
		// plan9, windows...
		fmt.Printf("%s.\n", os)
	}
}

Switch evaluation order

switch caseは、上から下へcaseを評価します。 caseの条件が一致すれば、そこで停止(自動的にbreak)します。

例

package main

import (
	"fmt"
	"time"
)

func main() {
	fmt.Println("When's Saturday?")
	today := time.Now().Weekday()
	switch time.Saturday {
	case today + 0:
		fmt.Println("Today.")
	case today + 1:
		fmt.Println("Tomorrow.")
	case today + 2:
		fmt.Println("In two days.")
	default:
		fmt.Println("Too far away.")
	}
}

Switch with no condition

条件のないswitchは、 switch true と書くことと同じです。

例

package main

import (
	"fmt"
	"time"
)

func main() {
	t := time.Now()
	switch {
	case t.Hour() < 12:
		fmt.Println("Good morning!")
	case t.Hour() < 17:
		fmt.Println("Good afternoon.")
	default:
		fmt.Println("Good evening.")
	}
}

Defer

defer ステートメントは、 defer へ渡した関数の実行を、呼び出し元の関数の終わり(returnする)まで遅延させるものです。

defer へ渡した関数の引数は、すぐに評価されますが、その関数自体は呼び出し元の関数がreturnするまで実行されません。

例

package main

import "fmt"

func main() {
	defer fmt.Println("world")

	fmt.Println("hello")
}

Stacking defers

defer へ渡した関数が複数ある場合、その呼び出しはスタック( stack )されます。呼び出し元の関数がreturnするとき、 defer へ渡した関数は LIFO(last-in-first-out) の順番で実行されます。

例

package main

import "fmt"

func main() {
	fmt.Println("counting")

	for i := 0; i < 10; i++ {
		defer fmt.Println(i)
	}

	fmt.Println("done")
}

Pointers

Goはポインタを扱います。ポインタは値のメモリアドレスを指します。

例

package main

import "fmt"

func main() {
	i, j := 42, 2701

	p := &i         // point to i
	fmt.Println(*p) // read i through the pointer
	*p = 21         // set i through the pointer
	fmt.Println(i)  // see the new value of i

	p = &j         // point to j
	*p = *p / 37   // divide j through the pointer
	fmt.Println(j) // see the new value of j
}

Structs

struct (構造体)は、フィールド( field )の集まりです。

例

package main

import "fmt"

type Vertex struct {
	X int
	Y int
}

func main() {
	fmt.Println(Vertex{1, 2})
}

Struct Fields

structのフィールドは、ドット( . )を用いてアクセスします。

例

package main

import "fmt"

type Vertex struct {
	X int
	Y int
}

func main() {
	v := Vertex{1, 2}
	v.X = 4
	fmt.Println(v.X)
}

Pointers to structs

structのフィールドは、structのポインタを通してアクセスすることもできます。

例

package main

import "fmt"

type Vertex struct {
	X int
	Y int
}

func main() {
	v := Vertex{1, 2}
	p := &v
	p.X = 1e9
	fmt.Println(v)
}

Struct Literals

structリテラルは、フィールドの値を列挙することで新しいstructの初期値の割り当てを示しています。

例

package main

import "fmt"

type Vertex struct {
	X int
	Y int
}

func main() {
	v := Vertex{1, 2}
	p := &v
	p.X = 1e9
	fmt.Println(v)
}

Arrays

[n]T 型は、型 T の n 個の変数の配列( array )を表します。以下は、intの10個の配列を宣言しています:

例

var a [10]int

Slices

配列は固定長です。一方で、スライスは可変長です。より柔軟な配列と見なすこともできます。実際には、スライスは配列よりもより一般的です。

例

package main

import "fmt"

func main() {
	primes := [6]int{2, 3, 5, 7, 11, 13}

	var s []int = primes[1:4]
	fmt.Println(s)
}

Slices are like references to arrays

スライスは配列への参照のようなものです。スライスはどんなデータも格納しておらず、単に元の配列の部分列を指し示しています。スライスの要素を変更すると、その元となる配列の対応する要素が変更されます。同じ元となる配列を共有している他のスライスは、それらの変更が反映されます。

例

package main

import "fmt"

func main() {
	names := [4]string{
		"John",
		"Paul",
		"George",
		"Ringo",
	}
	fmt.Println(names)

	a := names[0:2]
	b := names[1:3]
	fmt.Println(a, b)

	b[0] = "XXX"
	fmt.Println(a, b)
	fmt.Println(names)
}

Slice literals

スライスのリテラルは長さのない配列リテラルのようなものです。

これは配列リテラルです:

[3]bool{true, true, false}

そして、これは上記と同様の配列を作成し、それを参照するスライスを作成します:

[]bool{true, true, false}

Slice defaults

スライスするときは、それらの既定値を代わりに使用することで上限または下限を省略することができます。

以下の配列において

var a [10]int

これらのスライス式は等価です:

a[0:10]
a[:10]
a[0:]
a[:]

Slice length and capacity

スライスは長さ( length )と容量( capacity )の両方を持っています。スライスの長さは、それに含まれる要素の数です。スライスの容量は、スライスの最初の要素から数えて、元となる配列の要素数です。スライス s の長さと容量は len(s) と cap(s) という式を使用して得ることができます。

Nil slices

スライスのゼロ値は nil です。 nil スライスは 0 の長さと容量を持っており、何の元となる配列も持っていません。

Creating a slice with make

スライスは、組み込みの make 関数を使用して作成することができます。これは、動的サイズの配列を作成する方法です。

make 関数はゼロ化された配列を割り当て、その配列を指すスライスを返します。

a := make([]int, 5)  // len(a)=5

make の3番目の引数に、スライスの容量( capacity )を指定できます。 cap(b) で、スライスの容量を返します:

b := make([]int, 0, 5) // len(b)=0, cap(b)=5

b = b[:cap(b)] // len(b)=5, cap(b)=5
b = b[1:]      // len(b)=4, cap(b)=4

Slices of slices

スライスは、他のスライスを含む任意の型を含むことができます。

例

package main

import (
	"fmt"
	"strings"
)

func main() {
	// Create a tic-tac-toe board.
	board := [][]string{
		[]string{"_", "_", "_"},
		[]string{"_", "_", "_"},
		[]string{"_", "_", "_"},
	}

	// The players take turns.
	board[0][0] = "X"
	board[2][2] = "O"
	board[1][2] = "X"
	board[1][0] = "O"
	board[0][2] = "X"

	for i := 0; i < len(board); i++ {
		fmt.Printf("%s\n", strings.Join(board[i], " "))
	}
}

Appending to a slice

スライスへ新しい要素を追加するには、Goの組み込みの append を使います。

例

package main

import "fmt"

func main() {
	var s []int
	printSlice(s)

	// append works on nil slices.
	s = append(s, 0)
	printSlice(s)

	// The slice grows as needed.
	s = append(s, 1)
	printSlice(s)

	// We can add more than one element at a time.
	s = append(s, 2, 3, 4)
	printSlice(s)
}

func printSlice(s []int) {
	fmt.Printf("len=%d cap=%d %v\n", len(s), cap(s), s)
}

Range

for ループに利用する range は、スライスや、マップ( map )をひとつずつ反復処理するために使います。スライスをrangeで繰り返す場合、rangeは反復毎に2つの変数を返します。 1つ目の変数はインデックス( index )で、2つ目はインデックスの場所の要素のコピーです。

例

package main

import "fmt"

var pow = []int{1, 2, 4, 8, 16, 32, 64, 128}

func main() {
	for i, v := range pow {
		fmt.Printf("2**%d = %d\n", i, v)
	}
}

Range continued

インデックスや値は、 " _ "(アンダーバー) へ代入することで捨てることができます。

for i, _ := range pow
for _, value := range pow

もしインデックスだけが必要なのであれば、2つ目の値を省略します。

for i := range pow

Exercise: Slices

例

package main

import "golang.org/x/tour/pic"

func Pic(dx, dy int) [][]uint8 {
	pic := make([][]uint8, dy)
	for y := range pic {
		pic[y] = make([]uint8, dx)
		for x := range pic[y] {
			pic[y][x] = uint8(x ^ y)
		}
	}
	return pic
}

func main() {
	pic.Show(Pic)
}

Maps

map はキーと値とを関連付けます(マップします)。マップのゼロ値は nil です。 nil マップはキーを持っておらず、またキーを追加することもできません。

Map literals

mapリテラルは、structリテラルに似ていますが、キー ( key )が必要です。

Map literals continued

もし、mapに渡すトップレベルの型が単純な型名である場合は、リテラルの要素から推定できますので、その型名を省略することができます。

Mutating Maps

map m の操作を見ていきましょう。

m へ要素(elem)の挿入や更新: m[key] = elem 要素の取得: elem = m[key] 要素の削除: delete(m, key) キーに対する要素が存在するかどうかは、2つの目の値で確認します: elem, ok = m[key]

もし、 m に key があれば、変数 ok は true となり、存在しなければ、 ok は false となります。なお、mapに key が存在しない場合、 elem はmapの要素の型のゼロ値となります。

Exercise: Maps

例

package main

import (
	"strings"

	"golang.org/x/tour/wc"
)

func WordCount(s string) map[string]int {
	wc := make(map[string]int)
	for _, w := range strings.Fields(s) {
		wc[w]++
	}
	return wc
}

func main() {
	wc.Test(WordCount)
}

Function values

関数も変数です。他の変数のように関数を渡すことができます。関数値( function value )は、関数の引数に取ることもできますし、戻り値としても利用できます。

例

package main

import (
	"fmt"
	"math"
)

func compute(fn func(float64, float64) float64) float64 {
	return fn(3, 4)
}

func main() {
	hypot := func(x, y float64) float64 {
		return math.Sqrt(x*x + y*y)
	}
	fmt.Println(hypot(5, 12))

	fmt.Println(compute(hypot))
	fmt.Println(compute(math.Pow))
}

Function closures

Goの関数はクロージャ( closure ) です。クロージャは、それ自身の外部から変数を参照する関数値です。この関数は、参照された変数へアクセスして変えることができ、その意味では、その関数は変数へ"バインド"( bind )されています。

例

package main

import "fmt"

func adder() func(int) int {
	sum := 0
	return func(x int) int {
		sum += x
		return sum
	}
}

func main() {
	pos, neg := adder(), adder()
	for i := 0; i < 10; i++ {
		fmt.Println(
			pos(i),
			neg(-2*i),
		)
	}
}

Exercise: Fibonacci closure

例

package main

import "fmt"

func fibonacci() func() int {
	n, n1 := 0, 1
	return func() int {
		v := n
		n, n1 = n1, n+n1
		return v
	}
}

func main() {
	f := fibonacci()
	for i := 0; i < 10; i++ {
		fmt.Println(f())
	}
}

Methods

Goには、クラス( class )のしくみはありませんが、型にメソッド( method )を定義できます。

例

package main

import (
	"fmt"
	"math"
)

type Vertex struct {
	X, Y float64
}

func (v Vertex) Abs() float64 {
	return math.Sqrt(v.X*v.X + v.Y*v.Y)
}

func main() {
	v := Vertex{3, 4}
	fmt.Println(v.Abs())
}

Methods are functions

この Abs は、先ほどの例から機能を変えずに通常の関数として記述しています。

例

package main

import (
	"fmt"
	"math"
)

type Vertex struct {
	X, Y float64
}

func Abs(v Vertex) float64 {
	return math.Sqrt(v.X*v.X + v.Y*v.Y)
}

func main() {
	v := Vertex{3, 4}
	fmt.Println(Abs(v))
}

Methods continued

例で挙げたstructの型だけではなく、任意の型(type)にもメソッドを宣言できます。レシーバを伴うメソッドの宣言は、レシーバ型が同じパッケージにある必要があります。他のパッケージに定義している型に対して、レシーバを伴うメソッドを宣言できません。

例

package main

import (
	"fmt"
	"math"
)

type MyFloat float64

func (f MyFloat) Abs() float64 {
	if f < 0 {
		return float64(-f)
	}
	return float64(f)
}

func main() {
	f := MyFloat(-math.Sqrt2)
	fmt.Println(f.Abs())
}

Pointer receivers

これはレシーバの型が、ある型 T への構文 *T があることを意味します。（なお、 T は *int のようなポインタ自身を取ることはできません）

例では *Vertex に Scale メソッドが定義されています。

ポインタレシーバを持つメソッド(ここでは Scale )は、レシーバが指す変数を変更できます。レシーバ自身を更新することが多いため、変数レシーバよりもポインタレシーバの方が一般的です。

例

package main

import (
	"fmt"
	"math"
)

type Vertex struct {
	X, Y float64
}

func (v Vertex) Abs() float64 {
	return math.Sqrt(v.X*v.X + v.Y*v.Y)
}

func (v *Vertex) Scale(f float64) {
	v.X = v.X * f
	v.Y = v.Y * f
}

func main() {
	v := Vertex{3, 4}
	v.Scale(10)
	fmt.Println(v.Abs())
}

Pointers and functions

ここで、 Abs と Scale メソッドは関数として書きなおしてあります。

例

package main

import (
	"fmt"
	"math"
)

type Vertex struct {
	X, Y float64
}

func Abs(v Vertex) float64 {
	return math.Sqrt(v.X*v.X + v.Y*v.Y)
}

func Scale(v *Vertex, f float64) {
	v.X = v.X * f
	v.Y = v.Y * f
}

func main() {
	v := Vertex{3, 4}
	Scale(&v, 10)
	fmt.Println(Abs(v))
}

Methods and pointer indirection

下の2つの呼び出しを比べると、ポインタを引数に取る ScaleFunc 関数は、ポインタを渡す必要があることに気がつくでしょう:

var v Vertex
ScaleFunc(v, 5)  // Compile error!
ScaleFunc(&v, 5) // OK

メソッドがポインタレシーバである場合、呼び出し時に、変数、または、ポインタのいずれかのレシーバとして取ることができます:

var v Vertex
v.Scale(5)  // OK
p := &v
p.Scale(10) // OK

v.Scale(5) のステートメントでは、 v は変数であり、ポインタではありません。メソッドでポインタレシーバが自動的に呼びだされます。 Scale メソッドはポインタレシーバを持つ場合、Goは利便性のため、 v.Scale(5) のステートメントを (&v).Scale(5) として解釈します。

例

package main

import "fmt"

type Vertex struct {
	X, Y float64
}

func (v *Vertex) Scale(f float64) {
	v.X = v.X * f
	v.Y = v.Y * f
}

func ScaleFunc(v *Vertex, f float64) {
	v.X = v.X * f
	v.Y = v.Y * f
}

func main() {
	v := Vertex{3, 4}
	v.Scale(2)
	ScaleFunc(&v, 10)

	p := &Vertex{4, 3}
	p.Scale(3)
	ScaleFunc(p, 8)

	fmt.Println(v, p)
}

Methods and pointer indirection (2)

変数の引数を取る関数は、特定の型の変数を取る必要があります:

var v Vertex fmt.Println(AbsFunc(v)) // OK fmt.Println(AbsFunc(&v)) // Compile error! メソッドが変数レシーバである場合、呼び出し時に、変数、または、ポインタのいずれかのレシーバとして取ることができます:

var v Vertex fmt.Println(v.Abs()) // OK p := &v fmt.Println(p.Abs()) // OK この場合、 p.Abs() は (*p).Abs() として解釈されます。

例

package main

import (
	"fmt"
	"math"
)

type Vertex struct {
	X, Y float64
}

func (v Vertex) Abs() float64 {
	return math.Sqrt(v.X*v.X + v.Y*v.Y)
}

func AbsFunc(v Vertex) float64 {
	return math.Sqrt(v.X*v.X + v.Y*v.Y)
}

func main() {
	v := Vertex{3, 4}
	fmt.Println(v.Abs())
	fmt.Println(AbsFunc(v))

	p := &Vertex{4, 3}
	fmt.Println(p.Abs())
	fmt.Println(AbsFunc(*p))
}

Choosing a value or pointer receiver

ポインタレシーバを使う2つの理由があります。ひとつは、メソッドがレシーバが指す先の変数を変更するためです。ふたつに、メソッドの呼び出し毎に変数のコピーを避けるためです。例えば、レシーバが大きな構造体である場合に効率的です。

Interfaces

interface(インタフェース)型は、メソッドのシグニチャの集まりで定義します。そのメソッドの集まりを実装した値を、interface型の変数へ持たせることができます。

Interfaces are implemented implicitly

型にメソッドを実装していくことによって、インタフェースを実装(満た)します。インタフェースを実装することを明示的に宣言する必要はありません("implements" キーワードは必要ありません)。

暗黙のインターフェースは、インターフェースの定義をその実装から切り離します。インターフェースの実装は、事前の取り決めなしにパッケージに現れることがあります。

package main

import "fmt"

type I interface {
	M()
}

type T struct {
	S string
}

// This method means type T implements the interface I,
// but we don't need to explicitly declare that it does so.
func (t T) M() {
	fmt.Println(t.S)
}

func main() {
	var i I = T{"hello"}
	i.M()
}

Interface values

下記のように、インターフェースの値は、値と具体的な型のタプルのように考えることができます: (value, type)

Interface values with nil underlying values

インターフェース自体の中にある具体的な値が nil の場合、メソッドは nil をレシーバーとして呼び出されます。

いくつかの言語ではこれは null ポインター例外を引き起こしますが、Go では nil をレシーバーとして呼び出されても適切に処理するメソッドを記述するのが一般的です(この例では M メソッドのように)。

具体的な値として nil を保持するインターフェイスの値それ自体は非 nil であることに注意してください。

Nil interface values

nil インターフェースの値は、値も具体的な型も保持しません。

呼び出す具体的なメソッドを示す型がインターフェースのタプル内に存在しないため、 nil インターフェースのメソッドを呼び出すと、ランタイムエラーになります。

The empty interface

ゼロ個のメソッドを指定されたインターフェース型は、空のインターフェースと呼ばれます: 空のインターフェースは、任意の型の値を保持できます。 (全ての型は、少なくともゼロ個のメソッドを実装しています。) 空のインターフェースは、未知の型の値を扱うコードで使用されます。例えば、 fmt.Print は interface 型の任意の数の引数を受け取ります。

例

package main

import "fmt"

func main() {
	var i interface{}
	describe(i)

	i = 42
	describe(i)

	i = "hello"
	describe(i)
}

func describe(i interface{}) {
	fmt.Printf("(%v, %T)\n", i, i)
}

Type assertions

型アサーションは、インターフェースの値の基になる具体的な値を利用する手段を提供します。

t := i.(T)

この文は、インターフェースの値 i が具体的な型 T を保持し、基になる T の値を変数 t に代入することを主張します。

i が T を保持していない場合、この文は panic を引き起こします。

インターフェースの値が特定の型を保持しているかどうかをテストするために、型アサーションは2つの値(基になる値とアサーションが成功したかどうかを報告するブール値)を返すことができます。

t, ok := i.(T)

i が T を保持していれば、 t は基になる値になり、 ok は真(true)になります。

そうでなければ、 ok は偽(false)になり、 t は型 T のゼロ値になり panic は起きません。

Type switches

型switch はいくつかの型アサーションを直列に使用できる構造です。

型switchは通常のswitch文と似ていますが、型switchのcaseは型(値ではない)を指定し、それらの値は指定されたインターフェースの値が保持する値の型と比較されます。

switch v := i.(type) {
case T:
    // here v has type T
case S:
    // here v has type S
default:
    // no match; here v has the same type as i
}

Stringers

もっともよく使われているinterfaceの一つに fmt パッケージに定義されている Stringer があります:

type Stringer interface {
    String() string
}

Exercise: Stringers

例

package main

import "fmt"

type IPAddr [4]byte

// TODO: Add a "String() string" method to IPAddr.
func (ip IPAddr) String() string {
	return fmt.Sprintf("%d.%d.%d.%d", ip[0], ip[1], ip[2], ip[3])
}

func main() {
	hosts := map[string]IPAddr{
		"loopback":  {127, 0, 0, 1},
		"googleDNS": {8, 8, 8, 8},
	}
	for name, ip := range hosts {
		fmt.Printf("%v: %v\n", name, ip)
	}
}

Errors

Goのプログラムは、エラーの状態を error 値で表現します。

error 型は fmt.Stringer に似た組み込みのインタフェースです:

type error interface {
    Error() string
}

( fmt.Stringer と同様に、 fmt パッケージは、変数を文字列で出力する際に error インタフェースを確認します。 )

よく、関数は error 変数を返します。そして、呼び出し元はエラーが nil かどうかを確認することでエラーをハンドル(取り扱い)します。

i, err := strconv.Atoi("42")
if err != nil {
    fmt.Printf("couldn't convert number: %v\n", err)
    return
}
fmt.Println("Converted integer:", i)

nil の error は成功したことを示し、 nilではない error は失敗したことを示します。

Readers

io パッケージは、データストリームを読むことを表現する io.Reader インタフェースを規定しています。

Goの標準ライブラリには、ファイル、ネットワーク接続、圧縮、暗号化などで、このインタフェースの多くの実装があります。

io.Reader インタフェースは Read メソッドを持ちます:

func (T) Read(b []byte) (n int, err error)

Read は、データを与えられたバイトスライスへ入れ、入れたバイトのサイズとエラーの値を返します。ストリームの終端は、 io.EOF のエラーで返します。

例のコードは、 strings.Reader を作成し、 8 byte毎に読み出しています。

Images

image パッケージは、以下の Image インタフェースを定義しています：

package image

type Image interface {
    ColorModel() color.Model
    Bounds() Rectangle
    At(x, y int) color.Color
}

Note: Bounds メソッドの戻り値である Rectangle は、 image パッケージの image.Rectangle に定義があります。