我想要一個功能foo沿着這些線路功能模板，用於構建不同類型的
template <class T, class Alloc>
void foo(T param, Alloc a) {
vector<int, Alloc<int> > vect_of_ints;
list<float, Alloc<float> > list_of_floats;
do_something()
}
std::allocator a
foo(42, a);
這失敗，我想是因爲std::allocator不是很好定義的類型，直到它一直容器特別爲特定類型。是否有可能做我想做的事，但以其他方式。
你不能擁有一個分配器實例（a），並期望它能夠爲2種不同的類型工作。但是，您可以使用allocator泛型類型（模板模板參數），並以兩種不同的方式將其專門化在foo（）中。 無論如何，你並沒有在你的foo（）上使用「a」。
template <template<class> class Alloc, class T>
void foo(T t1, T t2) {
vector<int, Alloc<int> > vect_of_ints;
list<float, Alloc<float> > list_of_floats;
do_something()
}
// UPDATE: You can use a function wrapper, and then the compiler will be
// able to figure out the other types.
template<class T>
void foo_std_allocator(T t1, T t2)
{
foo<std::allocator, T>(t1, t2);
}
int main()
{
//std::allocator a;
//foo<std::allocator>();
foo<std::allocator, int>(1, 2);
// in the call below, the compiler easily identifies T as int.
// the wrapper takes care of indicating the allocator
foo_std_allocator(1, 2);
return 0;
}
查找「模板模板參數」（不是拼寫錯誤？單詞模板使用兩次）。 –
@san我之前的評論已過時（我刪除了他們）。問題是'std :: allocator'是一個模板，所以你需要將它作爲模板模板參數來接受：'template class Alloc>'。 – jogojapan
@ n.m。謝謝。這對我來說是新的 – san