型アサーション

型アサーション は、インターフェイス値から具象型を抽出します。 interface{} (または「高」インターフェイス) がある場合に必要になります。 hand であり、フィールドにアクセスするにはそれを特定のタイプとして扱う必要があるか、 メソッドがインターフェイスに存在しません。

構文

var i interface{} = "ciao"

s := i.(string)           // "panic" form: panics if it's not a string
s, ok := i.(string)       // "comma ok" form: ok = false if it's not a string

2 つの形式、2 つのセマンティクス:

「カンマ OK」形式: 最も安全

var i interface{} = 42

if s, ok := i.(string); ok {
    fmt.Println("è stringa:", s)
} else {
    fmt.Println("non è stringa, ignoro")
}

ok を使用すると、パニックを起こさずに「間違ったタイプ」の場合に対処できます。それは ほとんどの場合、慣用的なパターン。

インターフェースへのアサーション

アサーションは具象型だけでなく、他の型でも機能します。 インターフェース:

type Closer interface { Close() error }

func tryClose(x interface{}) {
    if c, ok := x.(Closer); ok {
        c.Close()
    }
}

標準ライブラリで非常に一般的なパターン: 「入力も io.Closer、最後に Close を呼び出します。」

ポインタと値のアサーション

アサーションは動的タイプと正確に一致する必要があります。

type Cat struct{}
func (c *Cat) Meow() {}

var a interface{} = &Cat{}

c1, ok := a.(*Cat)   // ok = true
c2, ok := a.(Cat)    // ok = false: it holds *Cat, not Cat

*Cat と Cat は、型システムの別個の型です。

アサーションとタイプの切り替えをいつ使用するか

• 可能なタイプは 1 つだけ、「機能検出」チェック (オプションのインターフェイスへのキャストなど): comma ok を使用した タイプ アサーション。
• 2 つ以上の可能なタイプ、複数のブランチを介してディスパッチ: タイプ スイッチ (次のレッスン)。

試してみてください

var i interface{} = 42
s := i.(string)

要約

• v := i.(T): 動的タイプ≠ T の場合にパニックします。
• v, ok := i.(T): 安全なパターン。ok を確認してください。
• 別のインターフェイスに対しても機能します (「機能検出」)。
• T と *T は、アサーションの異なるタイプです。
• 1 種類 → アサーション; 2+タイプ→タイプスイッチ。