goにおけるエラー処理コードでのエラー

Question

golangのエラー処理のコードについて。
このコードのreturn rerrの部分でunreachable codeというエラーが出ます。なぜかわかりません。
よろしくお願いします。

package main

import (
	"errors"
	"fmt"
	"log"
)

func f() error {
	var rerr error
	defer func() {
		if r := recover(); r != nil {
			if err, isErr := r.(error); isErr {
				rerr = err
				fmt.Printf("%T",err)
			} else {
				
				rerr = fmt.Errorf("%v", r)
			}
		}
	}()
	panic(errors.New("error"))
	
	return rerr
}

func main() {
	if err := f(); err != nil {
		log.Fatal(err)
	}
}

Comments

[hoshi-takanori]

panic するとそこで処理がストップするので、return が実行されることはないからですね。
https://qiita.com/nayuneko/items/9534858156dfd50b43fb

[xdg]

recoverしてるのですが？

[hoshi-takanori]

本当ですね。試しに実行してみたら *errors.errorString と表示されました。

[xdg]

それは、デバッグのために書いたfmt.Printf(%T,err)の部分の出力ですね。
そこまで実行できてなぜリターンされないのかわかりません。

[hoshi-takanori]

私もよく分かってませんでしたが、panix するとどうやらその関数の残りの処理はキャンセルされるために return rerr は実行されない (なので unreachable code になる) けど、defer は実行され、その中で recover した場合も、関数の残りの処理は実行されず (というか、残りの処理をすっ飛ばして関数の終わりに実行される defer に来たので、今さら panic した地点に戻ることはない)、関数の戻り値はデフォルトの値 (ゼロ値) になるので、recover 時にそれ以外の値を返すには、戻り値に名前を付けてそれに代入すれば良い、ということのようです。
https://qiita.com/chenglin/items/f02adc70b51cce910496
https://h3poteto.hatenablog.com/entry/2015/12/13/010000

[xdg]

なるほど、ありがとうございます。
つまり、関数がパニックで中断されたとしてもデフォルトでの戻り値を最初に書き換えることによって任意の値を返すようにできるという事なんですね！

Answer 1

panic関数呼び出しをすると、その呼び出しスタックを破棄しようとします。
つまり、f関数を中断します。
その挙動により「その後にあるreturn処理が呼ばれることはありません。」というメッセージです。

このメッセージはコンパイルエラーではありません。go-vetや静的解析ツールの警告です。
実行は可能だと思います。
また、スタックを破棄する際にdefer処理スタックを呼びますが、deferの有無に関係なく、例示の関数の最後のretern処理がよばれることはないので上記の警告がでます。

Comments

[xdg]

ありがとうございます！
つまり、名前付き戻り値にした場合に目的の挙動を果たすのは、『パニックの下のリターン文が読まれて実行されている訳ではなく関数のデフォルトの戻り値が任意の値に変更されているから』といった解釈で宜しいのでしょうか？

[nobonobo]

はいそうです！