Przełącznik typów (type switch)

Przełącznik typu rozróżnia wiele możliwych typów wartość interfejsu. Jest to uogólnienie comma ok, jeśli takowe istnieją więcej niż jeden przypadek.

Składnia

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) to specjalna składnia, obowiązująca TYLKO wewnątrz switch.
• v := ... wiąże wartość z typem bieżącego przypadku: wewnątrz case int, v ma typ int.
• default przechwytuje wszystkie inne typy; tam v ma typ oryginalnego interfejsu.
• case nil dopasowuje interfejs do typu dynamicznego zerowego.

Sprawa „Bezimienna”.

Jeśli nie potrzebujesz wpisanej wartości, możesz pominąć v:

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

Formularz używany, gdy trzeba po prostu rozróżnić typ, a nie działać na wartość.

Wiele typów w tym samym przypadku

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)
}

Typowy przypadek użycia: drukowanie w formacie

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)
    }
}

Sam fmt.Println wykorzystuje wewnętrznie przełącznik typu do obsługi standardowe formaty.

Przełącznik typu a odbicie

Dla kilku znanych typów → przełącznik typu (szybki, czytelny). Do dynamicznej kontroli nieznanych typów → pakiet reflect (więcej potężny, ale wolniejszy i bardziej gadatliwy).

Spróbuj

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

Podsumowanie

• switch v := i.(type) { case T: ... }: rozróżnia typ dynamiczny.
• Wewnątrz obudowy pojedynczego typu, v zawiera typ obudowy.
• case T1, T2: v zachowuje typ oryginalnego interfejsu.
• default dla nierozwiązanych spraw; case nil dla interfejsu zerowego.
• Brak kodu fallthrough w przełącznikach typu.
• 1 typ → asercja typu; Ponad 2 typy → przełącznik typu.