C++14 新特性全景解讀：Lambda、constexpr 與類型推導

C++14 作為 C++11 之後的小版本更新，雖改動幅度「有意做得較小」（Bjarne Stroustrup 語），卻實實在在地讓語言更清晰、簡單、快速，並為 C++17 鋪路。本文聚焦三大核心領域：泛型 Lambda、擴展的 constexpr、全面的類型推導。

一、泛型 Lambda：告別固定參數類型

C++14 引入 auto 參數，Lambda 瞬間變身模板：

auto lambda = [](auto x, auto y) { return x + y; };

C++11 必須寫死類型：

auto lambda = [](int x, int y) { return x + y; };

更強大的是，配合 std::move 實現移動捕獲，避免拷貝開銷：

std::unique_ptr<int> ptr(new int(10));
auto lambda = [value = std::move(ptr)] { return *value; };

二、constexpr 函數：編譯期計算的全面解放

C++11 限制 constexpr 函數僅能包含單一返回語句。C++14 全面放寬，支持：

• 條件語句（if、switch）
• 循環（含範圍-based for）
• 局部變量聲明與修改

這意味著複雜的編譯期運算（如編譯期排序、字符串處理）成為可能。

三、類型推導：從 Lambda 擴展至所有函數

1. 函數返回類型推導

auto DeducedReturnTypeFunction(); // 前向聲明
auto DeducedReturnTypeFunction() { return 42; } // 定義必須可見

限制：

• 多條 return 必須推導出同一類型
• 遞歸函數需至少有一個非遞歸的 return 作為推導基礎

2. decltype(auto)：保留引用與 cv 資格

auto 與 decltype 推導規則不同，decltype(auto) 結合兩者優勢，精確保留表達式的類型屬性（如引用、const）。

四、其他實用改進

• 變量模板： template<class T> constexpr T pi = T(3.1415926535897932385);
• 二進制字面量： 0b1010 / 0B1010
• 標準庫微調： 如 std::make_unique、std::shared_timed_mutex 等

五、編譯器支持現狀

• Clang： 完全實現當前草案
• GCC & Visual Studio： 逐步提供特性支持

C++14 以「小步快跑」的節奏，穩健推進了現代 C++ 的易用性與表達力，是遷移至 C++17 的關鍵墊腳石。