Go Wiki: PanicAndRecover

目次

パニック (Panic)

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

パッケージ内での使用

慣例として、明示的な 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
}

この動作を示すために、次のメイン関数を検討してください。

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)
    }
}

参考文献

Defer、Panic、および Recover

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

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


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