Go语言基本数据类型与常量变量声明详解

注释与标识符规范

Go语言支持两种注释方式：单行注释使用 //，多行块注释使用 /* ...*/，这与C++语法保持一致。

标识符是用于命名变量、函数、类型的符号组合。Go语言的标识符遵循以下规则：

• 组成字符：由Unicode字符构成，除了数字和特定符号开头外，几乎无限制（如中文或下划线开头的名称均合法）。
• 区分大小写：Name 与 name 代表不同标识符。
• 可见性控制：以大写字母开头的标识符是公开的（Exported），可被其他包访问；以小写字母开头的标识符则是私有的（Unexported）。
• 空标识符 _：作为占位符使用。当函数返回多个值但只需部分时，可用 _ 忽略不需要的值。例如在处理 fmt.Println() 返回值时：

  count, _ := fmt.Println("hello") // 忽略 error 返回值

常量声明与 iota 机制

常量使用 const 关键字声明，其值在编译期确定且不可修改。Go语言常量的声明具有高度的灵活性。

第1步：常量类型推断与指定

编译器通常能自动推断常量类型，但也支持显式指定。

// 自动推断类型为 int
const a = 5

// 显式指定为 int16
const b int16 = 6

第2步：分组声明与默认值

可以使用括号进行分组声明。若未显式赋值，后续常量将继承前一个常量的表达式。首个常量必须显式赋值或使用 iota。

const (
	a = 0
	b = 2
)

注意：不能仅写 const (a b) 来让两者都默认为0，这在Go中是语法错误。

第3步：理解 iota 计数器

iota 是Go内置的常数计数器，在每个 const 声明中被重置为0，并随行数递增。它是生成枚举值的常用工具。

// 示例 1: 基础递增
const (
	a = iota // 0
	b        // 1, 继承上一行的 iota
	c        // 2
)

// 示例 2: 复杂表达式中的 iota
const (
	i, j, k = 2 * iota, iota, iota + 2 // i=0, j=0, k=2
	m, n, l                           // m=2, n=1, l=3 (iota变为2，分别计算)

关键点：在同一行中，iota 的值始终相同。每一新行的开始，iota 的值才会增加1。

变量声明与类型推导

Go语言提供两种主要的变量声明方式：var 关键字和短变量声明符 :=。

第1步：使用 var 关键字声明

var 可用于包级别或函数内部。它允许显式指定类型，或在初始化时自动推导类型。未初始化的变量拥有零值（int为零，字符串为空等）。

// 显式类型
var i int

// 隐式类型推导
var name = "chandler qian"

// 分组声明
var (
	a int
	b string
)

第2步：短变量声明 :=

格式为 左值 := 右值。它必须在函数的局部作用域内使用，且左侧至少有一个新变量被声明。这是一种简洁的声明并初始化方式。

name := "test" // 自动推导为 string

局限性：不能在包级作用域使用，也不能重新声明已存在的同作用域变量。

第3步：作用域与遮蔽（Shadowing）现象

:= 会在当前作用域创建新变量，若内层作用域出现同名变量，会遮蔽外层变量，但不影响外层变量值。而 = 只是赋值操作，不创建新变量。

k, b := 7, 8
fmt.Printf("before k=%d,b=%d\n", k, b)

if k := 1; k != -1 { // k 在此处被重新声明，遮蔽外层的 k
	b := 3             // b 在此处被重新声明
	fmt.Printf("inner k=%d,b=%d\n", k, b)
}

fmt.Printf("after k=%d,b=%d\n", k, b)
// 输出: before k=7,b=8 -> inner k=1,b=3 -> after k=7,b=8

若使用 = 代替内层的 :=，则修改的是外层变量：

if k = 1; k != -1 { ... } // 修改外层 k

第4步：字面量类型推断规则

未加后缀的字面量会自动推断为特定类型：

• 整数字面量 → int
• 浮点字面量 → float64
• 复数字面量 → complex128

布尔比较规则

Go语言在比较操作中实行严格的类型检查。参与比较的操作数必须是相同类型，或者实现了相同的接口。数值常量（无类型）是一个例外，它可以与任何数值类型进行比较。

// 错误：类型不匹配
var a int = 5
var b float32 = 4.4
// if a > b { ... } // 编译报错

// 正确：无类型常量可与任何数值类型比较
if b > 7 {
	fmt.Println("greater")
}

总结

掌握Go语言的基本数据类型是编写健壮代码的前提。理解 const 中 iota 的行为有助于简化枚举定义，而清晰区分 var 的全局/全局能力与 := 的局部约束，能有效避免作用域相关的Bug。严格的爱类型检查虽然增加了初期学习的门槛，但能在编译阶段拦截大量潜在错误。