C++ 通用容器打印完全指南：從模板到算法的 5 種最佳實踐

問題場景

頻繁需要打印 `vector`、`list`、`deque` 等各種順序容器內容。避免為每種「容器類型 × 元素類型」組合重寫打印函數，尋求**通用、高效、現代 C++ 風格**的解決方案。

方案對比與推薦

方案一：模板函數 — 最通用、零開銷（推薦）

#include 
#include 
#include 
#include 

template 
void PrintContainer(const Container& c) // 引用避免拷貝
{
    for (const auto& elem : c) // const 引用避免元素拷貝
        std::cout << elem << ' ';
    std::cout << '\n';
}

// 用法
int main() {
    std::vector v = {1, 2, 3};
    std::list l = {"a", "b", "c"};
    std::deque d = {1.1, 2.2};
    PrintContainer(v);
    PrintContainer(l);
    PrintContainer(d);
}

優點：支持所有滿足範圍-based for 要求的類型（含陣列、初始化列表、自定義容器）；編譯期單態化，零運行時開銷；語義清晰。

方案二：`std::copy` + `ostream_iterator` — 標準庫函數式風格

#include 
#include 
#include 

int main() {
    std::list lst = {1, 3, 5, 4, 9, 6, 3};
    std::copy(lst.cbegin(), lst.cend(), 
              std::ostream_iterator(std::cout, " "));
    std::cout << '\n';
}

優點：純算法組合，無顯式循環，表達「複製到輸出流」意圖；可直接用於插入迭代器場景。
缺點：編譯錯誤信息晦澀；無法自定義分隔符邏輯（如最後無分隔符）。

方案三：Boost.Lambda — 歷史遺產，僅維護舊碼用

#include 
#include 
#include 

int main() {
    std::list lst = {1, 3, 5, 4, 9, 6, 3};
    using namespace boost::lambda;
    std::for_each(lst.cbegin(), lst.cend(), std::cout << _1 << ' ');
    std::cout << '\n';
}

現狀：C++11 Lambda 完美替代，**新代碼禁用**。

方案四：C++11 Lambda + `std::for_each` — 靈活控制格式

#include 
#include 
#include 

int main() {
    std::list lst = {1, 3, 5, 4, 9, 6, 3};
    bool first = true;
    std::for_each(lst.cbegin(), lst.cend(), [&first](int i) {
        if (!first) std::cout << ", ";
        first = false;
        std::cout << i;
    });
    std::cout << '\n';
}

優點：可實現複雜格式化（如 JSON 風格 `[1, 2, 3]`、首尾無分隔符）。
缺點：樣板代碼較多。

方案五：C++20 `std::format` + 範圍格式化 — 未來標準（編譯器支持中）

// C++23 提案 / libfmt / {fmt} 庫當前可用
#include  // 或 #include  (C++23)

int main() {
    std::vector v = {1, 2, 3};
    std::cout << fmt::format("{}", v) << '\n'; // 輸出: [1, 2, 3]
    std::cout << fmt::format("{:n}", v) << '\n'; // 輸出: 1, 2, 3 (無括號)
}

進階：通用容器打印工具庫設計

#include 
#include 
#include 
#include 

// 檢測是否為類字符串類型（避免逐字符打印 string）
template 
struct is_string_like : std::false_type {};
template <> struct is_string_like : std::true_type {};
template <> struct is_string_like : std::true_type {};
template  struct is_string_like : std::true_type {};
template  struct is_string_like : std::true_type {};

namespace detail {
    // 非字符串容器：逐元素打印
    template 
    struct Printer {
        static void print(const Container& c, std::ostream& os, std::string_view sep) {
            bool first = true;
            for (const auto& elem : c) {
                if (!first) os << sep;
                first = false;
                os << elem;
            }
        }
    };

    // 字符串容器：整體打印（或特殊處理）
    template 
    struct Printer::value>> {
        static void print(const String& s, std::ostream& os, std::string_view) {
            os << s;
        }
    };
}

// 統一入口
template 
void PrintContainerEx(const Container& c, std::ostream& os = std::cout, std::string_view sep = " ") {
    detail::Printer::print(c, os, sep);
    os << '\n';
}

性能與編譯期開銷對比

避坑指南

1. 傳值 vs 引用：模板參數用 `const Container&`，**絕不傳值**（會拷貝整個容器）
2. 元素類型可打印性：要求元素類型有 `operator<<` 重載，否則編譯報錯
3. 字符串特化：`std::string` 滿足容器概念（可迭代字符），直接用通用模板會逐字符打印，**需特化處理**
4. 關聯容器：`map`/`set` 同樣適用，按鍵序/值序打印
5. C 數組：原始數組 `int a[3] = {1,2,3};` 可直接傳入（退化為指針**不可用**），需用 `std::array` 或 `std::span` (C++20)

最佳實踐總結： 日常開發用**方案一（模板範圍-for）**，覆蓋 95% 場景；需複雜格式用**方案四（Lambda）**；生產級日誌/序列化引入 **{fmt} 庫（方案五）**；避免 Boost.Lambda、避免手寫針對特定類型的重載函數。