如何編寫一個采用通用C ++標准庫容器的模板函數

Question

例如，我有一個功能需要能夠適用於不同的容器類型

void foo(const std::vector<bar>& param1, const std::vector<double>& params2)

和

void foo(const std::list<bar>& param1, const std::list<double>& params2)

bar是我寫的一個class 。 函數體本身使用通用的C ++標准庫函數。

有沒有辦法可以扼殺這個？ 我努力了

template<typename T> void foo(const T<bar>&, const T<double>&)

但這會給編譯器帶來錯誤

錯誤C2988：無法識別的模板聲明/定義

我正在使用MSVC2015。

Answer 1

您應該將T聲明為模板模板參數，以指示它是模板名稱（並且需要實例化參數），例如

template<template <typename...> class T> 
void foo(const T<bar>&, const T<double>&);

生活

Answer 2

基本上有三種解決方案：

1. 使用模板模板參數 。

2. 使用迭代器（這是標准庫本身使用的）

3. 對不同的參數使用不同的模板，讓編譯器推導出實際的類型。 有了你的功能，它就像是

    template<typename T, typename U> void foo(const T&, const U&); 

如果您只需要迭代容器的內容，建議使用解決方案2。 如果您需要訪問容器本身，建議使用解決方案3。

Answer 3

所謂的模板模板參數將允許您編寫所需的代碼（如其他答案或CppReference中所示 ）。

或者，您也可以編寫接受迭代器的泛型函數。 這正是<algorithm>中的函數的實現方式。 我傾向於認為接受迭代器的函數實際上更靈活，因為調用者可以決定函數需要處理的范圍。