C++ 變數型別完整指南：基本型別、宣告定義、左值右值與現代實務

變數 是具名儲存區，具備型別（決定大小、配置、解讀）、名稱（標識符）、作用域與生命週期。

基本內建型別

確切大小用 sizeof(T) 查詢，包含 <cstdint> 使用固定寬度型別 int32_t, uint64_t 等。

變數宣告與定義

• 宣告：引入名稱與型別，不配置儲存空間 (除非有初始化式)。extern int x;
• 定義：配置儲存空間，可選初始化。int x = 10;
• 一個程式中宣告可多，定義只能一 (ODR 原則)。
• 跨檔案共享：標頭檔宣告 (extern)，來源檔定義。

初始化語法演進

// C++98
int x = 10;
int y(20);

// C++11 統一初始化 (列表初始化)
int a{10};
int b{};
double c{3.14};
vector v{1,2,3};  // 避免窄化轉換

// C++11 auto 型別推導
auto d = 10;       // int
auto e = 3.14;     // double
auto f = {1,2};    // initializer_list

統一初始化 { } 可防窄化轉換 (int x{3.14} 編譯錯誤)、統一語法、適用所有型別。

左值與右值

C++11 引入右值參考 T&&，實現移動語意與完美轉發，區分 std::move(x) (轉右值) 與 std::forward。

現代 C++ 型別系統增強

• auto / decltype：型別推導，減少冗長聲明。
• std::nullptr_t：空指標字面常數型別，取代 NULL/0。
• std::byte (C++17)：原始位元組型別，非字元、非整數，用於低層記憶體操作。
• enum class (C++11)：強型別枚舉，作用域限定、不可隱性轉換整數。
• using 別名宣告：using Vec = vector; 取代 typedef，支援模板別名。

常見陷阱與建議

總結

• 掌握基本型別大小與範圍，善用 <cstdint> 固定寬度型別。
• 區分宣告/定義，跨檔案正確使用 extern。
• 理解左值/右值是移動語意基石，配合 std::move/std::forward。
• 擁抱 auto、{}、using、enum class 現代語法，寫出型別安全、可維護程式碼。