Определение возможности неотловленной паники

Условие

Нужно выяснить, существует ли в этой программе сценарий, при котором произойдёт паника, не перехваченная вызовом recover().

package main

import (
    "fmt"
    "sync"
    "time"
)

func main() {
    wg := sync.WaitGroup{}
    ch := make(chan struct{}, 5)

    for i := 0; i < 10; i++ {
        wg.Add(1)
        go func() {
            defer wg.Done()
            printNumber(ch, i)
        }()
    }

    wg.Wait()
    close(ch)
}

func printNumber(ch chan struct{}, n int) {
    defer func() {
        if r := recover(); r != nil {
            fmt.Println(r)
        }
    }()

    ch <- struct{}{}
    time.Sleep(time.Second)
    fmt.Println(1 / n)
    <-ch
}

Ответ

Деление на ноль перехватывает recover в printNumber. Отправки в закрытый канал здесь не будет: close вызывается после wg.Wait. Но при panic теряется занятый слот семафора.

После ch <- struct{}{} деление при n=0 прерывает функцию раньше <-ch. В режиме языка Go 1.22+ только одна итерация имеет n=0, поэтому при capacity=5 остальные задачи могут завершиться; объявлять обязательный deadlock неверно.

Сразу после успешной отправки добавьте defer func() { <-ch }() и удалите обычное чтение в конце. Индекс передавайте аргументом горутины для совместимости со старой семантикой: там общая i создаёт гонку. Показанный recover обрабатывает panic своей горутины, но не произвольные фатальные ошибки runtime.

Источник: go.dev.