如何在 C++ 中使用带模板的类型作为模板参数

Question

我正在尝试使用具有相同功能的不同类型的不同类型的容器，但无法说服我的编译器。以下是我尝试过的一些事情：

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

// error: expected a qualified name after 'typename'
template<typename C<T>>
void func1() {
  C<T> c;
  c.push_back(new T);
}

// error: expected a qualified name after 'typename'
template<typename C<typename T>>
void func2() {
  C<T> c;
  c.push_back(new T);
}

// error: expected a qualified name after 'typename'
template<typename C<template <typename T>>>
void func3() {
  C<T> c;
  c.push_back(new T);
}

int main(int argc, char *argv[]) {
  func1<vector<int>>();
  func1<list<float>>();

  func2<vector<int>>();
  func2<list<float>>();

  func3<vector<int>>();
  func3<list<float>>();
  return 0;
}

这在 C++ 中可行吗？

Answer 1

我认为最接近原始代码（假设您需要两个参数，C 和 T 而不仅仅是一个 C<T>）如下：

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

template<template< class T, class A = allocator<T> > class C, typename T>
void func() {
  C<T*> c;
  c.push_back(new T);
}

int main(int argc, char *argv[]) {
  func<vector, int>();
  func<list, float>();
  return 0;
}

注意两点：

1. vector 和list 模板采用两个参数，第二个默认为allocator<T>（其中T 是第一个参数）。你不能只用一个参数来定义模板；实例化时类型系统会报错。

1234563我冒昧地将容器修复为C<T*> 类型。

Answer 2

从你的电话来看，我怀疑你只是想要这样的东西（我会让代码尽可能接近你所拥有的并保持 C++03）：

template<typename T>
void func1() {
    T t;
    t.push_back(typename T::value_type());
}

typename 需要一个类型 - 任何类型 - 这就是 vector<int>、list<float> 等所得到的。另一方面，vector 本身只是一个模板，而不是一个单独的类型.这时候你就需要template<template<...> class> 语法了。

但请注意，尝试像这样对容器进行分组通常行不通，因为并非每个容器都支持与其他容器相同的操作。如果您需要这样的接口，则必须区分序列容器、关联容器等。

Answer 3

我认为您在谈论“模板模板参数”。

模板模板参数是一种类型模板参数，只允许使用模板类。该类模板可以具有任何类型的模板参数。例如：

template<template<typename T , typename ALLOCATOR> class CONTAINER>
void func2()
{
    CONTAINER<T,ALLOCATOR> container;

    container.push_back( T() );
} 

int main()
{
    func2<std::vector<bool>>();
}

当您需要提取作为模板参数传递的类模板的模板参数时，这很有用。
结帐this question 了解更多信息。

另一方面，正如 chris 在他的回答中注意到的那样，在您的情况下，传递类型参数并假设该类型具有成员类型 value_type 更容易，该成员类型用于获取容器元素的类型.

Answer 4

首先new会返回一个指针，所以容器不会接受这个，改变那行，你也可以这样做：

template<typename Container, typename T >
void func1() {
  Container c;
  c.push_back(T());
}

在主函数中：

func1<std::vector<int>, int >();