c++ - C++ 中的模板模板参数

Question

#include <vector>
#include <iostream>
#include <string>
using namespace std;

#include <vector>
#include <iostream>
#include <string>
using namespace std;
// Template-template argument must
// be a class; cannot use typename:
template<typename T, template<typename> class C>
void print2(C<T>& c) {
  copy(c.begin(), c.end(),
       ostream_iterator<T>(cout, " "));
  cout << endl;
}
int main() {
  vector<string> v(5, "Yow!");
  print2(v);
} ///:~

这段代码在我看来非常完美。但是这段代码无法在我的 Mac 中编译。错误信息如下

 note: candidate template ignored: substitution failure [with T = std::__1::basic_string<char>]: template template argument has
      different template parameters than its corresponding template template parameter

   void print2(C<T>& c) {
         ^
    1 error generated.

Answer 1

这是因为 std::vector 不是单参数模板。标准要求 std::vector 的元素类型和分配器类型参数。

如果您不使用旧版 C++ 并且可以使用可变参数模板，您可以像这样声明您的函数:

template<typename T, template<typename...> class C>
void print2(C<T>& c);