當 Android 系統在 6.0 版本將運行時從 Dalvik 切換至 ART，Google 更將 ART 虛擬機的實現代碼全面遷移至 C++11。這不僅是技術棧的升級，更標誌著現代 C++ 開發時代的正式到來。C++11 標準於 2011 年 2 月正式發布，相較於 C++98/03，它引入了驚人的語法革新與標準庫擴充，甚至讓 Bjarne Stroustrup（C++ 之父）感嘆：「C++11 看起來像一門全新的語言」。
對於長期深耕 Java 或高層業務開發的工程師而言，C++11 的學習曲線陡峭，但掌握它已成為閱讀 Android 底層源碼、從事高性能系統開發的必經之路。本文不追求語法大全，而是以「讀懂 ART 源碼」為最高目標，系統梳理 C++11 核心知識體系，助你快速建立現代 C++ 認知框架。
不同於 Java 嚴格規定 int 佔 4 字節、long 佔 8 字節，C++ 標準僅定義「最小尺寸」：int 至少 2 字節（主流平台實為 4 字節），浮點數僅規定最小有效位數。這源於 C++ 作為系統級語言，需適配從嵌入式到超算的多樣硬體。開發者需善用 sizeof 運算符在目標平台上確認實際大小，切勿假設跨平台尺寸一致。
C++ 明確區分 signed（默認）與 unsigned 類型。混用時會發生隱式轉換，導致邏輯錯誤（如 -1 > 0u 為真）。現代最佳實踐建議：除非處理位運算或標準庫容器索引，優先使用有符號類型，並開啟編譯器警告（-Wsign-compare）。
nullptrT*）：直接操作內存地址，支持算術運算，靈活但危險。核心三要素：類型、賦值（new/取址 &/字面量）、解引用（*）。T&）：變量別名，定義即綁定，不可重綁定，無空值。本質上常被編譯器實現為常量指針，但語義上提供「一對一強綁定」安全性，消除淺拷貝風險。nullptr (C++11)：類型安全的空指針字面量，徹底取代 NULL/0，解決重載決議歧義（如 f(int) vs f(void*)）。C++11 引入 R"delim(content)delim" 語法，內容不轉義，極大簡化正則表達式、JSON、文件路徑等場景的編寫：
// 傳統轉義痛苦
std::string regex = "(\\'?:[?\\\\\\']|\\\\.)?\\'|\\\"(?:[?\\\\\\\"]|\\\\.)?\\\")";
// Raw 字符串清晰直觀
std::string regex = R"((?:\'[^\\']|\\.)?\'|\\"(?:[^\\"]|\\.)?\\")";
std::array 更優選C 風格數組 T arr[N] 尺寸須編譯期常量，退化為指針易丟失尺寸信息。C++11 標準庫提供 std::array<T, N>（棧上固定大小，無性能損耗）與 std::vector<T>（堆上動態擴容），應優先使用，並配合範圍-based for 循環遍歷。
#include 機制#pragma once 或宏衛語）。#include <standard> 尋找系統/標準庫路徑；#include "local.h" 先搜當前目錄再搜系統路徑。namespace ns { ... } 對應 Java package，但更靈活：可跨文件延伸、巢狀、別名（namespace fs = std::filesystem;）、匿名命名空間（內部鏈接，替代 static 全局變量）。ART 代碼大量使用 android::、art:: 等命名空間隔離模塊。
編譯單元為 .cpp 文件：預處理 → 編譯 → 目標文件（.o/.obj） → 鏈接生成可執行文件/動態庫。現代項目多用 CMake 生成構建腳本，而非手寫 Makefile。理解「聲明在頭、定義在源、模板全在頭」原則，是避免重複定義/未定義引用鏈接錯誤的關鍵。
class/struct（默認 public）定義用戶自定義類型。訪問標號（public:/private:/protected:）分組控制，而非 Java 的逐成員標註。成員變量可在類內初始化（C++11），但構造函數初始化列表仍是首選（見下）。
| 函數類別 | 簽名示例 | 調用時機 | 核心職責 |
|---|---|---|---|
| 默認構造 | T() / T(args...=defaults) | 無參構造對象 | 建立對象不變量 |
| 拷貝構造 | T(const T&) | 用同類對象初始化、值傳參、值返回 | 深拷貝資源，建立獨立副本 |
| 移動構造 (C++11) | T(T&&) noexcept | 用右值（臨時對象/std::move）初始化 | 竊取資源所有權，源對象置空狀態 |
| 拷貝賦值 | T& operator=(const T&) | 已構造對象 = 另一對象 | 釋放舊資源，深拷貝新資源 |
| 移動賦值 (C++11) | T& operator=(T&&) noexcept | 已構造對象 = 右值 | 釋放舊資源，竊取新資源 |
| 析構 | ~T() | 對象生命結束（棧展開/delete） | 釋放所有擁有資源（RAII 核心） |
關鍵洞見：
unique_ptr, vector, string），則「零法則」——全不聲明，編譯器合成即正確。memcpy，否則雙重釋放崩潰。std::vector 擴容、string 拼接、工廠函數返回對象均受益巨大。T&&：綁定臨時對象/將亡值。std::move(x) 只是強制轉型為右值引用，不移動任何內容；真正移動由移動構造/賦值函數實現。public（is-a）、protected、private（implementation-only）。默認 private，派生類無法訪問基類 private 成員。virtual：啟用動態綁定。基類指針/引用調用派生類覆寫函數。基類有虛函數必須聲明虛析構，否則 delete base_ptr 僅調用基類析構導致資源洩漏。override (C++11)：強制編譯器檢查簽名匹配，防止拼寫錯誤/簽名不符導致隱藏而非覆寫。強烈建議所有覆寫函數加上。final (C++11)：禁止繼承類或覆寫虛函數。=0：定義介面契約，含純虛函數的類為抽象類，不可實例化。構造：基類（按繼承列表順序）→ 成員子對象（按聲明順序）→ 派生類本體。析構順序完全相反。編譯器合成規則極其複雜（見 C++ Primer 第 13 章），實務建議：顯式聲明需求，用 =default 要求合成、=delete 禁止合成，勿依賴隱式行為。
explicitoperator<<）、工廠模式、單元測試訪問私有態。**友元不繼承、不傳遞。**class Foo;：僅引入類型名，不定義。頭文件中用於指針/引用參數、返回類型，減少編譯依賴；源文件再 #include "Foo.h" 獲取完整定義。explicit 構造函數：禁止單參數構造函數的隱式轉換，防止意外類型轉換（如 void f(MyString) 調用 f("literal") 隱式構造臨時對象）。C++ 允許重載多數運算符（除 :: ?: . .* sizeof typeid alignof noexcept co_await）。重載本質是特殊名稱函數：operator@。
*this（如 a+b → a.operator+(b)）。必須為成員：= [] () -> ->*。cout << obj）。必須為非成員：<< >>。ostream& operator<<(ostream&, const T&)。-> *：實現透明代理，配合 RAII 實現自動資源管理。new/delete 重載：自定義內存分配策略（池分配、對齊、診斷）。僅針對特定類重載，避免全局副作用；注意 placement new 與異常安全協作的 operator delete 重載規則。()：構建函數對象，可攜帶狀態，是 STL 算法、std::function、Lambda 底層基石。template <typename T> // 推薦 typename 而非 class
T add(const T& a, const T& b) { return a + b; }
// 實例化：編譯器根據實參推導 T
add(1, 2); // 生成 int add(const int&, const int&)
add(1.5, 2.5); // 生成 double add(const double&, const double&)
typename T）、非類型參數（整數、指針、引用、C++20 起浮點/類類型）、模板模板參數。add<long>(1, 2) 指定類型；特例化：為特定類型提供專用實現（如指針類型比較地址而非內容）。template <typename T, size_t N>
class Array {
T data_[N];
public:
T& operator[](size_t i) { return data_[i]; }
// 成員模板
template <typename U>
void fill(const U& val) { ... }
};
using IntVec = vector<int>; 簡化複雜模板類型。T*） → 仍為模板。偏特化僅類模板支持，函數模板改用重載。C++11 引入 Lambda，比 Java 8 早三年。語法：
auto func = [capture](params) mutable -> ret_type { body };
// capture: [=] 值捕獲全部 [&] 引用捕獲全部 [x, &y] 混合
// mutable: 允許修改值捕獲的副本
// -> ret_type: 尾置返回類型（可省略單返回語句推導）
核心概念：
operator()，捕獲變量作為成員。std::function：類型擦除包裝器，可存儲任何可調用對象（函數指針、函數對象、Lambda），但有微小開銷。std::string / std::wstring / std::u8string (C++20)basic_string<CharT> 實例化。支援 SSO（短字符串優化），避免小字符串堆分配。API 類似 Java String 但可變，提供 substr, find, replace, starts_with (C++20) 等豐富操作。
| 容器 | 底層結構 | 核心特性 | 典型場景 |
|---|---|---|---|
vector<T> | 動態數組 | 連續內存、隨機訪問 O(1)、尾部增刪攤還 O(1) | 默認首選、順序存取、高性能緩衝 |
list<T> | 雙向鏈表 | 任意位置 O(1) 插刪、無隨機訪問、迭代器穩定 | 頻繁中間插刪、拼接操作 |
map<K,V> / set<T> | 紅黑樹 | 有序、查找/插入/刪除 O(log n)、鍵唯一/可重 | 有序映射、範圍查詢、去重集合 |
unordered_map<K,V> | 哈希表 | 平均 O(1) 查找、無序、需哈希函數與相等判斷 | 高頻查找、緩存、索引 |
關鍵認知：
InputIterator 到 RandomAccessIterator），容器解耦。erase-remove 慣用語：v.erase(remove_if(v.begin(), v.end(), pred), v.end()); 因 remove_if 僅移動元素不改變容器大小。Allocator：容器模板最後一個參數，控制內存分配/構造/析構/釋放。默認 std::allocator 使用 ::operator new/delete。自定義分配器可實現內存池、共享內存、統計診斷。ART 大量使用自定義分配器。<algorithm> <numeric>非修改性（find, count, equal, search）、修改性（copy, fill, transform, replace, remove）、排序相關（sort, stable_sort, binary_search, lower_bound）、數值（accumulate, inner_product, iota）。**算法接受迭代器範圍 [first, last)，不感知容器類型。**
<functional>plus<>, less<>, hash<> 等。std::function<R(Args...)>：統一可調用接口。std::bind / std::placeholders::_1：部分應用、參數重排、綁定成員函數 bind(&Class::mem_fn, obj, _1)。現代代碼常用 Lambda 替代 bind，可讀性更強。| 類型 | 所有權語義 | 控制塊開銷 | 適用場景 |
|---|---|---|---|
unique_ptr<T> | 獨占、不可拷貝、可移動 | 零開銷（單指針大小） | 默認首選、工廠返回、Pimpl 惯用語、RAII 封裝 C API |
shared_ptr<T> | 共享、引用計數、線程安全計數 | 雙指針大小 + 控制塊（計數/弱計數/刪除器/分配器） | 真正共享所有權、觀察者模式、跨模塊生命週期 |
weak_ptr<T> | 非擁有觀察者、打破循環引用 | 同 shared_ptr 控制塊 | 緩存、父子雙向引用、臨時提升 lock() |
最佳實踐：
make_unique<T>(args...) / make_shared<T>(args...)（單次分配、異常安全、禁用裸 new）。unique_ptr 可自定義刪除器管理 FILE*, SDL_Texture* 等 C 資源。shared_ptr 環導致洩漏，必須用 weak_ptr 打破。auto：變量、Lambda、模板參數推導。配合 decltype 處理複雜表達式類型。for (auto& x : vec) 替代迭代器手寫循環。{}：統一初始化語法，防窄化轉換，構造 vector<int> v = {1,2,3};、map<string,int> m = {{"a",1},{"b",2}};。initializer_list<T>：接收列表初始化的輕量代理，支援 begin()/end() 遍歷。enum class Color {Red, Green};：強類型、作用域隔離、底層類型可指定（enum class Flag : uint8_t），隱式轉換需 static_cast。constexpr：編譯期常量/函數，強制編譯期求值，替代宏、模板元編程部分場景。static_assert(cond, msg)：編譯期斷言，約束模板參數、檢查平台屬性（sizeof(void*) == 8）。noexcept：指定函數不拋異常，優化移動操作、容器擴容策略、編譯器生成代碼。using Base::Base;：減少樣板代碼。=default / =delete：顯式控制特殊成員函數生成。C++ 深淵極深，建議分階段推進：
C++11 不只是語法堆疊，而是將「資源獲取即初始化（RAII）」、「值語義與移動語義」、「泛型編程與模板元編程」、「標準庫組件化」等現代系統編程核心思想標準化、工具化。閱讀 ART 源碼，你將反覆遇見：unique_ptr 管理 Thread 對象、vector 存儲 DexFile、mutex/condition_variable 協調編譯器線程、Lambda 封裝 JIT 編譯任務、atomic 實現無鎖計數器……
掌握本文梳理的知識骨架，配合大量實戰代碼閱讀與編寫，你將具備「像看 Java 一樣看 C++11」的能力，不再被陌生語法阻擋，而是聚焦於系統架構與演算法邏輯本身。擁抱變化，享受現代 C++ 帶來的表達力與性能雙贏！
