Что такое type switch?go-73

Определение

Type switch — это специальная конструкция в Go, позволяющая выполнять различные ветки кода в зависимости от типа значения интерфейса. Это мощный инструмент для работы с интерфейсами и проверки типов во время выполнения (runtime type checking).

Базовый синтаксис

switch v := i.(type) {
case T1:
    // v имеет тип T1
case T2:
    // v имеет тип T2
default:
    // тип не соответствует ни одному из case
}

Ключевые особенности

  1. Специальный синтаксис:

    • Используется .(type) только внутри switch
    • Переменная v автоматически получает правильный тип в каждой ветке

  2. Отличие от обычного type assertion:

    • Обычное утверждение типа: val, ok := i.(T)
    • Type switch проверяет сразу несколько типов

Пример практического использования

func describe(i interface{}) {
    switch v := i.(type) {
    case int:
        fmt.Printf("Целое число: %v\n", v)
    case string:
        fmt.Printf("Строка: %q\n", v)
    case bool:
        fmt.Printf("Булево значение: %v\n", v)
    default:
        fmt.Printf("Неизвестный тип: %T\n", v)
    }
}

Продвинутые сценарии

  1. Работа с пользовательскими типами:
type Animal interface { Sound() string }

type Dog struct{}
func (d Dog) Sound() string { return "Гав" }

type Cat struct{}
func (c Cat) Sound() string { return "Мяу" }

func MakeSound(a Animal) {
    switch a.(type) {
    case Dog:
        fmt.Println("Собака говорит:", a.Sound())
    case Cat:
        fmt.Println("Кошка говорит:", a.Sound())
    }
}
  1. Использование с указателями:
switch v := ptr.(type) {
case *int:
    fmt.Println("Указатель на int:", *v)
case *string:
    fmt.Println("Указатель на string:", *v)
}

Важные нюансы

  1. Порядок проверки:

    • Case'ы проверяются сверху вниз
    • Первое совпадение выполняется, остальные игнорируются

  2. Default ветка:

    • Всегда выполняется, если ни один case не подошел
    • Можно опускать, если нужна обработка только известных типов

  3. Пустые интерфейсы:

    • Type switch особенно полезен с interface{}
    • Позволяет "распаковывать" динамические типы

Альтернативы и когда использовать

  1. Когда применять:

    • Для обработки разных типов в интерфейсе
    • Когда поведение существенно отличается между типами

  2. Когда избегать:

    • Если можно использовать полиморфизм методов
    • Когда типы обрабатываются одинаково

Резюмируем

Type switch — это идиоматический способ в Go для проверки и работы с разными типами, хранящимися в интерфейсе, предоставляющий чистый и безопасный синтаксис для ветвления по типам во время выполнения.

Вопросы

Собеседования