auto 關鍵字練習題 (Practice - Auto)

auto x2; 是編譯錯誤——auto 的型別由初始化式推導，必須初始化。
int x1; 可以編譯，但值可能不確定（視語境而定）。這正是 auto 根絕未初始化變數問題的原因。

auto 變數的型別就是 closure 本身：記憶體恰好夠用、可 inline、呼叫直接。
std::function 是固定大小的模板實例：closure 裝不下時會heap 配置，呼叫間接、抑制 inlining，幾乎必定較慢，還可能拋 out-of-memory。持有 closure 的競賽中 auto 完勝。

v.size() 的官方回傳型別是 std::vector<int>::size_type。64-bit Windows 上 unsigned 仍是 32 bits，而 size_type 是 64 bits，可能被截斷。
改寫成 auto sz = v.size(); 就能精確取得 size_type，可攜性無虞。

hash table 元素的真正型別是 std::pair<const std::string, int>（key 是 const）。型別不符使編譯器每圈複製出暫時物件再讓 p 綁上去，迭代結束即銷毀；取 &p 會得到指向暫時物件的懸空指標。
改用 for (const auto& p : m) 即可直接綁定原元素、零複製。

auto 變數的型別隨初始化式自動更新——下次編譯即自動跟上新型別。
明確宣告 int 的呼叫端則須逐一找出所有呼叫點人工修改。這是 auto 對重構友善的核心理由。

std::vector<bool> 規定以位元壓縮儲存（一 bit 一個 bool），而 C++ 禁止對位元取參考，無法回傳 bool&。
因此它回傳 proxy 物件 std::vector<bool>::reference——一個「行為像 bool&」、可隱式轉換成 bool 的類別。

例子：std::bitset::reference、expression templates 產生的型別（如 Sum<Matrix, Matrix>）。
智慧指標是顯性 proxy——設計上讓使用者看見並長期持有，與 auto 相容；隱形 proxy 設計上不該存活超過一條語句，用 auto 留住它會違反函式庫設計假設。

仍用 auto 宣告變數，但把初始化運算式 cast 成想要的型別：auto x = static_cast<T>(expr);，讓 auto 對 cast 後的結果推導。
名稱由來：變數仍由 auto 推導，但初始器（initializer）的型別被顯式指定——保留 auto 的優點，又拿回型別主導權。

auto highPriority = static_cast<bool>(features(w)[5]);  // 強迫推導為 bool

cast 在暫時的 std::vector<bool> 還活著時執行 proxy → bool 轉換，指標仍有效，無 UB。問題不在 auto 本身，而在它忠實推導出了 proxy 型別。

auto derefLess = [](const auto& p1, const auto& p2)  // generic lambda
                 { return *p1 < *p2; };

closure 的型別只有編譯器知道，auto 是直接持有它的唯一舒適寫法；C++14 更允許 lambda 參數用 auto，一個 closure 通吃所有 pointer-like 型別。

隱式 double → float 轉換看不出是刻意為之，讀者可能以為是疏忽。

auto ep = static_cast<float>(calcEpsilon());  // 明確宣示：刻意降精度

explicitly typed initializer idiom 不限 proxy 場景，也用來表達「刻意建立不同型別變數」的意圖。

1. features(w) 回傳暫時物件 temp（std::vector<bool>）；
2. temp[5] 回傳 proxy，內含指向 temp 內部字組的指標與 offset=5；
3. auto 推導出 proxy 型別，highPriority 複製了這個 proxy（指標仍指向 temp）；
4. 語句結束 temp 被銷毀 → highPriority 內含 dangling pointer，之後任何使用都是 UB。
   對照組 bool highPriority = ... 安全，因為 proxy 在 temp 存活期間就當場隱式轉換成 bool 值。

該庫的 operator+ 為求效率回傳 expression template proxy（如 Sum<Sum<Sum<Matrix,Matrix>,Matrix>,Matrix>）。寫 Matrix sum = ... 時 proxy 隱式轉換成 Matrix；改用 auto 後 sum 就是 proxy 本身，而隱形 proxy 通常不該存活超過一條語句，後續使用行為異常。
辨識方式：讀文件，並檢查函式簽章——回傳型別不是慣例的 T / T&（如 operator[] 回傳 reference 類別）即是 proxy 警訊。
修正：auto sum = static_cast<Matrix>(m1 + m2 + m3 + m4);。