c++ - 由用于构造不同类型容器的分配器参数化的函数模板

Question

我想要一个函数 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 不是一个定义明确的类型，直到它被特殊化为特定类型。有没有可能做我想做的事，但以其他方式。

Answer 1

您不能拥有分配器 (a) 的一个实例并期望它适用于 2 种不同的类型。但是，您可以使用分配器泛型类型(模板模板参数)，并以两种不同的方式在您的 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;
}