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）不支持定義為常量。
無需強制使用：與變量不同，如果定義了一個常量但從未使用它，編譯器不會報錯。
類型一致性：如果顯式指定了常量的類型，那么賦予它的值必須與該類型兼容。