Как объявлять переменные и какие базовые типы есть в Go?

Question

Accepted Answer

Go — это язык со статической типизацией с несколькими способами объявления переменных. Наиболее распространённый — это **короткое объявление** `:=`, которое выводит тип. Базовые типы Go охватывают числа, строки, логические значения и многое другое.

## Объявление переменных

```go
var x int = 42        // full form: explicit type and value
var y = 42            // type inferred → int
var z int             // declared, ZERO-valued (z = 0)

name := "Ann"         // short declaration (:=) — infers type, INSIDE functions only
count := 10

var a, b = 1, "two"   // multiple at once
const Pi = 3.14159     // constant (compile-time)
```

`:=` — идиоматичный способ объявления внутри функции — лаконичный с выводом типа. `var` используется на уровне пакета и когда вы хотите явно указать тип или просто нулевое значение.

## Базовые типы

```go
// integers
int, int8, int16, int32, int64     // signed (int is platform-sized, usually 64-bit)
uint, uint8, ..., uint64           // unsigned
byte                                // alias for uint8
rune                                // alias for int32 — a Unicode code point

// floating point
float32, float64                    // float64 is the default for decimals

// others
string                              // immutable UTF-8 text
bool                               // true / false
complex64, complex128              // complex numbers
```

## Нулевые значения — нет "неинициализированных" переменных

```go
var i int       // 0
var f float64   // 0.0
var s string    // "" (empty)
var b bool      // false
var p *int      // nil
```

Критически важная особенность Go: каждая объявленная переменная автоматически получает разумное **нулевое значение** — никаких неопределённых или мусорных значений. Это делает код безопаснее и означает, что вы можете часто пропустить явную инициализацию.

## Преобразования типов явные

```go
var i int = 42
var f float64 = float64(i)   // MUST convert explicitly — no implicit coercion
var u uint = uint(f)
// i + f  → ❌ compile error: mismatched types
```

Go требует **явного** преобразования типов — он никогда не смешивает типы неявно, предотвращая целый класс тонких ошибок.

## Почему это важно

Понимание объявления переменных в Go и типов — это фундамент для написания любого кода на Go.

Идиоматичное `:=` короткое объявление с выводом типа делает код лаконичным, в то время как `var` и константы служат своим целям.

**Гарантия нулевого значения** (каждая переменная безопасно инициализируется) — это отличительная, важная особенность Go, которая исключает ошибки неинициализированных переменных и формирует идиоматичные паттерны (например, нулевая структура часто применима).

Настояние Go на **явном преобразовании типов** (без неявного приведения типов) — это сознательный выбор безопасности, который предотвращает виды тихих числовых ошибок, которые разрешены в других языках.

Знание базовых типов (особенно `rune` для Unicode, `byte`, и что `int`/`float64` — это значения по умолчанию) — это необходимое ежедневное знание.