C++ 函數模板參數傳遞：何時用 const 引用，何時用值傳遞？

核心問題

在編寫 C++ 函數模板時，開發者常面臨一個選擇：形參應該用 const T& 還是直接用 T？這不僅關乎效能，更關乎正確性。

經典反例：迭代器模板

考慮以下打印範圍的模板函數：

template <typename Iterator>
void printl(Iterator v1, Iterator v2) // 正確：值傳遞
{
    while (v1 != v2) {
        cout << *v1++ << endl;
    }
}

若改為 const 引用：

template <typename Iterator>
void printl(const Iterator &v1, const Iterator &v2) // 錯誤：const 引用
{
    while (v1 != v2) {
        cout << *v1++ << endl; // 編譯錯誤！
    }
}

為什麼會出錯？

關鍵在於 *v1++ 這行代碼。後置遞增運算符 ++ 會修改迭代器本身（使其指向下一個元素）。當形參聲明為 const Iterator& 時，編譯器禁止對其進行任何修改操作，因此報錯。