Go Wiki: パニックとリカバリー

panic 関数と recover 関数は、他の言語の例外と try/catch と同様に動作します。panic はプログラムスタックのアンワインドを開始させ、recover はそれを停止させることができます。遅延関数は、スタックがアンワインドされる際にも実行されます。このような遅延関数内で recover が呼び出されると、スタックのアンワインドが停止し、recover は panic に渡された値を (interface{} として) 返します。ランタイムは、配列またはスライスの範囲外へのインデックス付けなど、特別な状況でもパニックを起こします。panic によって実行中のゴルーチン (例えば、main や go に渡されたトップレベル関数) の外部でスタックがアンワインドされた場合、プログラムはすべての実行中のゴルーチンのスタックトレースを出力して終了します。panic は、異なるゴルーチンによって recover されることはできません。

パッケージでの使用

慣例により、明示的な panic() がパッケージの境界を越えることは許可されていません。呼び出し元にエラー状態を示す場合は、エラー値を返すことで行う必要があります。ただし、パッケージ内では、特に非エクスポート関数への深くネストされた呼び出しがある場合は、エラー条件を示すために panic を使用すると便利であり、呼び出し関数のためのエラーに変換する必要があることを示すために役立ちます (可読性が向上します)。以下は、ネストされた関数とエクスポートされた関数がこのパニックオンエラーの関係を介して相互作用する方法の人為的な例です。

// A ParseError indicates an error in converting a word into an integer.
type ParseError struct {
    Index int    // The index into the space-separated list of words.
    Word  string // The word that generated the parse error.
    Error error  // The raw error that precipitated this error, if any.
}

// String returns a human-readable error message.
func (e *ParseError) String() string {
    return fmt.Sprintf("pkg: error parsing %q as int", e.Word)
}

// Parse parses the space-separated words in input as integers.
func Parse(input string) (numbers []int, err error) {
    defer func() {
        if r := recover(); r != nil {
            var ok bool
            err, ok = r.(error)
            if !ok {
                err = fmt.Errorf("pkg: %v", r)
            }
        }
    }()

    fields := strings.Fields(input)
    numbers = fields2numbers(fields)
    return
}

func fields2numbers(fields []string) (numbers []int) {
    if len(fields) == 0 {
        panic("no words to parse")
    }
    for idx, field := range fields {
        num, err := strconv.Atoi(field)
        if err != nil {
            panic(&ParseError{idx, field, err})
        }
        numbers = append(numbers, num)
    }
    return
}

動作を示すために、次の main 関数を考えてみましょう

func main() {
    var examples = []string{
        "1 2 3 4 5",
        "100 50 25 12.5 6.25",
        "2 + 2 = 4",
        "1st class",
        "",
    }

    for _, ex := range examples {
        fmt.Printf("Parsing %q:\n  ", ex)
        nums, err := Parse(ex)
        if err != nil {
            fmt.Println(err)
            continue
        }
        fmt.Println(nums)
    }
}

参考文献

遅延、パニック、およびリカバリー

https://go.dokyumento.jp/ref/spec#Handling_panics

https://go.dokyumento.jp/ref/spec#Run_time_panics

このコンテンツは Go Wiki の一部です。

Go Wiki: パニックとリカバリー

目次

パニック

パッケージでの使用

参考文献