Go 语言中的变量和常量

这篇文章已经放到腾讯智能工作台的知识库啦，链接在这里：ima.copilot-Go 入门到入土。要是你有啥不懂的地方，就去知识库找 AI 聊一聊吧。

1、变量的声明与使用

我们来探讨编程语言中最核心的概念之一：变量。

1、静态语言中的变量特性

Go 是一种静态类型语言，其变量处理方式与 Python 等动态语言有显著差异。对于没有静态语言背景的开发者来说，需要特别注意以下几点：

必须先声明后使用：任何变量都必须先经过声明，才能在代码中使用。
类型固定：在声明变量时，其类型就已经确定。
类型不可变：一旦类型确定，就不能再赋予其他类型的值。例如，一个整型（int）变量不能被赋值为字符串（string）。

这种强类型约束使得编译器能在编译阶段就发现许多潜在的错误，有助于编写更健壮、更规范的大型项目。

2、变量的声明方式

Go 语言提供了多种声明变量的方式。

2.1 标准声明 (`var`)

这是最基础的声明方式。使用 var 关键字，后跟变量名和类型。

注意：Go 的类型声明位于变量名之后，这与其他静态语言（如 C++ 或 Java）不同。建议直接适应这种语法，无需纠结其设计原因。

2.2 声明并初始化

可以在声明变量的同时为其赋予初始值。

当提供初始值时，Go 可以自动推断类型，因此可以省略类型声明：

2.3 短变量声明 (`:=`)

这是 Go 中最常用、最简洁的声明方式，它会合并声明和初始化两个步骤。

这种方式只能用于局部变量（在函数内部声明的变量），不能用于全局变量。在日常开发中，你会频繁地使用这种方法。

3、全局变量与局部变量

3.1 全局变量

在函数体外声明的变量，其作用域覆盖整个包。

3.2 局部变量

在函数体内声明的变量，其作用域仅限于该函数内部。

注意：短变量声明 := 不能用于声明全局变量。

4、多变量生成

Go 支持在一行内声明多个变量。

5、变量使用的注意事项

变量名冲突：在同一作用域（代码块）内，不能重复声明同名变量。但局部变量可以与全局变量同名，此时局部变量会“覆盖”全局变量。
零值 (Zero Value)：在 Go 中，变量在声明后若未被显式初始化，会被自动赋予其类型的零值。这避免了在其他语言中可能出现的“随机值”问题。

int: 0
string: "" (空字符串)
bool: false
指针、接口、切片、映射、通道：nil

声明后必须使用：Go 语言强制要求，局部变量在声明后必须被使用，否则会在编译时报错。此举旨在鼓励编写整洁、无冗余的代码。全局变量则无此限制。

2、常量的定义和使用

在 Go 语言中，常量（Constant）是指在程序编译时就已确定，并且在运行时不能被修改的固定值。当程序中有些值从始至终都不应改变时，将其定义为常量是最佳实践。这可以有效防止在代码的某个地方无意中修改了重要的值。

1、常量的基本定义

常量的定义与变量类似，但使用 const 关键字。

核心特性：

不可变性：常量一旦声明，其值就不能再被修改。任何尝试对常量重新赋值的行为都会导致编译错误。

2、常量的类型

常量也具有类型。Go 语言支持在定义常量时显式指定类型，也支持通过值进行隐式类型推断。

2.1 显式定义

明确指定常量的类型。

2.2 隐式定义

不指定类型，由编译器根据所赋的值自动推断。

在这种情况下，编译器会自动推断 E 的类型。

3、命名规范

为了在代码中清晰地区分常量和变量，Go 语言的开发社区遵循以下命名规范：

常量名全部大写。
如果常量名由多个单词组成，使用下划线 _ 分隔。

虽然这并非强制性语法，但遵循此规范可以极大地提高代码的可读性。

4、分组定义常量

为了代码的整洁和可读性，当需要定义多个相关的常量时，可以使用括号 () 将它们分组。

分组定义时，存在一个重要的特性：在一组常量中，如果某个常量没有被显式赋值，它会自动沿用上一个常量的值和类型。

看下面的例子：

当我们打印这些常量时，会得到 16, 16, "abc", "abc", "abc"。

对这个特性的理解，是掌握 Go 中另一个重要关键字 iota 的基础，我们将在后续文章中详细讲解。

5、常量定义的核心规则总结

支持的类型：常量只能是布尔类型、数值类型（整数、浮点数、复数）和字符串类型。其他更复杂的类型（如 struct 或 array）不支持定义为常量。
无需强制使用：与变量不同，如果定义了一个常量但从未使用它，编译器不会报错。
类型一致性：如果显式指定了常量的类型，那么赋予它的值必须与该类型兼容。