Type assertion и type switch

Type assertion

var a any = "report.pdf"
s := a.(string) // "report.pdf"
i := a.(int)    // panic: interface conversion

Assertion проверяет, совпадает ли динамический тип. Если не совпал — паника. Именно так уронился первый обработчик источника: он доставал тип без проверки. Поэтому безопасная форма — с двумя значениями:

s, ok := a.(string)
if !ok {
    fmt.Println("там не строка")
}

ok == false — тип не совпал, s — zero value. Эта форма не паникует.

Type switch

Когда вариантов несколько, удобнее type switch — Миша так различает источники файлов:

func describeSource(v any) string {
    switch x := v.(type) {
    case *S3Client:
        return "облако: " + x.Bucket
    case *LocalDisk:
        return fmt.Sprintf("локальный диск: %s", x.Root)
    case nil:
        return "источник не задан"
    default:
        return "неизвестный источник"
    }
}

В каждой ветке x имеет конкретный тип — не any, а *S3Client, *LocalDisk и так далее. Порядок веток важен: более конкретные типы должны стоять выше интерфейсов, которым они удовлетворяют.

Assertion на интерфейс

x.(T) работает и с интерфейсным T: достать не конкретный тип, а другой интерфейс — проверить, умеет ли значение больше, чем объявлено:

r, ok := st.(io.Reader) // есть ли у источника метод Read?