Перемикач типу

Перемикач типу розрізняє кілька можливих типів an значення інтерфейсу. Це узагальнення comma ok, якщо вони є більше одного випадку.

Синтаксис

func describe(i interface{}) string {
    switch v := i.(type) {
    case int:
        return fmt.Sprintf("int %d", v)
    case string:
        return fmt.Sprintf("string %q", v)
    case nil:
        return "nil"
    default:
        return fmt.Sprintf("altro tipo: %T", v)
    }
}

• i.(type) — це спеціальний синтаксис, дійсний ТІЛЬКИ всередині switch.
• v := ... пов’язує значення з поточним типом випадку: всередині case int v має тип int.
• default ловить усі інші типи; там v має тип оригінального інтерфейсу.
• case nil відповідає інтерфейсу з нульовим динамічним типом.

«Безіменна» справа

Якщо вам не потрібне введене значення, ви можете опустити v:

switch i.(type) {
case int:
    // you know it's an int, but you don't have a variable of that type
case string:
    // ...
}

Форма, яка використовується, коли вам потрібно просто розрізнити тип, а не оперувати на значення.

Кілька типів в одному регістрі

switch v := i.(type) {
case int, int64:
    // here v is still interface{}: the "common" type is just the interface
    fmt.Println("numero intero:", v)
case string:
    // here v is string
    fmt.Println("stringa:", v)
}

Типовий випадок використання: форматований друк

func print(i interface{}) {
    switch v := i.(type) {
    case int:
        fmt.Printf("%d\n", v)
    case string:
        fmt.Printf("%s\n", v)
    case fmt.Stringer:
        fmt.Println(v.String())
    default:
        fmt.Printf("%v\n", v)
    }
}

Сам fmt.Println використовує внутрішній перемикач типу для обробки стандартні формати.

Перемикач типу проти відображення

Для кількох відомих типів → тип switch (швидкий, читабельний). Для динамічної перевірки невідомих типів → пакет reflect (докладніше потужний, але повільніший і багатослівніший).

Спробуйте

switch ??? {
  case int: ...
}

Підведення підсумків

• switch v := i.(type) { case T: ... }: розрізняє динамічний тип.
• Усередині корпусу одного типу v має тип корпусу.
• case T1, T2: v зберігає вихідний тип інтерфейсу.
• default для необроблених випадків; case nil для нульового інтерфейсу.
• Немає fallthrough в перемикачах типу.
• 1 тип → тип твердження; 2+ типу → перемикач типу.