deferが実行されない？

Question

time.NewTickerを用いた処理ではよく、以下のような構文が紹介されています。

go func() {
    t := time.NewTicker(3 * time.Second) // 3秒おきに通知
    for {
        select {
        case <-t.C:
            // 3秒経過した。ここで何かを行う。
        }
    }
    t.Stop() // タイマを止める。
}()

go func() {
    t := time.NewTicker(3 * time.Second)
    defer t.Stop()
    for {
        select {
        case <-t.C:
            // 3秒経過した。ここで何かを行う。
        }
    }
    // t.Stop() // タイマを止める。
}()

一見すると特に違和感はないように思うのですが、以下のようなコードを書き確認したところ、そもそもdeferが実行されていないように思います。

package main

import(
    "fmt"
    "time"
)

var (
    done = false
)

func main() {

    fmt.Println("START.")

    go callFunction()

    for !done {
        time.Sleep(time.Second)
        fmt.Println("wait.")
    }

    fmt.Println("END.")

}

func callFunction() {

    fmt.Println("START callFunction.")

    t := time.NewTicker(3 * time.Second)

    defer t.Stop()
    defer fmt.Println("call defer.")

    fmt.Println("POINT:A.")

    for {
        select {
        case <-t.C:
            fmt.Println("tick.")
            done = true
        }
    }

    fmt.Println("END callFunction.")

}

このコードを実行すると以下のような出力となります。

START.
START callFunction.
POINT:A.
wait.
wait.
tick.
wait.
END.

当然ですが、time.NewTickerを使わないケースでは想定通りにdeferが実行されます。

package main

import(
    "fmt"
    "time"
)

var (
    done = false
)

func main() {

    fmt.Println("START.")

    go callFunction()

    for !done {
        time.Sleep(time.Second)
        fmt.Println("wait.")
    }

    fmt.Println("END.")

}

func callFunction() {

    fmt.Println("START callFunction.")

    defer fmt.Println("call defer.")

    time.Sleep(3 * time.Second)

    done = true

    fmt.Println("END callFunction.")

}

上記の実行結果は以下の様になります。

START.
START callFunction.
wait.
wait.
END callFunction.
call defer.
wait.
END.

なぜtime.NewTickerを使ったケースではdeferが実行されないのでしょうか。

Answer 1

for{}のループを抜けるか抜けないかの違いです。
deferはプログラムが終了するときは特に実行されません。
あくまで所属している関数がreturnする時に実行されます。

Comments

[Auxo]

回答ありがとうございます。

>deferはプログラムが終了するときは特に実行されません。
>あくまで所属している関数がreturnする時に実行されます。

おぉ…なんということでしょうか…

指摘されて気づきましたが、そもそも終了判定が外で行われており、結果、そもそも関数の終了（正しくはレースコンディションによる？）に関わらず評価式のdoneの値が更新されループを抜けて、そのままプログラムが終了していると…。

まったく気づきませんでした…。

deferの特性はいろいろ読み漁って理解していたはずで、その検証のためにあれこれ試していたのですが、そもそもこのソースではそれ以前の話でした…。

ご指摘ありがとうございました。