Как проверить тип переменной в Go в среде выполнения?

В Go тип переменной в среде выполнения можно проверить несколькими способами:

1. Используя type assertion: Подходит для проверки конкретного типа у интерфейсной переменной.

   package main
   
   import "fmt"
   
   func main() {
       var i interface{} = "hello"
   
       s, ok := i.(string) // Попытка привести i к типу string
       if ok {
           fmt.Printf("Переменная i имеет тип string: %s\n", s)
       } else {
           fmt.Println("Переменная i не имеет тип string")
       }
   }
   

2. Используя type switch: Подходит для проверки нескольких возможных типов у интерфейсной переменной.

   package main
   
   import "fmt"
   
   func main() {
       var t interface{}
   
       switch tt := t.(type) { // tt будет иметь конкретный тип из case
       case int:
           fmt.Printf("Переменная имеет тип int: %d\n", tt)
       case string:
           fmt.Printf("Переменная имеет тип string: %s\n", tt)
       case bool:
           fmt.Printf("Переменная имеет тип bool: %t\n", tt)
       case nil:
           fmt.Println("Переменная имеет значение nil")
       default:
           fmt.Printf("Неизвестный тип: %T\n", tt) // tt будет иметь тип interface{}
       }
   
       t = 123
       switch tt := t.(type) {
       case int:
           fmt.Printf("Переменная имеет тип int: %d\n", tt)
       case string:
           fmt.Printf("Переменная имеет тип string: %s\n", tt)
       case bool:
           fmt.Printf("Переменная имеет тип bool: %t\n", tt)
       case nil:
           fmt.Println("Переменная имеет значение nil")
       default:
           fmt.Printf("Неизвестный тип: %T\n", tt)
       }
   }
   

3. Используя пакет reflect: Позволяет получить информацию о типе и значении переменной в среде выполнения. Используется, когда типы неизвестны во время компиляции или для выполнения более сложных проверок.

   package main
   
   import (
       "fmt"
       "reflect"
   )
   
   func main() {
       var x float64 = 3.4
       v := reflect.ValueOf(x) // Получаем значение рефлексии
   
       fmt.Println("Тип:", v.Type())                 // Выводит "Тип: float64"
       fmt.Println("Категория:", v.Kind())             // Выводит "Категория: float64"
   
       y := "hello"
       vv := reflect.ValueOf(y)
       fmt.Println("Тип:", vv.Type())               // Выводит "Тип: string"
       fmt.Println("Категория:", vv.Kind())           // Выводит "Категория: string"
   
       z := []int{1, 2, 3}
       vvv := reflect.ValueOf(z)
       fmt.Println("Тип:", vvv.Type())             // Выводит "Тип: []int"
       fmt.Println("Категория:", vvv.Kind())         // Выводит "Категория: slice"
   }
   

Пакет reflect более мощный, но и более сложный в использовании. type assertion и type switch предпочтительны для простых проверок типов интерфейсных переменных, так как они более безопасны и типо-ориентированы.