C++ STL 程式設計精進（二）：從原始迴圈到範圍演算法的三重境界

境界一：史前時代 — 手工記憶體管理與 C 風格演算法

// example2_1.cpp : 手工 new/delete、qsort、比較函式指標
#include 
#include 
int compare(const void* a, const void* b) {
    int ia = *static_cast(a);
    int ib = *static_cast(b);
    return (ia > ib) - (ia < ib); // 三向比較 (C++20 <=>)
}
int main() {
    const int MAX = 10;
    int* arr = new int[MAX];
    int n = 0;
    for (; n < MAX && std::cin >> arr[n]; ++n) {} // 讀取至非整數或滿
    std::qsort(arr, n, sizeof(int), compare);
    for (int i = 0; i < n; ++i) std::cout << arr[i] << '\n';
    delete[] arr;
    return 0;
}

痛點：固定大小陣列易溢位、手工記憶體管理易洩漏、`qsort` 型別不安全、比較函式冗長、擴容需手工 `realloc`、程式碼雜訊高。

境界二：工業時代 — STL 容器與演算法初體驗

// example2_2.cpp : vector + sort + 迭代器
#include 
#include 
#include 
#include 
int main() {
    std::vector v;
    int x;
    while (std::cin >> x) v.push_back(x); // 自動擴容、RAII
    std::sort(v.begin(), v.end());       // 型別安全、平均 O(N log N)
    for (int i : v) std::cout << i << '\n'; // 範圍 for (C++11)
    return 0;
}

質變**：`vector` 自動管理記憶體、`sort` 型別安全且泛型、`push_back` 擴容策略 (通常 2x) 攤還 O(1)、範圍 for 簡潔遍歷、**程式碼行數減半、可讀性大增、Bug 面積銳減**。

境界三：唯美主義 — 範本、適配器、演算法三位一體

// example2_3.cpp : istream_iterator + back_insert_iterator + ostream_iterator + copy + sort
#include 
#include 
#include 
#include 
int main() {
    using InIt  = std::istream_iterator;
    using OutIt = std::ostream_iterator;
    using Vec   = std::vector;
    using BackIn = std::back_insert_iterator;
    Vec v;
    std::copy(InIt(std::cin), InIt(), BackIn(v));          // 輸入 → 容器 (自動擴容)
    std::sort(v.begin(), v.end());                         // 就地排序
    std::copy(v.begin(), v.end(), OutIt(std::cout, "\n")); // 容器 → 輸出
    return 0;
}

極致抽象**：

• `istream_iterator`：將 `std::cin` 適配為 **輸入迭代器**，`operator++` 推進、`operator*` 解引用獲取值。
• `back_insert_iterator`：將 `push_back` 封裝為 **輸出迭代器**，`operator=` 觸發插入，**解決 `copy` 目的端需預留空間的問題**。
• `ostream_iterator`：將 `operator<<` 封裝為 **輸出迭代器**，可指定分隔符 (`"\n"`)。
• `copy`/`sort`：**演算法僅依賴迭代器概念**，與容器類型完全解耦。
• **三行核心邏輯** 對應 **輸入 → 處理 → 輸出**，系統耦合度極低，組件化如積木。

關鍵組件深度解析

現代 C++ (C++20/23) 進化版

// C++20 Ranges + Views + 管道語法
#include 
#include 
#include 
#include 
#include 
int main() {
    std::vector v;
    // 輸入範圍 → 視圖 → 容器
    std::ranges::copy(std::views::istream(std::cin), std::back_inserter(v));
    std::ranges::sort(v);
    // 容器 → 視圖 → 輸出
    std::ranges::copy(v, std::ostream_iterator(std::cout, "\n"));
    // 或一氣呵成 (C++23 ranges::to)
    // auto v = std::views::istream(std::cin) | std::ranges::to();
    // std::ranges::sort(v);
    // std::ranges::copy(v, std::ostream_iterator(std::cout, "\n"));
}

優勢**：`views::istream` 直接建構輸入範圍、管道語法 `|` 表達資料流向、`ranges::sort` 接受範圍而非迭代器對、**組合性更強、意圖更清晰**。

編譯器相容性與避坑指南

1. MSVC 6.0/7.0/7.1：STL 實現舊 (Dinkumware 3.x/4.x)，**不支援標準頭檔無 `.h` (`` vs `)`、`std::` 命名空間不完整、`typename`/`template` 依賴關鍵字解析弱 — **棄用**。
2. MSVC 8.0 (VS2005) - 14.0 (VS2015)：逐漸追趕，`#pragma warning(disable:4786)` 抑制符號截斷警告 (Debug 模式模板實例化名稱過長)。
3. MSVC 19.10+ (VS2017 15.7+)：**完整支援 C++17、C++20 核心、模組實驗、`/std:c++20`、`/permissive-` 合規模式** — **生產首選**。
4. GCC 7+ / Clang 5+：標準支援領先，**Linux/嵌入式/跨平台首選**。
5. 模板巢狀 `>>` 空格：C++11 前 `vector >` 需空格避免被解析為 `>>` 運算子，**C++11 起標準強制編譯器處理上下文，無需空格**。
6. 異常處理啟用：MSVC `/EHsc`、GCC/Clang `-fexceptions`，**標準庫大量依賴例外 (配置失敗、越界 `at()`、格式化錯誤)**，關閉將導致未定義行為。
7. 執行緒安全：標準容器**非執行緒安全**，多執行緒訪問需外部同步或用 TBB/folly 並發容器。

歷史評價與啟示

從 `qsort` + 比較函式指標 → `vector` + `sort` + 迭代器 → `copy` + 適配器 + 演算法，**每一次躍升都是抽象層級的提升**——**將「如何做」封裝為組件，開發者專注「做什麼」**。這正是 **泛型程式設計 (GP) 與 STL 核心哲學**：演算法與資料結構分離、以迭代器為膠水、零成本抽象、組件化複用。

實戰建議

1. **新代碼全面使用 STL 容器/演算法/迭代器**，禁用裸陣列/指標/`malloc`/`free`/`qsort`/`bsearch`。
2. **熟練掌握 ``、``、``、``、`` (C++20) 常用組件**。
3. **善用 `auto`、範圍 for、結構化綁定、Lambda** 減少型別雜訊。
4. **效能熱點才手工優化** (自定義分配器、SIMD 內建、避免拷貝、預留容量 `reserve`)。
5. **編譯器警告視為錯誤** (`-Werror`/`/WX`)，CI 強制 Clang-Tidy + Sanitizers。